Discrete state observability of hybrid systems

DOI10.1002/RNC.1432MaRDI QIDQ2928286zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

computational complexityhidden Markov modelobservabilitydiscrete event systemswitching systemautomatic verification

Mathematics Subject Classification ID

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)

Recommendations

• Observability of the discrete state for dynamical piecewise hybrid systems
• Observability analysis of linear hybrid systems
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 1956652
• Observability of hybrid discrete-continuous systems

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• Controllers for reachability specifications for hybrid systems
• Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
• Failure detection and identification
• Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results
• Observability of discrete event dynamic systems

Cited in

(13)

• Critical observability of a class of hybrid systems and application to air traffic management
• Trajectory-based theory for hybrid systems
• Model measuring for discrete and hybrid systems
• Almost always observable hybrid systems
• A new look at the critical observability of finite state machines from an algebraic viewpoint
• Design of decentralized critical observers for networks of finite state machines: a formal method approach
• Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems
• Uniformly convergent sliding mode-based observation for switched linear systems
• On stabilization of switching linear systems
• Secure diagnosability of hybrid dynamical systems
• Discrete reachability of hybrid systems
• Graphic approach for the determination of the existence of sequences guaranteeing observability of switched linear systems
• Discontinuous dynamical systems for fault detection. A unified approach including fractional and integer order dynamics

Describes a project that uses

Uses Software

• UMDES

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)