Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Lazy_linear_hybrid_automaton> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples 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 wikiPageLength "878".
- Lazy_linear_hybrid_automaton wikiPageOutDegree "8".
- Lazy_linear_hybrid_automaton wikiPageRevisionID "488686965".
- Lazy_linear_hybrid_automaton wikiPageWikiLink Category:Automata_theory.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Category:Models_of_computation.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Computable_function.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Computational_model.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Control_system.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Control_systems.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Discrete_time.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Discrete_time_and_continuous_time.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Hybrid_automaton.
- Lazy_linear_hybrid_automaton wikiPageWikiLink Manindra_Agrawal.
- Lazy_linear_hybrid_automaton wikiPageWikiLinkText "Lazy linear hybrid automaton".
- Lazy_linear_hybrid_automaton wikiPageWikiLinkText "lazy linear hybrid automaton".
- Lazy_linear_hybrid_automaton hasPhotoCollection Lazy_linear_hybrid_automaton.
- Lazy_linear_hybrid_automaton wikiPageUsesTemplate Template:Tech-stub.
- Lazy_linear_hybrid_automaton subject Category:Automata_theory.
- Lazy_linear_hybrid_automaton subject Category:Models_of_computation.
- Lazy_linear_hybrid_automaton type Model.
- Lazy_linear_hybrid_automaton type Method.
- Lazy_linear_hybrid_automaton type Model.
- 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 wasDerivedFrom Lazy_linear_hybrid_automaton?oldid=488686965.
- Lazy_linear_hybrid_automaton isPrimaryTopicOf Lazy_linear_hybrid_automaton.