Improving SAT Modulo ODE for hybrid systems analysis by combining different enclosure methods
In: https://agora.bourges.univ-orleans.fr/ramdani/attachments/pdfs/70410172.pdf, 2011
academicJournal
Zugriff:
Aiming at automatic verification and analysis techniques for hybrid systems, we present a novel combination of enclosure methods for ordinary differential equations (ODEs) with the iSAT solver for large Boolean combinations of arithmetic constraints. Improving on our pre-vious work, the contribution of this paper lies in combining iSAT with VNODE-LP, as a state-of-the-art enclosure method for ODEs, and with bracketing systems which exploit monotonicity properties to find enclo-sures for problems that VNODE-LP alone cannot enclose tightly. We apply our method to the analysis of a non-linear hybrid system by solv-ing predicative encodings of an inductive stability argument and evaluate the impact of different methods and their combination. 1
Titel: |
Improving SAT Modulo ODE for hybrid systems analysis by combining different enclosure methods
|
---|---|
Autor/in / Beteiligte Person: | Eggers, Andreas ; Ramdani, Nacim ; Nedialkov, Nedialko ; The Pennsylvania State University CiteSeerX Archives |
Link: | |
Zeitschrift: | https://agora.bourges.univ-orleans.fr/ramdani/attachments/pdfs/70410172.pdf, 2011 |
Veröffentlichung: | Springer, 2011 |
Medientyp: | academicJournal |
Sonstiges: |
|