Automatica (Journal of IFAC)
Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
Design of Luenberger Observers for a Class of Hybrid Linear Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Fault Diagnosis for Timed Automata
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Robotic Manipulators State Observation Via One-Time Gain Switching
Journal of Intelligent and Robotic Systems
Switching systems: active mode recognition, identification of the switching law
Journal of Control Science and Engineering
International Journal of Systems Science - Advances in Sliding Mode Observation and Estimation (Part One)
A separation principle for a class of hybrid automata on a partial order
ACC'09 Proceedings of the 2009 conference on American Control Conference
On infinity norms as Lyapunov functions for piecewise affine systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Estimation of distributed hybrid systems Using particle filtering methods
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Observability of linear hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Fault-tolerant control for a class of hybrid systems with uncontrollable switching
International Journal of Systems Science
Observability implies observer design for switched linear systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
Monitorability of stochastic dynamical systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Observability of hybrid automata by abstraction
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Existence of cascade discrete-continuous state estimators for systems on a partial order
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Identification of deterministic switched ARX systems via identification of algebraic varieties
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Controllability implies stabilizability for discrete-time switched linear systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Asynchronous H∞ filtering of discrete-time switched systems
Signal Processing
Discrete state estimators for systems on a lattice
Automatica (Journal of IFAC)
SIAM Journal on Control and Optimization
Runtime monitoring of stochastic cyber-physical systems with hybrid state
RV'11 Proceedings of the Second international conference on Runtime verification
Observer design for a class of piecewise affine hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Moving horizon estimation for switching nonlinear systems
Automatica (Journal of IFAC)
| Hi-index | 0.00 |
A methodology for the design of dynamical observers for hybrid plants is proposed. The hybrid observer consists of two parts: a location observer and a continuous observer. The former identifies the current location of the hybrid plant, while the latter produces an estimate of the evolution of the continuous state of the hybrid plant. A synthesis procedure is offered when a set of properties on the hybrid plant is satisfied. The synthesized hybrid observer identifies the current location of the plant after a finite number of steps and converges exponentially to the continuous state.