What information really matters in supervisor reduction?

DOI10.1016/j.automatica.2018.06.004zbMath1402.93020arXiv1608.04104OpenAlexW2964292954MaRDI QIDQ1626914

Rong Su, W. Murray Wonham

Publication date: 21 November 2018

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1608.04104

zbMATH Keywords

supervisory controldiscrete-event systemspartial observationsupervisor reductioncontrol equivalence

Mathematics Subject Classification ID

Controllability (93B05) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) System structure simplification (93B11)

Uses Software

• UMDES
• Supremica

Cites Work

• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
• Distributed supervisory control of discrete-event systems with communication delay
• On observability of discrete-event systems
• Supervisor reduction for discrete-event systems
• Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
• A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
• Introduction to Discrete Event Systems
• On supervisor reduction in discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory Control Architecture for Discrete-Event Systems
• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
• Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction