Modular SMT-based analysis of nonlinear hybrid systems
- Title
- Modular SMT-based analysis of nonlinear hybrid systems
- Authors
- BAE, KYUNGMIN; Gao, Sicun
- Date Issued
- 2017-10-05
- Publisher
- TU Wien
- Abstract
- We present SMT-based techniques for analyzing networks of nonlinear hybrid systems, which interact with each other in both discrete and continuous ways. We propose a modular encoding method to reduce reachability problems of hybrid components, involving continuous I/O as well as usual discrete I/O, into the satisfiability of first-order logic formulas over the real numbers. We identify a generic class of logical formulas to modularly encode networks of hybrid systems, and present an SMT algorithm for checking the satisfiability of such logical formulas. The experimental results show that our techniques significantly increase the performance of SMT-based analysis for networks of nonlinear hybrid components. © 2017 FMCAD Inc.
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/41455
- ISSN
- 0000-0000
- Article Type
- Conference
- Citation
- International Conference on Formal Methods in Computer-Aided Design, page. 180 - 187, 2017-10-05
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.