Consistent reduction in discrete-event systems
From MaRDI portal
Publication:2151838
DOI10.1016/j.automatica.2022.110333zbMath1494.93073MaRDI 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
Uses Software
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