Supervision localization of timed discrete-event systems

DOI10.1016/J.AUTOMATICA.2013.05.015MaRDI QIDQ2628493zbMATH OpenOpenAlexFDO

Authors Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, W. Murray Wonham

Publication date 2 June 2017

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.1439

zbMATH Keywords

automatareal-time systemssupervisor localizationsupervisory controltimed discrete-event systems

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Abstract: We study supervisor localization for real-time discrete-event systems (DES) in the Brandin-Wonham framework of timed supervisory control. We view a real-time DES as comprised of asynchronous agents which are coupled through imposed logical and temporal specifications; the essence of supervisor localization is the decomposition of monolithic (global) control action into local control strategies for these individual agents. This study extends our previous work on supervisor localization for untimed DES, in that monolithic timed control action typically includes not only disabling action as in the untimed case, but also ``clock preempting action which enforces prescribed temporal behavior. The latter action is executed by a class of special events, called ``forcible events; accordingly, we localize monolithic preemptive action with respect to these events. We demonstrate the new features of timed supervisor localization with a manufacturing cell case study, and discuss a distributed control implementation.

Recommendations

• Supervisor localization. A top-down approach to distributed control of discrete-event systems
• New results on supervisor localization, with case studies
• Supervisor localization of discrete-event systems under partial observation
• Supervisory control of timed discrete-event systems
• On supervisory control of real-time discrete-event systems

Cites work

• Decentralized supervisory control of discrete-event systems
• Handbook of Real-Time and Embedded Systems
• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
• Supervisor reduction for discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of real-time discrete-event systems using lattice theory
• Supervisory control of timed discrete-event systems

Cited in

(8)

• On supervisory control of real-time discrete-event systems
• A hierarchical consistency framework for real-time supervisory control
• New results on supervisor localization, with case studies
• Supervisor localization of discrete-event systems under partial observation
• Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
• Localisation-based distributed control of timed discrete-event systems with communication delay
• Offline supervisory control synthesis: taxonomy and recent developments
• Supervisor localization. A top-down approach to distributed control of discrete-event systems

This page was built for publication: Supervision localization of timed discrete-event systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2628493)