| Attributes | Values |
|---|
| rdfs:label
| - Automate temporisé (fr)
- Темпоральний автомат (uk)
|
| 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)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| prop-fr:année
| |
| prop-fr:auteur
| - Bruno Denis (fr)
- David L. Dill (fr)
- Olivier Bournez (fr)
- Rajeev Alur (fr)
|
| prop-fr:collection
| - Lecture Notes in Computer Science (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:id
| |
| prop-fr:isbn
| |
| prop-fr:journal
| - Theoretical Computer Science (fr)
|
| prop-fr:mois
| |
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:passage
| |
| prop-fr:site
| |
| prop-fr:série
| - 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)
|
| prop-fr:titreChapitre
| |
| prop-fr:titreOuvrage
| - Computer Aided Verification, 11th International Conference, CAV '99, Proceedings (fr)
|
| prop-fr:url
| |
| prop-fr:volume
| |
| prop-fr:éditeur
| - Springer (fr)
- ENS Cachan (fr)
- École polytechnique, Paris (fr)
|
| prop-fr:auteursOuvrage
| - N. Halbwachs et D. Peled (fr)
|
| prop-fr:numéroDansCollection
| |
| thumbnail
| |
| foaf:isPrimaryTopicOf
| |
| has 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)
|
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
