Partially-supervised plants : embedding control requirements in plant components

J. Markovski, D.A. Beek, van, J.C.M. Baeten

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

Supervisory control deals with automated synthesis of controllers based on models of the uncontrolled system and the control requirements. In this paper we share the lessons learned from synthesizing controllers for a patient support system of an MRI scanner regarding the specification of the control requirements. We learned that strictly following the philosophy of supervisory control, which partitions specifications in an uncontrolled plant and control requirements, may lead to unnecessarily complex specifications and duplication of information. In such cases, the specification can be substantially simplified by embedding part of the control requirements in so-called partially-supervised plants. To formalize the new concepts, we apply a recently developed process-theoretic approach to supervisory control. The new method for analysis of the models provides a better insight into their underlying behavior, which is demonstrated by revisiting the models of the industrial study.
Originele taal-2Engels
TitelIntegrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings)
RedacteurenJ. Derrick, S. Gnesi, D. Latella, H. Treharne
Plaats van productieBerlin
UitgeverijSpringer
Pagina's253-267
ISBN van geprinte versie978-3-642-30728-7
DOI's
StatusGepubliceerd - 2012

Publicatie series

NaamLecture Notes in Computer Science
Volume7321
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Partially-supervised plants : embedding control requirements in plant components'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Markovski, J., Beek, van, D. A., & Baeten, J. C. M. (2012). Partially-supervised plants : embedding control requirements in plant components. In J. Derrick, S. Gnesi, D. Latella, & H. Treharne (editors), Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings) (blz. 253-267). (Lecture Notes in Computer Science; Vol. 7321). Springer. https://doi.org/10.1007/978-3-642-30729-4_18