Scalable Verification of Hybrid Systems

Hdr Année : 2016

(1)

1

Goran Frehse

VERIMAG

formal methods hybrid systems hybrid automata reachability analysis

méthodes formelles vérification systèmes hybrides automates hybrides analyse d'atteignabilité

Systèmes et contrôle [cs.SY] Modélisation et simulation Analyse numérique [cs.NA] Systèmes embarqués

Fichier principal

Frehse_Habil16.pdf (2.53 Mo)

Origine	Fichiers produits par l'(les) auteur(s)

https://hal.science/tel-01714428

Soumis le : mercredi 21 février 2018-15:01:52

Dernière modification le : jeudi 4 avril 2024-18:24:23

Archivage à long terme le : mardi 22 mai 2018-13:56:47

tel-01714428 , version 1 (21-02-2018)

Goran Frehse. Scalable Verification of Hybrid Systems. Systems and Control [cs.SY]. Univ. Grenoble Alpes, 2016. ⟨tel-01714428⟩

UGA IMAG CNRS VERIMAG TDS-MACS

229 Consultations

285 Téléchargements