Abstract
The basic notion of discrete event dynamic systems (DEDS) was introduced in Chapter 1. Finite automata and Petri nets have been studied as powerful models of DEDS for their behavior modeling and control. It has been shown that the states and transitions are key features of both models.
Consider an event-driven system being in its initial state. The complete behavior of the system is given by all possible event strings beginning in the initial state. The event strings are formally described by Equations (1.11) and (1.12).
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.
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2007). Supervisory Control. In: Modeling and Control of Discrete-event Dynamic Systems. Advanced Textbooks in Control and Signal Processing. Springer, London. https://doi.org/10.1007/978-1-84628-877-7_13
Download citation
DOI: https://doi.org/10.1007/978-1-84628-877-7_13
Publisher Name: Springer, London
Print ISBN: 978-1-84628-872-2
Online ISBN: 978-1-84628-877-7
eBook Packages: EngineeringEngineering (R0)