Abstract
| Language | English |
|---|---|
| Title of host publication | Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010) 15-17 december 2010, Atlanta, GA, USA |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 3481-3486 |
| ISBN (Print) | 978-1-4244-7745-6 |
| DOIs | |
| State | Published - 2010 |
Fingerprint
Cite this
}
A state-based framework for supervisory control synthesis and verification. / Markovski, J.; Beek, van, D.A.; Theunissen, R.J.M.; Jacobs, K.G.M.; Rooda, J.E.
Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010) 15-17 december 2010, Atlanta, GA, USA. Institute of Electrical and Electronics Engineers, 2010. p. 3481-3486.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - A state-based framework for supervisory control synthesis and verification
AU - Markovski,J.
AU - Beek, van,D.A.
AU - Theunissen,R.J.M.
AU - Jacobs,K.G.M.
AU - Rooda,J.E.
PY - 2010
Y1 - 2010
N2 - We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for intuitive specification of the control requirements, whereas the latter are employed for liveness verification in order to ensure that the supervisor does not disable desired functionalities of the plant. First, we introduce generalized control requirements and show them provably equivalent to the standard state-based control requirements. In the process, we identify a class of state-based liveness requirements, which can be efficiently verified and employed in the supervisor synthesis framework to provide early feedback to the modeler.
AB - We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for intuitive specification of the control requirements, whereas the latter are employed for liveness verification in order to ensure that the supervisor does not disable desired functionalities of the plant. First, we introduce generalized control requirements and show them provably equivalent to the standard state-based control requirements. In the process, we identify a class of state-based liveness requirements, which can be efficiently verified and employed in the supervisor synthesis framework to provide early feedback to the modeler.
U2 - 10.1109/CDC.2010.5717095
DO - 10.1109/CDC.2010.5717095
M3 - Conference contribution
SN - 978-1-4244-7745-6
SP - 3481
EP - 3486
BT - Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010) 15-17 december 2010, Atlanta, GA, USA
PB - Institute of Electrical and Electronics Engineers
ER -