Set-Membership Estimation of Hybrid Systems via SAT Mod ODE - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Set-Membership Estimation of Hybrid Systems via SAT Mod ODE

Résumé

Set membership estimation (SME) of nonlinear hybrid systems is still a challenging issue. Although SME of nonlinear continuous systems has made significant progress recently, the direct extension of these methods to the hybrid case is not easy. Meanwhile, satisfiability (SAT) checkers for Boolean combinations of arithmetic constraints over real- and integer-valued variables have made significant progress, as they can effectively deal with algebraic constraints between variables and non-linear ODEs, what is denoted as SAT modulo ODE theory (SMT). Finally, SMT solvers solve in a natural way the hybrid differential and algebraic constraints satisfaction problems that underlie SME of hybrid systems. This paper introduces SMT and shows how to use the related solvers to address SME of hybrid dynamical systems.
Fichier non déposé

Dates et versions

hal-00719901 , version 1 (22-07-2012)

Identifiants

  • HAL Id : hal-00719901 , version 1

Citer

Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle. Set-Membership Estimation of Hybrid Systems via SAT Mod ODE. 16th IFAC Symposium on System Identification, Jul 2012, Belgium. pp.440-445. ⟨hal-00719901⟩
128 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More