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

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

5 Downloads (Pure)

Abstract

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
Pages3204-3211
Number of pages8
ISBN (Electronic)978-3-907144-01-5
DOIs
Publication statusPublished - Jun 2019
EventEuropean Control Conference (in cooperation with IFAC) - ECC 2019 - Naples, Italy
Duration: 25 Jun 201928 Jun 2019
https://www.ifac-control.org/events/european-control-conference-in-cooperation-with-ifac-ecc-2019

Conference

ConferenceEuropean Control Conference (in cooperation with IFAC) - ECC 2019
Abbreviated titleECC2019
CountryItaly
CityNaples
Period25/06/1928/06/19
Internet address

Fingerprint 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