Affiliation:
1. UCLouvain, Belgium
2. University of Colorado Boulder, USA
Funder
NSF (National Science Foundation)
Belgian American Educational Foundation
Reference53 articles.
1. DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization
2. Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
3. Fernando Alegre, Eric Feron, and Santosh Pande. 2009. Using Ellipsoidal Domains to Analyze Control Systems Software. CoRR abs/0909.1977 (2009). arXiv:0909.1977http://arxiv.org/abs/0909.1977
4. Rajeev Alur. 2015. Principles of Cyber-Physical Systems. MIT Press.
5. Predicate abstraction for reachability analysis of hybrid systems