About: Hybrid automaton

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageExternalLink	https://ptolemy.berkeley.edu/projects/embedded/research/hytech/
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Automata_theory dbc:Differential_equations dbr:Nancy_Lynch dbr:Thermodynamics dbc:Automata_(computation) dbr:Mathematical_model dbr:Reachability dbr:Systems_biology dbr:Rajeev_Alur dbr:Timed_automaton dbr:Thermostat dbr:Air_traffic_control dbr:Mobile_robots dbr:Hybrid_system dbr:Counter_machine dbr:Signal_automaton dbr:Lazy_linear_hybrid_automaton dbr:Embedded_systems dbr:Ordinary_differential_equations dbr:Finite_state_machine dbr:Multidigraph dbr:Labeled_multidigraph
dct:subject	dbc:Differential_equations dbc:Automata_(computation)
gold:hypernym	dbr:Model
rdfs:label	Hybrid automaton (en) Autômato híbrido (pt)
owl:sameAs	freebase:Hybrid automaton yago-res:Hybrid automaton wikidata:Hybrid automaton dbpedia-pt:Hybrid automaton dbpedia-fa:Hybrid automaton dbpedia-global:Hybrid automaton dbr:Hybrid automaton
prov:wasDerivedFrom	wikipedia-en:Hybrid_automaton?oldid=1264121689&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Hybrid_automaton
is dbo:wikiPageRedirects of	dbr:Hybrid_automata
is dbo:wikiPageWikiLink of	dbr:Automata_theory dbr:Timed_automaton dbr:Hybrid_system dbr:Lazy_linear_hybrid_automaton dbr:Hybrid_automata
is foaf:primaryTopic of	wikipedia-en:Hybrid_automaton

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International