Guaranteed state estimation by zonotopes, Automatica, vol.41, pp.1035-1043, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00708563
The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, pp.3-34, 1995. ,
Observability of switched linear systems in continuous time, LNCS 3414, HSCC, pp.103-117, 2005. ,
The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem, Automatica, vol.49, pp.915-925, 2013. ,
Observer design for some classes of uniformly observable nonlinear hybrid systems, Nonlinear Analysis: Hybrid Systems, vol.6, pp.917-929, 2012. ,
Set-theoretic estimation of hybrid system configurations, IEEE Transactions on Systems, Man, and Cybernetics, vol.39, issue.5, pp.1277-1291, 2009. ,
Computing representations for the radicals of a finitely generated differential ideals, 1997. ,
On location observability notions for switching systems, Systems & Control Letters, vol.60, issue.10, pp.807-814, 2011. ,
Observability and diagnosability of finite state systems: A unifying framework, Automatica, vol.81, pp.115-122, 2017. ,
On observability and detectability of continuous-time linear switching systems, 42nd IEEE International Conference on Decision and Control, vol.6, pp.5777-5782, 2003. ,
A structural approach to detectability for a class of hybrid systems, Automatica, vol.45, issue.5, pp.1202-1206, 2009. ,
Some effective approaches to check identifiability of uncontrolled nonlinear systems, Mathematics and Computers in Simulation, vol.57, pp.35-44, 2001. ,
Interval state observer for nonlinear time varying systems, Automatica, vol.49, issue.1, pp.200-205, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00719911
Set-membership estimation of hybrid systems via SAT mod ODE, 16th IFAC SYSID 2012, pp.440-445, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00719901
Real-time estimation for switched linear systems, 47th IEEE Conference on Decision and Control, pp.941-946, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00318499
Interval observers for uncertain biological systems, Journal of Ecological Modelling, vol.133, pp.45-56, 2000. ,
Moving horizon estimation for switching nonlinear systems, Automatica, vol.49, pp.3270-3281, 2013. ,
Nonlinear bounded-error state estimation of continuous-time systems, Automatica, vol.38, pp.1079-1082, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00845483
Guaranteed recursive non-linear state bounding using interval analysis, International Journal of Adaptative Control and Signal Processing, vol.16, pp.193-218, 2002. ,
Driving state adaptive control of an active vehicle suspension system, IEEE Transactions on Control Systems Technology, vol.22, issue.1, pp.44-57, 2014. ,
Differential algebra and algebraic groups, 1973. ,
On global identifiability for arbitrary model parametrizations, Automatica, vol.30, pp.265-276, 1994. ,
Conditions for distinguishability and observability of switched linear systems, Nonlinear Analysis: Hybrid Systems, vol.5, issue.3, pp.427-445, 2011. ,
Combastel. A comprehensive method for reachability analysis of uncertain nonlinear hybrid systems, IEEE Transactions on Automatic Control, vol.61, issue.9, pp.2341-2356, 2016. ,
Construction of interval observers for continuous-time systems with discrete measurements, Automatica, vol.50, issue.10, pp.2555-2560, 2014. ,
Design of continuousdiscrete observers for time-varying nonlinear systems, Automatica, vol.57, pp.135-144, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01198426
Using hybrid automata for set-membership state estimation with uncertain nonlinear continuous-time systems, International Journal of Adaptive Control and Signal Processing, vol.25, issue.3, pp.481-489, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00629908
, Bounding Approaches to System Identification, 1996.
Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, issue.10, pp.1771-1777, 2004. ,
Interval state estimation for a class of nonlinear systems. Automatic Control, IEEE Transactions on, vol.57, issue.1, pp.260-265, 2012. ,
Recursive state estimation: unknown but bounded errors and system inputs, IEEE Trans. On Automatic Control, vol.13, issue.1, pp.22-28, 1968. ,
An effective method to interval observer design for time-varying systems, Automatica, vol.50, pp.2677-2684, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01650874
Sequential approximation of feasible parameter sets for identification with set membership uncertainty, Handbook of global optimization, D.C. Optimization: Theory, Methods and Algorithms, vol.41, pp.774-785, 1995. ,
Robust state estimation and fault diagnosis for uncertain hybrid nonlinear systems, Nonlinear Analysis: Hybrid Systems, vol.1, issue.1, pp.2-15, 2007. ,
Fault detection by using interval Kalman filtering and constraint propagation approach, 52th IEEE Conference on Decision and Control, pp.490-495, 2013. ,