Exploiting symmetry of state tree structures for discrete-event systems with parallel components
From MaRDI portal
Publication:5348355
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
Cites work
- scientific article; zbMATH DE number 3063910 (Why is no real title available?)
- Conceptual design of discrete-event systems using templates
- Control of parameterized discrete event systems
- Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
- Exploiting symmetry in the synthesis of supervisors for discrete event systems
- Graph-Based Algorithms for Boolean Function Manipulation
- Nonblocking Supervisory Control of State Tree Structures
- Nonblocking supervisory control of state tree structures.
- Supervisor reduction for discrete-event systems
- Supervisory Control of a Class of Discrete Event Processes
- The Verification and Control of Interacting Similar Discrete-Event Systems
Cited in
(9)- Nonblocking supervisory control of state-tree structures with event forcing
- Composite supervisory control for symmetric discrete-event systems
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- On scalable supervisory control of multi-agent discrete-event systems
- On efficient relabeling of symmetric discrete-event systems
- Invariance property of the control functions in symmetric discrete-event systems modeled by state tree structures
- Interval max-plus fault-tolerant control under resource conflicts and redundancies: application to the seat assembly
- Modular control of discrete-event systems using similarity
- Supervisory control of state-tree structures with partial observation
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)
