An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions

DOI10.1016/j.sysconle.2007.03.006zbMath1155.93387OpenAlexW2170197341MaRDI QIDQ998679

Feng Lin, Weilin Wang, Stéphane Lafortune

Publication date: 9 February 2009

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.sysconle.2007.03.006

zbMATH Keywords

observabilitysupervisory controlautomatadiscrete event systemsstate clusters

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items

Discrete-event systems subject to unknown sensor attacks ⋮ Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ Observability and diagnosability of finite state systems: a unifying framework ⋮ Online minimization of sensor activation for supervisory control ⋮ Design of decentralized critical observers for networks of finite state machines: a formal method approach ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ On detectability of labeled Petri nets and finite automata ⋮ Trajectory detectability of discrete-event systems ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ Generalized detectability for discrete event systems ⋮ A general approach for optimizing dynamic sensor activation for discrete event systems ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ On the minimization of communication in networked systems with a central station ⋮ Detectability verification of probabilistic Boolean networks

Uses Software

• UMDES

Cites Work

• On observability of discrete-event systems
• On the control of discrete-event dynamical systems
• The infimal closed controllable superlanguage and its application in supervisory control
• Minimal communication in a distributed discrete-event system
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Detectability of Discrete Event Systems
• Unnamed Item
• Unnamed Item