Supervisory control of multilevel discrete-event systems with a bus structure

Martijn Goorden, Calvin Dingemans, Michel Reniers, Asia van de Mortel - Fronczak, Koos Rooda, Wan Fokkink

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
5 Downloads (Pure)


High-tech systems often contain a few components with many dependencies across the system, acting as system-level integrating components. In a hierarchical system decomposition, such so-called bus components tend to be placed in the top node. In supervisory control synthesis, this results in a significant increase of the state space. In this paper, a method is proposed to transform a set of plant models and requirement models into a tree-structured multilevel discrete-event system with a bus structure. After recording the dependencies within the system, the bus and the non-bus plant models are identified and separated. Subsequently, each set of plant models is clustered separately, resulting in a multilevel discrete-event system. Finally, these two systems are merged into a single multilevel discrete-event system where bus plant models are distributed over the multilevel discrete-event system. Experimental results of several models available in the literature are reported to assess the applicability of the proposed method.

Original languageEnglish
Title of host publication2019 18th European Control Conference (ECC)
PublisherEuropean Union Control Association
Number of pages8
ISBN (Electronic)978-3-907144-01-5
Publication statusPublished - Jun 2019
Event18th European Control Conference, ECC 2019 - Naples, Italy, Naples, Italy
Duration: 25 Jun 201928 Jun 2019
Conference number: 18


Conference18th European Control Conference, ECC 2019
Abbreviated titleECC 2019
Other18th European Control Conference (ECC 2019) (in cooperation with IFAC)
Internet address


Dive into the research topics of 'Supervisory control of multilevel discrete-event systems with a bus structure'. Together they form a unique fingerprint.

Cite this