Modular Development of Hybrid Systems for Verification in Coq

Authors:
Milad Niqui;Olga Tveretina
Affiliations:
Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands;Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands
Venue:
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Year:
2008

Citing 2
Cited 0

The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Predicate abstraction for reachability analysis of hybrid systems

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a formalization of the theory of hybrid automata and algorithms for building trajectory trees using module types and functors in the Coqproof assistant.