Tools for the Analysis of Hybrid Models

Thao Dang; Goran Frehse; Antoine Girard; Colas Le Guernic

doi:10.1002/9781118558188.ch7

Tools for the Analysis of Hybrid Models

Thao Dang
, Goran Frehse
, Antoine Girard
, Colas Le Guernic

Verimag
Laboratoire Jean Kuntzmann (LJK)

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Communicating Embedded Systems
Subtitle of host publication	Software and Design: Formal Methods
Publisher	John Wiley & Sons, Inc.
Pages	227-251
Number of pages	25
ISBN (Print)	9781848211438
DOIs	https://doi.org/10.1002/9781118558188.ch7
Publication status	Published - 13 Feb 2013
Externally published	Yes

Keywords

Hybrid automata, reachability
Hybrid model analysis tools
Hybridization techniques
Piecewise affine hybrid
Reachability computations

Access to Document

10.1002/9781118558188.ch7

Cite this

@inbook{cc7b188d350143f3968e43dd6d4ee85c,

title = "Tools for the Analysis of Hybrid Models",

keywords = "Hybrid automata, reachability, Hybrid model analysis tools, Hybridization techniques, Piecewise affine hybrid, Reachability computations",

author = "Thao Dang and Goran Frehse and Antoine Girard and Guernic, \{Colas Le\}",

year = "2013",

month = feb,

day = "13",

doi = "10.1002/9781118558188.ch7",

language = "English",

isbn = "9781848211438",

pages = "227--251",

booktitle = "Communicating Embedded Systems",

publisher = "John Wiley \& Sons, Inc.",

}

TY - CHAP

T1 - Tools for the Analysis of Hybrid Models

AU - Dang, Thao

AU - Frehse, Goran

AU - Girard, Antoine

AU - Guernic, Colas Le

PY - 2013/2/13

Y1 - 2013/2/13

KW - Hybrid automata, reachability

KW - Hybrid model analysis tools

KW - Hybridization techniques

KW - Piecewise affine hybrid

KW - Reachability computations

UR - https://www.scopus.com/pages/publications/84889324020

U2 - 10.1002/9781118558188.ch7

DO - 10.1002/9781118558188.ch7

M3 - Chapter

AN - SCOPUS:84889324020

SN - 9781848211438

SP - 227

EP - 251

BT - Communicating Embedded Systems

PB - John Wiley & Sons, Inc.

ER -

Tools for the Analysis of Hybrid Models

Keywords

Access to Document

Other files and links

Cite this