This HTML5 document contains 53 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/
n13https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n19https://ptolemy.berkeley.edu/projects/embedded/research/hytech/

Statements

Subject Item
dbr:Hybrid_automaton
rdf:type
yago:Equation106669864 yago:MathematicalStatement106732169 yago:Statement106722453 yago:Abstraction100002137 yago:Communication100033020 dbo:Person yago:DifferentialEquation106670521 yago:Message106598915 yago:WikicatDifferentialEquations
rdfs:label
Hybrid automaton Autômato híbrido
rdfs:comment
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. 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.
dcterms:subject
dbc:Automata_(computation) dbc:Differential_equations
dbo:wikiPageID
2387386
dbo:wikiPageRevisionID
1117654343
dbo:wikiPageWikiLink
dbr:Counter_machine dbr:Finite_state_machine dbr:Thermostat dbc:Automata_(computation) dbc:Differential_equations dbr:Multidigraph dbr:Model_checking dbr:Automata_theory dbr:Air_traffic_control dbr:Systems_biology dbr:Timed_automaton dbr:Mobile_robots dbr:Thermodynamics dbr:Rajeev_Alur dbr:Nancy_Lynch dbr:Hybrid_system dbr:Labeled_multidigraph dbr:Lazy_linear_hybrid_automaton dbr:Mathematical_model dbr:Embedded_systems dbr:Reachability dbr:Ordinary_differential_equations dbr:Signal_automaton
dbo:wikiPageExternalLink
n19:
owl:sameAs
freebase:m.078dq2 n13:4nSVF dbpedia-fa:اتوماتای_ترکیبی yago-res:Hybrid_automaton dbpedia-pt:Autômato_híbrido wikidata:Q5953179
dbo:abstract
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. 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.
gold:hypernym
dbr:Model
prov:wasDerivedFrom
wikipedia-en:Hybrid_automaton?oldid=1117654343&ns=0
dbo:wikiPageLength
6672
foaf:isPrimaryTopicOf
wikipedia-en:Hybrid_automaton