Modular control of discrete-event systems using similarity

DOI10.1016/J.AUTOMATICA.2022.110431MaRDI QIDQ2151956zbMATH OpenOpenAlexFDO

Authors Yingying Liu, Jan Komenda, Tomáš Masopust, Zhiwu Li

Publication date 5 July 2022

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2022.110431

zbMATH Keywords

observabilitysimilar discrete-event systemssimilar sublanguagesymmetric sublanguage

Mathematics Subject Classification ID

Observability (93B07) Discrete event control/observation systems (93C65)

Recommendations

• Modular control and coordination of discrete-event systems
• Control of discrete-event systems with modular or distributed structure
• Control of Modular and Distributed Discrete-Event Systems
• scientific article; zbMATH DE number 2150202
• Optimal modular control of discrete event systems with distinguishers and approximations
• Modular supervisory control of discrete-event systems
• scientific article; zbMATH DE number 3959244
• Similarity-Based Supervisory Control of Discrete-Event Systems
• The Verification and Control of Interacting Similar Discrete-Event Systems
• Modal specifications for the control theory of discrete event systems

Cites work

• Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
• Exploiting symmetry in the synthesis of supervisors for discrete event systems
• Exploiting symmetry of state tree structures for discrete-event systems with parallel components
• Introduction to Discrete Event Systems
• Model Checking in Isomorphic Module Systems
• On conditional decomposability
• Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
• Supervisory control of concurrent discrete-event systems
• Supervisory control of discrete-event systems
• The Verification and Control of Interacting Similar Discrete-Event Systems

Cited in

(5)

• Optimal modular control of discrete event systems with distinguishers and approximations
• The Verification and Control of Interacting Similar Discrete-Event Systems
• Invariance property of the control functions in symmetric discrete-event systems modeled by state tree structures
• Composite supervisory control for symmetric discrete-event systems
• Exploiting symmetry in the synthesis of supervisors for discrete event systems

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Modular control of discrete-event systems using similarity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2151956)