Enforcing Detectability in Controlled Discrete Event Systems

DOI10.1109/TAC.2013.2251796zbMath1369.93088MaRDI QIDQ5353315

Feng Lin, Shaolong Shu

Publication date: 8 September 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (5)

Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ Trajectory detectability of discrete-event systems ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets

This page was built for publication: Enforcing Detectability in Controlled Discrete Event Systems