Modular Development of Hybrid Systems for Verification in Coq

Milad Niqui, Olga Tveretina

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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 languageEnglish
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control
EditorsMagnus Egerstedt, Bud Mishra
PublisherSpringer Nature
Pages638-641
ISBN (Electronic)978-3-540-78929-1
ISBN (Print)978-3-540-78928-4
DOIs
Publication statusPublished - 2008
Event11th Int Workshop, HSCC 2008 - St Louis, United States
Duration: 22 Apr 200824 Apr 2008

Conference

Conference11th Int Workshop, HSCC 2008
Country/TerritoryUnited States
CitySt Louis
Period22/04/0824/04/08

Fingerprint

Dive into the research topics of 'Modular Development of Hybrid Systems for Verification in Coq'. Together they form a unique fingerprint.

Cite this