Finite State Machine (FSM) models are widely used to specify the operations of computer systems. Since the basic FSM model is timeless, it is not possible to model within the basic FSM framework system properties that are dependent on the progression of real time, such as the duration of computations or the limited temporal validity of real-time data. To overcome these limitations, efforts have...

We study the problem of fault diagnosis, i.e., localization of difference(s) between an implementation and a specification in systems modelled by finite state machines. We show that even considering only a single fault in a finite state machine there are some situations when the exact diagnosis of the fault cannot be assured. We give an algorithm for fault diagnosis. If it is possible the proce...

BACKGROUND The health impacts of climate change are an issue of growing concern in the Pacific region. Prior to 2010, no formal, structured, evidence-based approach had been used to identify the most significant health risks posed by climate change in Pacific island countries. During 2010 and 2011, the World Health Organization supported the Federated States of Micronesia (FSM) in performing a ...

The moisture and manure contents of soils at cattle feedlot surfaces vary spatiotemporally and likely are important factors in the persistence of Escherichia coli O157 in these soils. The impacts of water content (0.11-1.50 g H2O g(-1) dry feedlot surface material [FSM]) and manure level (5, 25, and 75% dry manure in dry FSM) on E. coli O157:H7 in feedlot soils were evaluated. Generally, E. col...

This report describes how to produce a state transition table (or state transition graph) of an FSM reduced by using implicit minimization algorithms. The cases of ISFSM’s (minimized implicitly by the program ISM) and PNDFSM’s (minimized implicitly by the program PND REDUCE) are considered. A technique to reduce the size of the FSM table description is presented.

Generation of minimum-length test sequences (MLTS) for FSM/EFSM models has been the focus of recent studies. Although it aims to optimize test cycles and expedites product marketing, an MLTS may fail to reveal potential discrepancies between an implementation and its specification. In this paper, MLTS methods combining FSM/EFSM models and pseudo random test generation techniques to enhance test...

In this work we characterize the escape of orbits from phase space Riemann–Liouville (RL) fractional standard map (fSM). The RL-fSM, given in action–angle variables, is derived equation motion kicked rotor when second order derivative substituted by a RL α. Thus, RL-fSM parameterized K and α∈(1,2] which control strength nonlinearity derivative, respectively. Indeed, for α=2 initial conditions, ...

Partitioning has been shown to be an effective method for synthesis of low power finite state machines. In this approach, an FSM is partitioned into two or more coupled sub-machines such that most of the time only one of the sub-machines is active. In this paper, we present a GA based approach for simultaneous partitioning and state assignment of finite state machines with power reduction as th...