On Codiagnosability and Coobservability With Dynamic Observations
From MaRDI portal
Publication:5347768
DOI10.1109/TAC.2011.2108410zbMath1368.93392OpenAlexW2142850637MaRDI QIDQ5347768
Stéphane Lafortune, Anouck R. Girard, Weilin Wang, Feng Lin
Publication date: 25 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2011.2108410
Related Items (13)
Verification of robust diagnosability for partially observed discrete event systems ⋮ Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ 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 ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
This page was built for publication: On Codiagnosability and Coobservability With Dynamic Observations