-
1
A clocked finite state machine built from DNA.
Published 2013“…We implement a finite state machine by representing state, transition rules and input symbols with DNA components. …”
Journal article -
2
Iterated Boolean games
Published 2015“…In order to represent the strategies of players in such games, we use a finite state machine model. After introducing and formally defining iterated Boolean games, we investigate the computational complexity of their associated game-theoretic decision problems, as well as semantic conditions characterising classes of LTL properties that are preserved by equilibrium points (pure-strategy Nash equilibria) whenever they exist.…”
Journal article -
3
Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures
Published 2005“…A synchronous, finite state machine framework for modelling communication aspects of such architecture is presented. …”
Journal article -
4
SACCADE AND PURSUIT ON AN ACTIVE HEAD EYE PLATFORM
Published 1994“…A gaze controller which selects results from the two visual processes and controls the movement of the head platform is implemented as a finite state machine. © 1994.…”
Journal article -
5
DRIVING SACCADE TO PURSUIT USING IMAGE MOTION
Published 1995“…To couple the different visual activities of waiting, saccading, pursuing and panicking, we use a finite state machine which provides inherent robustness outside of visual processing and provides a means of making repeated exploration. …”
Journal article -
6
Exacerbations in chronic obstructive pulmonary disease: Identification and prediction using a digital health system
Published 2017“…</p> <p>Methods: We used data from 110 patients, with a combined monitoring period of more than 35,000 days. We propose a finite-state machine–based approach for modeling COPD exacerbation to gain a deeper insight into COPD patient condition during home monitoring to take account of the time course of symptoms. …”
Journal article