Modular Development of Hybrid Systems for Verification in Coq

Milad  Niqui; Olga Tveretina

doi:10.1007/978-3-540-78929-1_53

Modular Development of Hybrid Systems for Verification in Coq

Milad Niqui, Olga Tveretina

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 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	https://doi.org/10.1007/978-3-540-78929-1_53
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

Access to Document

10.1007/978-3-540-78929-1_53

Cite this

@inproceedings{df79d26009214282895354955ecb4f05,

title = "Modular Development of Hybrid Systems for Verification in Coq",

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",

author = "Milad Niqui and Olga Tveretina",

year = "2008",

doi = "10.1007/978-3-540-78929-1\_53",

language = "English",

isbn = "978-3-540-78928-4",

pages = "638--641",

editor = "Magnus Egerstedt and Bud Mishra",

booktitle = "Hybrid Systems",

publisher = "Springer Nature ",

address = "Netherlands",

note = "11th Int Workshop, HSCC 2008 ; Conference date: 22-04-2008 Through 24-04-2008",

}

TY - GEN

T1 - Modular Development of Hybrid Systems for Verification in Coq

AU - Niqui, Milad

AU - Tveretina, Olga

PY - 2008

Y1 - 2008

N2 - 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

AB - 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

U2 - 10.1007/978-3-540-78929-1_53

DO - 10.1007/978-3-540-78929-1_53

M3 - Conference contribution

SN - 978-3-540-78928-4

SP - 638

EP - 641

BT - Hybrid Systems

A2 - Egerstedt, Magnus

A2 - Mishra, Bud

PB - Springer Nature

T2 - 11th Int Workshop, HSCC 2008

Y2 - 22 April 2008 through 24 April 2008

ER -

Modular Development of Hybrid Systems for Verification in Coq

Abstract

Conference

Access to Document

Fingerprint

Cite this