1. |
- Fabian, Martin, 1960, et al.
(author)
-
Supervisory control of manufacturing systems using extended finite automata
- 2014
-
In: Formal Methods in Manufacturing. - 9781466561564 ; , s. 295-314
-
Book chapter (other academic/artistic)abstract
- Discrete event systems (DES) are typically man-made reactive systems such as manufacturing, traffic control and embedded systems. DES behaviours are modelled in terms of states and events; states represent certain situations under which specific properties hold, while events represent significant occurrences that change those properties. A DES occupies at each time instant a single state out of its many possible ones and transits to another state on the occurrence of an event. One typical modelling formalism for DES is finite automata (FA) [1] that explicitly represent the states and the transitions between them.
|
|