INTRODUCTION AS its name suggests, HACCP (hazard analysis critical control point) combines the concepts of hazard analysis and critical control points. Unlike past approaches to food safety management that depended in a large part on experience, HACCP combines analysis of the hazards in each process from acceptance of raw materials through to production and shipping with continuous monitoring a...

Conformance testing with the guaranteed fault coverage is based on distinguishing faulty system implementations from the corresponding system specification. We consider timed systems modeled by timed possibly nondeterministic finite state machines (TFSMs) and propose algorithms for distinguishing two TFSMs. In particular, we present a preset algorithm for separating two separable TFSMs and an a...

Beef food safety events have contributed to considerable market volatility, produced varied consumer reactions, created policy debates, sparked heated trade disputes, and generally contributed to beef industry frustrations. Utilizing data from a total of 4,005 consumers in the United States, Canada, Mexico and Japan in a Double-Hurdle modeling framework, we examine whether consumers altered the...

Finite state machines (FSMs) represent a very simple yet widely used formalism. They are used to model simple protocols or even complex systems in an abstract way. Java classes often behave like FSMs. For these reasons, FSMs are often used in conformance testing, which consists in checking that a real implementation conforms with its speci cation given in terms of a FSM. In this paper, we show ...

Algebraic state space theory (ASST) of logical systems, developed based on the semi-tensor product (STP) which is a new matrix analysis tool built in recent ten years, provides an algebraic approach for many fields science, such as dynamical finite-valued discrete event dynamic and networked game systems. This study focuses comprehensively surveying applications ASST method to field finite mach...