Exploiting symmetry of state tree structures for discrete-event systems with parallel components

DOI10.1080/00207179.2016.1216607zbMath1367.93366OpenAlexW2479050047MaRDI QIDQ5348355

Guochun Xiao, Yongmei Gan, Ting Jiao, W. Murray Wonham

Publication date: 15 August 2017

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179.2016.1216607

zbMATH Keywords

symmetrysupervisory control theoryinvariance propertystate tree structuresabstract control functions

Mathematics Subject Classification ID

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

Related Items (7)

Modular control of discrete-event systems using similarity ⋮ On scalable supervisory control of multi-agent discrete-event systems ⋮ Supervisory control of state-tree structures with partial observation ⋮ Composite supervisory control for symmetric discrete-event systems ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Interval max-plus fault-tolerant control under resource conflicts and redundancies: application to the seat assembly ⋮ Nonblocking supervisory control of state-tree structures with event forcing

Uses Software

• TCT
• GitHub

Cites Work

• Unnamed Item
• Conceptual design of discrete-event systems using templates
• Control of parameterized discrete event systems
• Supervisor reduction for discrete-event systems
• Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
• Nonblocking supervisory control of state tree structures.
• The Verification and Control of Interacting Similar Discrete-Event Systems
• Graph-Based Algorithms for Boolean Function Manipulation
• Supervisory Control of a Class of Discrete Event Processes
• Exploiting symmetry in the synthesis of supervisors for discrete event systems
• Nonblocking Supervisory Control of State Tree Structures

This page was built for publication: Exploiting symmetry of state tree structures for discrete-event systems with parallel components