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 Coq proof assistant
Original language | English |
---|---|
Title of host publication | Hybrid Systems |
Subtitle of host publication | Computation and Control |
Editors | Magnus Egerstedt, Bud Mishra |
Publisher | Springer Nature |
Pages | 638-641 |
ISBN (Electronic) | 978-3-540-78929-1 |
ISBN (Print) | 978-3-540-78928-4 |
DOIs | |
Publication status | Published - 2008 |
Event | 11th Int Workshop, HSCC 2008 - St Louis, United States Duration: 22 Apr 2008 → 24 Apr 2008 |
Conference
Conference | 11th Int Workshop, HSCC 2008 |
---|---|
Country/Territory | United States |
City | St Louis |
Period | 22/04/08 → 24/04/08 |