This HTML5 document contains 52 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n8http://dbpedia.org/resource/File:
n7https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-fahttp://fa.dbpedia.org/resource/
n17http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Timed_automaton
rdfs:label
Automate temporisé Темпоральний автомат Timed automaton
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. Темпоральний автомат[усталений термін?] в теорії автоматів — скінченний автомат, розширений скінченною множиною годинникових змінних. Годинникові змінні приймають дійсні значення та призначені для виміру часових характеристик. Темпоральні автомати використовуються для моделювання скінченних систем реального часу. In automata theory, a timed automaton is a finite automaton extended with a finite set of real-valued clocks. During a run of a timed automaton, clock values increase all with the same speed. Along the transitions of the automaton, clock values can be compared to integers. These comparisons form guards that may enable or disable transitions and by doing so constrain the possible behaviors of the automaton. Further, clocks can be reset. Timed automata are a sub-class of a type hybrid automata.
foaf:depiction
n17:2019-03-22-094222_149x145_scrot.png n17:2019-03-22-095011_260x182_scrot.png
dcterms:subject
dbc:Automata_(computation)
dbo:wikiPageID
35707540
dbo:wikiPageRevisionID
1121171891
dbo:wikiPageWikiLink
dbr:Powerset dbr:Coanalytic_set dbr:Automata_theory dbr:Timed_word dbr:Timed-word dbr:Clock_(model_checking) n8:2019-03-22-094222_149x145_scrot.png dbr:Reachability_problem n8:2019-03-22-095011_260x182_scrot.png dbr:Finite_set dbr:Alternating_timed_automaton dbr:PSPACE-complete dbr:Region_(model_checking) dbr:Kronos_model_checker dbr:Computational_complexity dbc:Automata_(computation) dbr:Primitive_recursive dbr:Hybrid_automaton dbr:Büchi_automata dbr:Uppaal_Model_Checker dbr:Finite_automata dbr:Finite_automaton
owl:sameAs
dbpedia-uk:Темпоральний_автомат n7:4wzwQ dbpedia-fa:اتوماتون_زمانی freebase:m.0jt89yt yago-res:Timed_automaton wikidata:Q7805517 dbpedia-fr:Automate_temporisé
dbp:wikiPageUsesTemplate
dbt:Su dbt:R
dbo:thumbnail
n17:2019-03-22-094222_149x145_scrot.png?width=300
dbp:b
1
dbp:p
1
dbo:abstract
In automata theory, a timed automaton is a finite automaton extended with a finite set of real-valued clocks. During a run of a timed automaton, clock values increase all with the same speed. Along the transitions of the automaton, clock values can be compared to integers. These comparisons form guards that may enable or disable transitions and by doing so constrain the possible behaviors of the automaton. Further, clocks can be reset. Timed automata are a sub-class of a type hybrid automata. Timed automata can be used to model and analyse the timing behavior of computer systems, e.g., real-time systems or networks. Methods for checking both safety and liveness properties have been developed and intensively studied over the last 20 years. It has been shown that the state reachability problem for timed automata is decidable, which makes this an interesting sub-class of hybrid automata. Extensions have been extensively studied, among them stopwatches, real-time tasks, cost functions, and timed games. There exists a variety of tools to input and analyse timed automata and extensions, including the model checkers UPPAAL, , and the schedulability analyser TIMES. These tools are becoming more and more mature, but are still all academic research tools. Темпоральний автомат[усталений термін?] в теорії автоматів — скінченний автомат, розширений скінченною множиною годинникових змінних. Годинникові змінні приймають дійсні значення та призначені для виміру часових характеристик. Темпоральні автомати використовуються для моделювання скінченних систем реального часу. 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.
gold:hypernym
dbr:Automaton
prov:wasDerivedFrom
wikipedia-en:Timed_automaton?oldid=1121171891&ns=0
dbo:wikiPageLength
10093
foaf:isPrimaryTopicOf
wikipedia-en:Timed_automaton