Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
&egr;-approximation of differential inclusions
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
What Will Be Eventually True of Polynomial Hybrid Automata?
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Symbolic Model Checking for Rectangular Hybrid Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
A New Class of Decidable Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Computing differential invariants of hybrid systems as fixedpoints
Formal Methods in System Design
The image computation problem in hybrid systems model checking
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Algorithmic algebraic model checking IV: characterization of metabolic networks
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Symbolic model checking of hybrid systems using template polyhedra
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Algorithmic algebraic model checking i: challenges from systems biology
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
The Complete Proof Theory of Hybrid Systems
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.00 |
We propose a new approximation technique for Hybrid Automata. Given any Hybrid Automaton H, we call Approx(H,k) the Polynomial Hybrid Automaton obtained by approximating each formula φ in H with the formulae φk obtained by replacing the functions in φ with their Taylor polynomial of degree k. We prove that Approx(H,k) is an over–approximation of H. We study the conditions ensuring that, given any ε 0, some k0 exists such that, for all kk0, the “distance” between any vector satisfying φk and at least one vector satisfying φ is less than ε. We study also conditions ensuring that, given any ε 0, some k0 exists such that, for all k k0, the “distance” between any configuration reached by Approx(H,k) in n steps and at least one configuration reached by H in n steps is less than ε.