<  Retour au portail Polytechnique Montréal

A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems

Parisa Heidari

Thèse de doctorat (2012)

Document en libre accès dans PolyPublie
[img]
Affichage préliminaire
Libre accès au plein texte de ce document
Conditions d'utilisation: Tous droits réservés
Télécharger (897kB)
Département: Département de génie informatique et génie logiciel
Programme: Génie informatique
Directeurs ou directrices: Hanifa Boucheneb
URL de PolyPublie: https://publications.polymtl.ca/979/
Université/École: École Polytechnique de Montréal
Date du dépôt: 22 févr. 2013 13:58
Dernière modification: 01 avr. 2026 19:25
Citer en APA 7: Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems [Thèse de doctorat, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/979/

Statistiques

Total des téléchargements à partir de PolyPublie

Téléchargements par année

Provenance des téléchargements

Actions réservées au personnel

Afficher document Afficher document