![](/img/cover-not-exists.png)
Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE*
Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, MartinVolume:
45
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20120711-3-be-2027.00292
Date:
July, 2012
File:
PDF, 421 KB
english, 2012