Number of the records: 1
Control of Disrete-Event Systems : Automata and Petri Net Perspectives
- 1.0379763 - MÚ 2013 RIV GB eng M - Monography Chapter
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
R&D Projects: GA ČR GPP202/11/P028
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional support: RVO:67985840
Keywords : supervisory control * complete observation * supervisor
Subject RIV: BA - General Mathematics
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.
Permanent Link: http://hdl.handle.net/11104/0210646
Number of the records: 1