Consistent reduction in discrete-event systems

DOI10.1016/j.automatica.2022.110333zbMath1494.93073OpenAlexW4229031775MaRDI QIDQ2151838

Carla Seatzu, Kai Cai, Alessandro Giua

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.110333

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) System structure simplification (93B11)

Uses Software

• Supremica

Cites Work

• Unnamed Item
• Supervisor localization. A top-down approach to distributed control of discrete-event systems
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
• Multiset theory
• Supervisor reduction for discrete-event systems
• Supervisory control of discrete-event systems
• Inference of regular languages using state merging algorithms with search
• A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
• Verification and Control of Hybrid Systems
• Reducibility among Combinatorial Problems