Abstract
In this chapter, we present some applications of regions to supervisory control proposed in the literature. First, we give a concise introduction to Ramadge and Wonham’s foundational theory of supervisory control for Discrete Event Systems, which covers both finite transition systems and regular languages (Section 12.1). Second, we present the linear-algebraic techniques classically used for the monitor-based supervision of Petri nets (Section 12.2). Regionbased supervision of Petri nets, which extends their monitor-based supervision, is studied in Section 12.3. Region-based supervisory control is extended to discrete event systems in Section 12.4. The application of regions to the distributed control of discrete event systems, which we feel is a promising direction for research, is hinted at in the final Section 12.5.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Badouel, E., Bernardinello, L., Darondeau, P. (2015). Supervisory Control. In: Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47967-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-662-47967-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47966-7
Online ISBN: 978-3-662-47967-4
eBook Packages: Computer ScienceComputer Science (R0)