This HTML5 document contains 45 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/
n12https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19https://web.archive.org/web/20060827000728/http:/www.comp.nus.edu.sg/~thiagu/public_papers/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n16https://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Lazy_linear_hybrid_automaton
rdf:type
yago:YagoLegalActor yago:YagoLegalActorGeo yago:Worker109632518 yago:LivingThing100004258 yago:Model110324560 yago:CausalAgent100007347 yago:Object100002684 yago:Whole100003553 yago:PhysicalEntity100001930 yago:Organism100004475 yago:WikicatModelsOfComputation yago:Assistant109815790 yago:Person100007846
rdfs:label
Lazy linear hybrid automaton
rdfs:comment
Lazy linear hybrid automata model the discrete time behavior of control systems containing finite-precision sensors and actuators interacting with their environment under bounded inertial delays. The model permits only linear flow constraints but the invariants and guards can be any computable function. This computational model was proposed by Manindra Agrawal and P. S. Thiagarajan. This model is more realistic and also computationally amenable than the currently popular modeling paradigm of linear hybrid automaton.
dcterms:subject
dbc:Automata_(computation) dbc:Models_of_computation
dbo:wikiPageID
12635200
dbo:wikiPageRevisionID
1070086198
dbo:wikiPageWikiLink
dbc:Automata_(computation) dbr:Control_systems dbr:Manindra_Agrawal dbr:Discrete_time dbc:Models_of_computation dbr:Computational_model dbr:Computable_function dbr:Hybrid_automaton
dbo:wikiPageExternalLink
n16:EECS-2011-112.pdf n19:hscc05.pdf
owl:sameAs
yago-res:Lazy_linear_hybrid_automaton n12:f3d5 freebase:m.02wz00w wikidata:Q16938421
dbp:wikiPageUsesTemplate
dbt:Citation_needed dbt:Tech-stub
dbo:abstract
Lazy linear hybrid automata model the discrete time behavior of control systems containing finite-precision sensors and actuators interacting with their environment under bounded inertial delays. The model permits only linear flow constraints but the invariants and guards can be any computable function. This computational model was proposed by Manindra Agrawal and P. S. Thiagarajan. This model is more realistic and also computationally amenable than the currently popular modeling paradigm of linear hybrid automaton.
prov:wasDerivedFrom
wikipedia-en:Lazy_linear_hybrid_automaton?oldid=1070086198&ns=0
dbo:wikiPageLength
1017
foaf:isPrimaryTopicOf
wikipedia-en:Lazy_linear_hybrid_automaton
Subject Item
dbr:Hybrid_automaton
dbo:wikiPageWikiLink
dbr:Lazy_linear_hybrid_automaton
Subject Item
dbr:Lazy_Linear_Hybrid_Automata
dbo:wikiPageWikiLink
dbr:Lazy_linear_hybrid_automaton
dbo:wikiPageRedirects
dbr:Lazy_linear_hybrid_automaton
Subject Item
dbr:Lazy_linear_hybrid_automata
dbo:wikiPageWikiLink
dbr:Lazy_linear_hybrid_automaton
dbo:wikiPageRedirects
dbr:Lazy_linear_hybrid_automaton
Subject Item
wikipedia-en:Lazy_linear_hybrid_automaton
foaf:primaryTopic
dbr:Lazy_linear_hybrid_automaton