Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Lazy_linear_hybrid_automaton> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- Lazy_linear_hybrid_automaton 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.".
- Lazy_linear_hybrid_automaton wikiPageExternalLink hscc05.pdf.
- Lazy_linear_hybrid_automaton wikiPageExternalLink llha_symbolic_analysis.html.
- Lazy_linear_hybrid_automaton wikiPageID "12635200".
- Lazy_linear_hybrid_automaton wikiPageRevisionID "488686965".
- Lazy_linear_hybrid_automaton hasPhotoCollection Lazy_linear_hybrid_automaton.
- Lazy_linear_hybrid_automaton subject Category:Automata_theory.
- Lazy_linear_hybrid_automaton subject Category:Models_of_computation.
- Lazy_linear_hybrid_automaton type Assistant109815790.
- Lazy_linear_hybrid_automaton type CausalAgent100007347.
- Lazy_linear_hybrid_automaton type LivingThing100004258.
- Lazy_linear_hybrid_automaton type Model110324560.
- Lazy_linear_hybrid_automaton type ModelsOfComputation.
- Lazy_linear_hybrid_automaton type Object100002684.
- Lazy_linear_hybrid_automaton type Organism100004475.
- Lazy_linear_hybrid_automaton type Person100007846.
- Lazy_linear_hybrid_automaton type PhysicalEntity100001930.
- Lazy_linear_hybrid_automaton type Whole100003553.
- Lazy_linear_hybrid_automaton type Worker109632518.
- Lazy_linear_hybrid_automaton type YagoLegalActor.
- Lazy_linear_hybrid_automaton type YagoLegalActorGeo.
- Lazy_linear_hybrid_automaton 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.".
- Lazy_linear_hybrid_automaton label "Lazy linear hybrid automaton".
- Lazy_linear_hybrid_automaton sameAs m.02wz00w.
- Lazy_linear_hybrid_automaton sameAs Q16938421.
- Lazy_linear_hybrid_automaton sameAs Q16938421.
- Lazy_linear_hybrid_automaton sameAs Lazy_linear_hybrid_automaton.
- Lazy_linear_hybrid_automaton wasDerivedFrom Lazy_linear_hybrid_automaton?oldid=488686965.
- Lazy_linear_hybrid_automaton isPrimaryTopicOf Lazy_linear_hybrid_automaton.