On Taylor Model Based Integration of ODEs
SIAM Journal on Numerical Analysis
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Algebraic analysis on asymptotic stability of continuous dynamical systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation
SpaceEx: scalable verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
RTSS '12 Proceedings of the 2012 IEEE 33rd Real-Time Systems Symposium
Hi-index | 0.00 |
The tool Flow* performs Taylor model-based flowpipe construction for non-linear (polynomial) hybrid systems. Flow* combines well-known Taylor model arithmetic techniques for guaranteed approximations of the continuous dynamics in each mode with a combination of approaches for handling mode invariants and discrete transitions. Flow* supports a wide variety of optimizations including adaptive step sizes, adaptive selection of approximation orders and the heuristic selection of template directions for aggregating flowpipes. This paper describes Flow* and demonstrates its performance on a series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow* is competitive with other tools.