Structuring multilevel discrete-event systems with dependency structure matrices

M.A. Goorden, J.M. van de Mortel - Fronczak, M.A. Reniers, J.E. Rooda

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

11 Citations (Scopus)
2 Downloads (Pure)


In this paper, we present a systematic approach to transform a set of plant models and requirement models into a tree-structured multilevel discrete-event system to which multilevel supervisory controller synthesis can be applied. By analyzing the dependencies between the plants and the requirements using dependency structure matrix techniques, a multilevel clustering can be calculated. Since one of the major drawbacks of synthesizing supervisory controllers is state space explosion, multiple attempts exist to overcome this computational difficulty, such as modular, hierarchical, decentralized, and, recently developed, multilevel supervisory control synthesis. Unfortunately, the modeler needs to provide additional information as input for most of these non-monolithic synthesis procedures. For those supervisory control synthesis procedures that require additional information, no systematic approach exists in literature to transform any set of plant models and requirement models to the appropriate input needed for a particular synthesis procedure. The presented approach is applied to a model of a lock and a model of an MRI scanner patient support table.

Original languageEnglish
Title of host publication2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Number of pages7
ISBN (Electronic)9781509028733
Publication statusPublished - 18 Jan 2018
Event56th IEEE Conference on Decision and Control (CDC 2017) - Melbourne, VIC, Australia, Melbourne, Australia
Duration: 12 Dec 201715 Dec 2017
Conference number: 56


Conference56th IEEE Conference on Decision and Control (CDC 2017)
Abbreviated titleCDC 2017
Internet address


Dive into the research topics of 'Structuring multilevel discrete-event systems with dependency structure matrices'. Together they form a unique fingerprint.

Cite this