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

Parisa Heidari

Thèse de doctorat (2012)

Accéder à ce document
Disponible
Libre accès au texte intégral dans PolyPublie
Texte Texte • 897kB •
Voir dans PolyPublie

Résumé

them later. The controller is synthesized through the same algorithm already introduced. In this approach, we suggest to control time Petri nets by associating stopwatches to controllable transitions and to achieve a controlled time Petri nets.

Département:
Département de génie informatique et génie logiciel
Programme:
Génie informatique
Directeurs ou directrices:
Hanifa Boucheneb
Adresse URL de PolyPublie:
https://publications.polymtl.ca/979/
Université/École:
École Polytechnique de Montréal
OAI:
oai:publications.polymtl.ca:979
ORCID
Date du dépôt:
22 févr. 2013 13:58
Dernière modification:
08 oct. 2026 16:36
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