Modular control of discrete-event systems using similarity

DOI10.1016/j.automatica.2022.110431zbMath1496.93077OpenAlexW4281917069MaRDI QIDQ2151956

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

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

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

Uses Software

• UMDES

Cites Work

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

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