Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems

2009 ◽  
pp. 445-449 ◽  
Author(s):  
Nadir Matringe ◽  
Arnaldo Vieira Moura ◽  
Rachid Rebiha
Keyword(s):  
Hybrid Systems ◽  
Invariant Generation ◽  
Non Linear ◽  
Linear Invariant

Linear-Invariant Generation for Probabilistic Programs:

2010 ◽  
pp. 390-406 ◽  
Author(s):  
Joost-Pieter Katoen ◽  
Annabelle K. McIver ◽  
Larissa A. Meinicke ◽  
Carroll C. Morgan
Keyword(s):  
Invariant Generation ◽  
Linear Invariant ◽  
Probabilistic Programs

scholarly journals Flow* 1.2: More Effective to Play with Hybrid Systems

10.29007/1w4t ◽  
2018 ◽  
Author(s):  
Xin Chen ◽  
Sriram Sankaranarayanan ◽  
Erika Abraham
Keyword(s):  
Hybrid Systems ◽  
Non Linear ◽  
Efficient Scheme ◽  
Linear Odes

This paper gives a brief overview of the new features introduced in the latest version of the tool Flow*. We mainly describe the new efficient scheme for integrating linear ODEs. We show that it can efficiently handle the challenging benchmarks on which, to the best of our knowledge, only SpaceEx works. Moreover, it is also possible to extend the method to deal with unbounded initial sets. A comparison between Flow* 1.2 and SpaceEx on those benchmarks is given. Besides, we also investigate the scalability Flow* 1.2 based on our non-linear line circuit benchmarks.

scholarly journals Flow*: An Analyzer for Non-linear Hybrid Systems

2013 ◽  
pp. 258-263 ◽  
Author(s):  
Xin Chen ◽  
Erika Ábrahám ◽  
Sriram Sankaranarayanan
Keyword(s):  
Hybrid Systems ◽  
Non Linear
Sign in / Sign up

Export Citation Format

Share Document