Exploiting symmetry of state tree structures for discrete-event systems with parallel components
DOI10.1080/00207179.2016.1216607zbMATH Open1367.93366OpenAlexW2479050047MaRDI QIDQ5348355FDOQ5348355
Guochun Xiao, W. Murray Wonham, Yongmei Gan, Ting Jiao
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
Recommendations
- Exploiting symmetry in the synthesis of supervisors for discrete event systems
- Invariance property of the control functions in symmetric discrete-event systems modeled by state tree structures
- scientific article; zbMATH DE number 1696452
- scientific article; zbMATH DE number 1746649
- Parallel simulation and optimization of discrete event systems
- scientific article; zbMATH DE number 1751911
- scientific article; zbMATH DE number 2188504
- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
- Exploiting symmetry for efficient verification of infinite-state component-based systems
symmetrysupervisory control theoryinvariance propertystate tree structuresabstract control functions
Controllability (93B05) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)
Cites Work
- Graph-Based Algorithms for Boolean Function Manipulation
- Title not available (Why is that?)
- Supervisory Control of a Class of Discrete Event Processes
- Supervisor reduction for discrete-event systems
- Control of parameterized discrete event systems
- Nonblocking Supervisory Control of State Tree Structures
- Nonblocking supervisory control of state tree structures.
- The Verification and Control of Interacting Similar Discrete-Event Systems
- Conceptual design of discrete-event systems using templates
- Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
- Exploiting symmetry in the synthesis of supervisors for discrete event systems
Cited In (7)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- Supervisory control of state-tree structures with partial observation
- On scalable supervisory control of multi-agent discrete-event systems
- Interval max-plus fault-tolerant control under resource conflicts and redundancies: application to the seat assembly
- Modular control of discrete-event systems using similarity
- Composite supervisory control for symmetric discrete-event systems
- Nonblocking supervisory control of state-tree structures with event forcing
Uses Software
This page was built for publication: Exploiting symmetry of state tree structures for discrete-event systems with parallel components
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348355)
