Jump to content

Lazy linear hybrid automaton

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Cydebot (talk | contribs) at 17:23, 28 February 2011 (Robot - Moving category Computational models to Models of computation per CFD at Wikipedia:Categories for discussion/Log/2011 February 19.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 Manindar Agrawal (Prime is in P fame) and P. S. Thiagarajan. This model is more realistic and also computationally amenable than the currently popular modeling paradigm of linear hybrid automaton.

  • [1] Formalization and theory behind the model
  • [2] An illustration of ease of analysis of this model
Stub icon

This technology-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Lazy_linear_hybrid_automaton&oldid=416402454"