http://dbpedia.org/ontology/abstract
|
In automata theory, a hybrid automaton (pl … In automata theory, a hybrid automaton (plural: hybrid automata or hybrid automatons) is a mathematical model for precisely describing hybrid systems, for instance systems in which digital computational processes interact with analog physical processes. A hybrid automaton is a finite state machine with a finite set of continuous variables whose values are described by a set of ordinary differential equations. This combined specification of discrete and continuous behaviors enables dynamic systems that comprise both digital and analog components to be modeled and analyzed.log components to be modeled and analyzed.
, Na teoria dos autômatos, um autômato híbri … Na teoria dos autômatos, um autômato híbrido é um modelo matemático para descrever precisamente sistemas onde processos computacionais digitais interagem com processos físicos analógicos. Um autômato híbrido é uma máquina de estados finitos com um conjunto finito de variáveis contínuas, cujos valores são descritos por um conjunto de equações diferenciais comuns. Esta especificação combinada de comportamentos discretos e contínuos permite que sistemas dinâmicos que compreendem dois componentes digitais e analógicos a serem modelados e analisados.analógicos a serem modelados e analisados.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://ptolemy.berkeley.edu/projects/embedded/research/hytech/ +
|
http://dbpedia.org/ontology/wikiPageID
|
2387386
|
http://dbpedia.org/ontology/wikiPageLength
|
6672
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1117654343
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Timed_automaton +
, http://dbpedia.org/resource/Category:Differential_equations +
, http://dbpedia.org/resource/Hybrid_system +
, http://dbpedia.org/resource/Systems_biology +
, http://dbpedia.org/resource/Mathematical_model +
, http://dbpedia.org/resource/Multidigraph +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Signal_automaton +
, http://dbpedia.org/resource/Ordinary_differential_equations +
, http://dbpedia.org/resource/Air_traffic_control +
, http://dbpedia.org/resource/Mobile_robots +
, http://dbpedia.org/resource/Thermodynamics +
, http://dbpedia.org/resource/Lazy_linear_hybrid_automaton +
, http://dbpedia.org/resource/Thermostat +
, http://dbpedia.org/resource/Category:Automata_%28computation%29 +
, http://dbpedia.org/resource/Labeled_multidigraph +
, http://dbpedia.org/resource/Embedded_systems +
, http://dbpedia.org/resource/Finite_state_machine +
, http://dbpedia.org/resource/Nancy_Lynch +
, http://dbpedia.org/resource/Rajeev_Alur +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Counter_machine +
, http://dbpedia.org/resource/Reachability +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Differential_equations +
, http://dbpedia.org/resource/Category:Automata_%28computation%29 +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Model +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Hybrid_automaton?oldid=1117654343&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Hybrid_automaton +
|
owl:sameAs |
http://fa.dbpedia.org/resource/%D8%A7%D8%AA%D9%88%D9%85%D8%A7%D8%AA%D8%A7%DB%8C_%D8%AA%D8%B1%DA%A9%DB%8C%D8%A8%DB%8C +
, http://rdf.freebase.com/ns/m.078dq2 +
, http://dbpedia.org/resource/Hybrid_automaton +
, http://www.wikidata.org/entity/Q5953179 +
, http://yago-knowledge.org/resource/Hybrid_automaton +
, http://pt.dbpedia.org/resource/Aut%C3%B4mato_h%C3%ADbrido +
, https://global.dbpedia.org/id/4nSVF +
|
rdf:type |
http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Message106598915 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/DifferentialEquation106670521 +
, http://dbpedia.org/class/yago/Statement106722453 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/Equation106669864 +
, http://dbpedia.org/class/yago/WikicatDifferentialEquations +
, http://dbpedia.org/class/yago/MathematicalStatement106732169 +
|
rdfs:comment |
In automata theory, a hybrid automaton (pl … In automata theory, a hybrid automaton (plural: hybrid automata or hybrid automatons) is a mathematical model for precisely describing hybrid systems, for instance systems in which digital computational processes interact with analog physical processes. A hybrid automaton is a finite state machine with a finite set of continuous variables whose values are described by a set of ordinary differential equations. This combined specification of discrete and continuous behaviors enables dynamic systems that comprise both digital and analog components to be modeled and analyzed.log components to be modeled and analyzed.
, Na teoria dos autômatos, um autômato híbri … Na teoria dos autômatos, um autômato híbrido é um modelo matemático para descrever precisamente sistemas onde processos computacionais digitais interagem com processos físicos analógicos. Um autômato híbrido é uma máquina de estados finitos com um conjunto finito de variáveis contínuas, cujos valores são descritos por um conjunto de equações diferenciais comuns. Esta especificação combinada de comportamentos discretos e contínuos permite que sistemas dinâmicos que compreendem dois componentes digitais e analógicos a serem modelados e analisados.analógicos a serem modelados e analisados.
|
rdfs:label |
Hybrid automaton
, Autômato híbrido
|