A state-based framework for supervisory control synthesis and verification

J. Markovski; D.A. Beek, van; R.J.M. Theunissen; K.G.M. Jacobs; J.E. Rooda

doi:10.1109/CDC.2010.5717095

A state-based framework for supervisory control synthesis and verification

J. Markovski, D.A. Beek, van, R.J.M. Theunissen, K.G.M. Jacobs, J.E. Rooda

Mechanical Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

42 Citations (Scopus)

1 Downloads (Pure)

Abstract

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.

Original 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	https://doi.org/10.1109/CDC.2010.5717095
Publication status	Published - 2010

Access to Document

10.1109/CDC.2010.5717095

Cite this

Markovski, J., Beek, van, D. A., Theunissen, R. J. M., Jacobs, K. G. M., & Rooda, J. E. (2010). A state-based framework for supervisory control synthesis and verification. In Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010) 15-17 december 2010, Atlanta, GA, USA (pp. 3481-3486). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/CDC.2010.5717095

@inproceedings{106572c8496e4a5cbc8b16daebd5cade,

title = "A state-based framework for supervisory control synthesis and verification",

abstract = "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.",

author = "J. Markovski and {Beek, van}, D.A. and R.J.M. Theunissen and K.G.M. Jacobs and J.E. Rooda",

year = "2010",

doi = "10.1109/CDC.2010.5717095",

language = "English",

isbn = "978-1-4244-7745-6",

pages = "3481--3486",

booktitle = "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",

address = "United States",

}

Markovski, J, Beek, van, DA, Theunissen, RJM, Jacobs, KGM & Rooda, JE 2010, A state-based framework for supervisory control synthesis and verification. in 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, pp. 3481-3486. https://doi.org/10.1109/CDC.2010.5717095

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 -

A state-based framework for supervisory control synthesis and verification

Abstract

Access to Document

Fingerprint

Cite this