Discrete state observability of hybrid systems

DOI10.1002/rnc.1432zbMath1298.93079OpenAlexW2084408118MaRDI QIDQ2928286

Maria Domenica 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 complexityobservabilitydiscrete event systemhidden Markov modelautomatic verificationswitching system

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Graphic approach for the determination of the existence of sequences guaranteeing observability of switched linear systems ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Design of decentralized critical observers for networks of finite state machines: a formal method approach ⋮ Discontinuous dynamical systems for fault detection. A unified approach including fractional and integer order dynamics ⋮ On stabilization of switching linear systems ⋮ Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems ⋮ Uniformly convergent sliding mode-based observation for switched linear systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results
• Controllers for reachability specifications for hybrid systems
• Observability of discrete event dynamic systems
• Failure detection and identification
• Error bounds for convolutional codes and an asymptotically optimum decoding algorithm