Supervisory control of manufacturing systems using extended finite automata
Kapitel i bok, 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.

Författare

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik, Automation

Zhennan Fei

Chalmers, Signaler och system, System- och reglerteknik, Automation

Sajed Miremadi

Chalmers, Signaler och system, System- och reglerteknik, Automation

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Knut Åkesson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Formal Methods in Manufacturing

295-314

Ämneskategorier

Datorteknik

Inbäddad systemteknik

Reglerteknik

Mer information

Senast uppdaterat

2021-08-13