Discrete state observability of hybrid systems
DOI10.1002/RNC.1432zbMATH Open1298.93079OpenAlexW2084408118MaRDI QIDQ2928286FDOQ2928286
Authors: Maria D. Di Benedetto, Alessandro D'Innocenzo, Stefano Di Gennaro
Publication date: 7 November 2014
Published in: International Journal of Robust and Nonlinear Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/rnc.1432
Recommendations
computational complexityhidden Markov modelobservabilitydiscrete event systemswitching systemautomatic verification
Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65)
Cites Work
- Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
- Title not available (Why is that?)
- Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results
- Controllers for reachability specifications for hybrid systems
- Title not available (Why is that?)
- Observability of discrete event dynamic systems
- Failure detection and identification
Cited In (13)
- Uniformly convergent sliding mode-based observation for switched linear systems
- A new look at the critical observability of finite state machines from an algebraic viewpoint
- Trajectory-based theory for hybrid systems
- Discontinuous dynamical systems for fault detection. A unified approach including fractional and integer order dynamics
- Model measuring for discrete and hybrid systems
- On stabilization of switching linear systems
- Discrete reachability of hybrid systems
- Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems
- Secure diagnosability of hybrid dynamical systems
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Almost always observable hybrid systems
- Graphic approach for the determination of the existence of sequences guaranteeing observability of switched linear systems
- Critical observability of a class of hybrid systems and application to air traffic management
Uses Software
This page was built for publication: Discrete state observability of hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2928286)