On the invariance property of reduced supervisors from the perspective of vector discrete-event systems

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

zbMATH Keywords

integer linear programminginvariance propertyvector discrete-event systemsreduced supervisors

Mathematics Subject Classification ID

Integer programming (90C10) Discrete event control/observation systems (93C65)

Uses Software

• UMDES
• XPTCT

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