Scalable Verification of Hybrid Systems

Goran Frehse

Scalable Verification of Hybrid Systems

Goran Frehse

Research output: Book/Report › Commissioned report › peer-review

Original language	English
Publication status	Published - 1 May 2016

Keywords

formal methods
hybrid systems
hybrid automata
reachability analysis
méthodes formelles
vérification
systèmes hybrides
automates hybrides
analyse d'atteignabilité

Access to Document

https://hal.science/tel-01714428

Cite this

@book{c5d619366e2042f0812002fc187d2ff6,

title = "Scalable Verification of Hybrid Systems",

keywords = "formal methods, hybrid systems, hybrid automata, reachability analysis, m{\'e}thodes formelles, v{\'e}rification, syst{\`e}mes hybrides, automates hybrides, analyse d'atteignabilit{\'e}",

author = "Goran Frehse",

year = "2016",

month = may,

day = "1",

language = "English",

}

TY - BOOK

T1 - Scalable Verification of Hybrid Systems

AU - Frehse, Goran

PY - 2016/5/1

Y1 - 2016/5/1

KW - formal methods

KW - hybrid systems

KW - hybrid automata

KW - reachability analysis

KW - méthodes formelles

KW - vérification

KW - systèmes hybrides

KW - automates hybrides

KW - analyse d'atteignabilité

M3 - Commissioned report

BT - Scalable Verification of Hybrid Systems

ER -