Control of Disrete-Event Systems : Automata and Petri Net Perspectives

0379763 - MÚ 2013 RIV GB eng M - Část monografie knihy
Masopust, Tomáš - van Schuppen, J. H.
Supervisory control with complete observations.
Control of Disrete-Event Systems : Automata and Petri Net Perspectives. 1. London: Springer, 2013 - (Seatzu, C.; Silva, M.; van Schuppen, J.), s. 45-64. Lecture Notes in Control and Information Sciences, 433. ISBN 978-1-4471-4275-1
Grant CEP: GA ČR GPP202/11/P028
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * complete observation * supervisor
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_3

Supervisory control of discrete-event systems, in this chapter modeled as an automaton, is exerted by specifying after each observation the set of enabled events. The automaton then chooses an enabled event, makes a transition and produces the observed event, after which the process repeats. The control objectives of supervisory control are legal behavior and required behavior. Legal behavior is a language, which specifies what the automaton is safely allowed to do. The required behavior is a language, which specifies what the system is required to do, such as the completion of tasks. The main theorem is that there exists a supervisory control such that the language of the controlled automaton equals the specification if and only if the specification is controllable. An algorithm to determine whether a specification is controllable is provided as well as an algorithm to compute the supervisor.
Trvalý link: http://hdl.handle.net/11104/0210646