On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Readings in model-based diagnosis
Readings in model-based diagnosis
Qualitative modelling of linear dynamical systems with quantized state measurements
Automatica (Journal of IFAC)
Why Event Observation: Observability Revisited
Discrete Event Dynamic Systems
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
Discrete Event Dynamic Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Brief Paper: On the Markov Property of Quantised State Measuirement Sequences
Automatica (Journal of IFAC)
Deterministic discrete-event representations of linear continuous-variable systems
Automatica (Journal of IFAC)
Diagnosability Analysis of a Class of Hierarchical State Machines
Discrete Event Dynamic Systems
On modelling and diagnosis of Hybrid Dynamical Systems
International Journal of Intelligent Systems Technologies and Applications
Distributed state estimation in discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Sequential window diagnoser for discrete-event systems under unreliable observations
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Active fault tolerant control of discrete event systems using online diagnostics
Automatica (Journal of IFAC)
Safe diagnosability for fault-tolerant supervision of discrete-event systems
Automatica (Journal of IFAC)
On K-diagnosability of Petri nets via integer linear programming
Automatica (Journal of IFAC)
Hi-index | 0.01 |
The problems ofstate observation and diagnosis are solved for discrete–eventsystems, which are described by stochastic automata. As manysystems are not observable in the sense that it is possible toreconstruct the state unambiguously, the observation problemis set up as the problem of determining the smallest possibleset of states that are compatible with the measured input andoutput sequences. The diagnostic problem is shown to be, in principle,an observation problem. Conditions for the observability anddiagnosability of stochastic automata are presented. The resultsare illustrated by examples.