On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
From MaRDI portal
Publication:5165335
DOI10.1080/00207179.2020.1715485zbMath1480.93263OpenAlexW2999069856MaRDI QIDQ5165335
Ting Jiao, Xueli Nan, Ru Chang
Publication date: 16 November 2021
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179.2020.1715485
Uses Software
Cites Work
- Conceptual design of discrete-event systems using templates
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Supervisor reduction for discrete-event systems
- Supervisory control of discrete-event systems
- Supervisory control of state-tree structures with partial observation
- Nonblocking supervisory control of state tree structures.
- Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
- Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
- Control of vector discrete-event systems. I. The base model
- The Verification and Control of Interacting Similar Discrete-Event Systems
- Control of vector discrete-event systems. II. Controller synthesis
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Exploiting symmetry in the synthesis of supervisors for discrete event systems
- Optimizing Sensor Activation in a Language Domain for Fault Diagnosis
- Composite supervisory control for symmetric discrete-event systems
- Structural Controller for Logical Expression of Linear Constraints on Petri Nets
- Nonblocking Supervisory Control of State Tree Structures
- Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
This page was built for publication: On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
