Modeling guidelines for component-based supervisory control synthesis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

4 Citaten (Scopus)
1 Downloads (Pure)


Supervisory control theory provides means to synthesize supervisors from a model of the uncontrolled plant and a model of the control requirements. Currently, control engineers lack experience with using automata for this purpose, which results in low adaptation of supervisory control theory in practice. This paper presents three modeling guidelines based on experience of modeling and synthesizing supervisors of large-scale infrastructural systems. Both guidelines see the model of the plant as a collection of component models. The first guideline expresses that independent components should be modeled as asynchronous models. The second guideline expresses that physical relationships between component models can be easily expressed with extended finite automata. The third guideline expresses that the input-output perspective of the control hardware should be used as the abstraction level. The importance of the guidelines is demonstrated with examples from industrial cases.

Originele taal-2Engels
TitelFormal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings
RedacteurenFarhad Arbab, Sung-Shik Jongmans
Plaats van productieCham
Aantal pagina's22
ISBN van elektronische versie978-3-030-40914-2
ISBN van geprinte versie978-3-030-40913-5
StatusGepubliceerd - 2019
Evenement16th International Conference on Formal Aspects of Component Software, FACS 2019 - Amsterdam, Nederland
Duur: 23 okt 201925 okt 2019

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12018 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349


Congres16th International Conference on Formal Aspects of Component Software, FACS 2019


Duik in de onderzoeksthema's van 'Modeling guidelines for component-based supervisory control synthesis'. Samen vormen ze een unieke vingerafdruk.

Citeer dit