Abstract
We present a process theory that can specify supervisory control feedback loops comprising nondeterministic plants and supervisors with event- and state-based observations. To be able to specify state-based observations we employ the notion of propositional root signal emissions and observation. States of the plant `emit' propositional signals that can be observed by the supervisor by conditioned synchronizing event, thus enforcing supervision by state-based observations. We revisit the notion of partial observation of events and states, which expresses that the supervisor cannot distinguish between traces containing the same observable, but different unobservable events, or between a set of given signals. Existence of a supervisor in such a setting is characterized by the notion of partial bisimilarity, which imposes conditions on the plant and the desired behavior. We give an alternative characterization with respect to the observational power of the supervisor by structurally restricting the form of the supervisor and show that both notions coincide in the deterministic setting.
Original language | English |
---|---|
Title of host publication | Proceedings of the 51st IEEE Conference on Decision and Control (CDC), 10-13 December 2012, Maui, Hawaii, USA |
Place of Publication | Piscataway |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 5804-5809 |
ISBN (Print) | 978-1-4673-2064-1 |
DOIs | |
Publication status | Published - 2012 |
Event | 51st IEEE Conference on Decision and Control, CDC 2012 - Maui, United States Duration: 10 Dec 2012 → 13 Dec 2012 Conference number: 51 |
Conference
Conference | 51st IEEE Conference on Decision and Control, CDC 2012 |
---|---|
Abbreviated title | CDC 2012 |
Country/Territory | United States |
City | Maui |
Period | 10/12/12 → 13/12/12 |