Abstractions pour les automates temporisés

Abstractions pour les automates temporisés

Cette thèse revisite les problèmes d'accessibilité et de vivacité pour les au-tomates temporisés.L'accessibilité est couramment résolue par le calcul d'un arbre de recherche abstrait. L'abstraction est paramétrée par des bornes provenant des gardes de l'automate. Nous montro...

Full description

Bibliographic Details
Main Author: Srivathsan, Balaguru
Other Authors: Bordeaux 1
Language:en
Published: 2012
Subjects:
Automate temporisés
Abstractions
Algorithmes à la volée
Exécution Zenon
Ti:ed automata
Finite abstractions
On-the-fly algorithms
Zenoness
Online Access:http://www.theses.fr/2012BOR14524/document

Internet

http://www.theses.fr/2012BOR14524/document

Similar Items