Control of an Engineering-Structured Multilevel Discrete-Event System

Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust, Jan H. van SchuppenJan H. van Schuppen

DOI Link

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Control of an Engineering-Structured Multilevel Discrete-Event System
Proceedings of the International Workshop on Discrete Event Systems (WODES), 103-108, June 2016

Details
Bibtex

KurzfassungAbstract
Control of a multilevel system is developed for a discrete-event system (DES) structured by an engineering model. In a multilevel system, each subsystem has a set of children at the next-lower level and a unique parent at the next-higher level. A coordinated multilevel DES is defined by the condition that a parent also is involved in the interaction of each tuple of its children. Control synthesis is carried out per subsystem. If the specification language is conditionally decomposable, conditionally controllable, and conditionally normal then there exists a set of supervisors such that the closed-loop system of the multilevel system meets the specification. The complexity gain is considerable. The examples of an MRI scanner and of a vehicle system illustrate the approach.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{KMS2016,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Control of an Engineering-Structured Multilevel Discrete-Event
               System},
  booktitle = {Proceedings of the International Workshop on Discrete Event
               Systems (WODES)},
  year      = {2016},
  month     = {June},
  pages     = {103-108},
  doi       = {10.1109/WODES.2016.7497833}
}