Supervisory Control of Manufacturing Systems Using Extended Finite Automata
Martin Fabian, Zhennan Fei, Sajed Miremadi, Bengt Lennartson, Knut Åkesson · Industrial information technology series · 2014
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.