Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving
Few methods can automatically verify nonlinear hybrid systems that are modelled by nonpolynomial functions. Qualitative abstraction is a potential alternative to numerical reachability methods for formally verifying these systems. The QUANTUM abstracter is shown to be competitive at verifying several benchmark nonpolynomial hybrid systems.
Unable to display preview. Download preview PDF.
- 5.Dang, T., Maler, O., Testylier, R.: Accurate hybridization of nonlinear systems. In: Hybrid Systems: Computation and Control, pp. 11–20. ACM (2010)Google Scholar
- 8.Denman, W.: QUANTUM: Qualitative abstractions of non-polynomial models. In: Qualitative Reasoning (August 2013)Google Scholar