| Property |
Value |
| dbo:abstract
|
- En théorie des automates, un automate temporisé est un automate fini doté d'un ensemble fini d'horloges à valeurs réelles. Au cours d'un calcul de l'automate, les valeurs des horloges augmentent toutes à la même vitesse. Dans les transitions de l'automate, les valeurs d'horloges sont comparées à des entiers. Ces comparaisons constituent des gardes qui activent ou inhibent les transitions et imposent ainsi des contraintes aux comportements de l'automate. Les horloges peuvent être réinitialisées. Les automates temporisés ont été introduits par Alur et Dill en 1994. Les auteurs ont reçu, pour cet article, le prix Alonzo Church 2016 de l'European Association for Theoretical Computer Science. Les automates temporisées peuvent être utilisés pour modéliser et analyser le comportement temporel de systèmes informatiques, par exemple, des systèmes ou des réseaux opérant en temps réel. Des méthodes pour vérifier les propriétés de sûreté et de vivacité ont été développées et étudiées depuis l'introduction des automates temporisées en 1994. Un automate temporisé accepte des mots temporisés — des suites infinies où une valeur réelle de moment d'occurrence est associé à chaque symbole. (fr)
- En théorie des automates, un automate temporisé est un automate fini doté d'un ensemble fini d'horloges à valeurs réelles. Au cours d'un calcul de l'automate, les valeurs des horloges augmentent toutes à la même vitesse. Dans les transitions de l'automate, les valeurs d'horloges sont comparées à des entiers. Ces comparaisons constituent des gardes qui activent ou inhibent les transitions et imposent ainsi des contraintes aux comportements de l'automate. Les horloges peuvent être réinitialisées. Les automates temporisés ont été introduits par Alur et Dill en 1994. Les auteurs ont reçu, pour cet article, le prix Alonzo Church 2016 de l'European Association for Theoretical Computer Science. Les automates temporisées peuvent être utilisés pour modéliser et analyser le comportement temporel de systèmes informatiques, par exemple, des systèmes ou des réseaux opérant en temps réel. Des méthodes pour vérifier les propriétés de sûreté et de vivacité ont été développées et étudiées depuis l'introduction des automates temporisées en 1994. Un automate temporisé accepte des mots temporisés — des suites infinies où une valeur réelle de moment d'occurrence est associé à chaque symbole. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10779 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1994 (xsd:integer)
- 1999 (xsd:integer)
|
| prop-fr:auteur
|
- Bruno Denis (fr)
- David L. Dill (fr)
- Olivier Bournez (fr)
- Rajeev Alur (fr)
- Bruno Denis (fr)
- David L. Dill (fr)
- Olivier Bournez (fr)
- Rajeev Alur (fr)
|
| prop-fr:auteursOuvrage
|
- N. Halbwachs et D. Peled (fr)
- N. Halbwachs et D. Peled (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science (fr)
- Lecture Notes in Computer Science (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:id
|
- BD (fr)
- OB (fr)
- BD (fr)
- OB (fr)
|
| prop-fr:isbn
| |
| prop-fr:journal
|
- Theoretical Computer Science (fr)
- Theoretical Computer Science (fr)
|
| prop-fr:mois
| |
| prop-fr:numéro
| |
| prop-fr:numéroDansCollection
| |
| prop-fr:pages
| |
| prop-fr:passage
| |
| prop-fr:site
| |
| prop-fr:série
|
- Cours du DEA Model Checking (fr)
- Cours du DEA Model Checking (fr)
|
| prop-fr:titre
|
- A Theory of Timed Automata (fr)
- Automates temporisés (fr)
- Introduction aux automates temporisés (fr)
- A Theory of Timed Automata (fr)
- Automates temporisés (fr)
- Introduction aux automates temporisés (fr)
|
| prop-fr:titreChapitre
|
- Timed Automata (fr)
- Timed Automata (fr)
|
| prop-fr:titreOuvrage
|
- Computer Aided Verification, 11th International Conference, CAV '99, Proceedings (fr)
- Computer Aided Verification, 11th International Conference, CAV '99, Proceedings (fr)
|
| prop-fr:url
| |
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- ENS Cachan (fr)
- École polytechnique, Paris (fr)
- Springer (fr)
- ENS Cachan (fr)
- École polytechnique, Paris (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En théorie des automates, un automate temporisé est un automate fini doté d'un ensemble fini d'horloges à valeurs réelles. Au cours d'un calcul de l'automate, les valeurs des horloges augmentent toutes à la même vitesse. Dans les transitions de l'automate, les valeurs d'horloges sont comparées à des entiers. Ces comparaisons constituent des gardes qui activent ou inhibent les transitions et imposent ainsi des contraintes aux comportements de l'automate. Les horloges peuvent être réinitialisées. Les automates temporisés ont été introduits par Alur et Dill en 1994. Les auteurs ont reçu, pour cet article, le prix Alonzo Church 2016 de l'European Association for Theoretical Computer Science. (fr)
- En théorie des automates, un automate temporisé est un automate fini doté d'un ensemble fini d'horloges à valeurs réelles. Au cours d'un calcul de l'automate, les valeurs des horloges augmentent toutes à la même vitesse. Dans les transitions de l'automate, les valeurs d'horloges sont comparées à des entiers. Ces comparaisons constituent des gardes qui activent ou inhibent les transitions et imposent ainsi des contraintes aux comportements de l'automate. Les horloges peuvent être réinitialisées. Les automates temporisés ont été introduits par Alur et Dill en 1994. Les auteurs ont reçu, pour cet article, le prix Alonzo Church 2016 de l'European Association for Theoretical Computer Science. (fr)
|
| rdfs:label
|
- Automate temporisé (fr)
- Темпоральний автомат (uk)
- Automate temporisé (fr)
- Темпоральний автомат (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
