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)

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

langue originale	Anglais
titre	Communicating Embedded Systems
Sous-titre	Software and Design: Formal Methods
Editeur	John Wiley & Sons, Inc.
Pages	227-251
Nombre de pages	25
ISBN (imprimé)	9781848211438
Les DOIs	https://doi.org/10.1002/9781118558188.ch7
état	Publié - 13 févr. 2013
Modification externe	Oui

Accès au document

10.1002/9781118558188.ch7

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

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