- Lazy linear hybrid automaton
Lazy linear hybrid automata model the
discrete time behavior ofcontrol 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 anycomputable 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 linearhybrid automata .External links
* [http://www.comp.nus.edu.sg/~thiagu/public_papers/hscc05.pdf] Formalization and theory behind the model
* [http://www.eecs.berkeley.edu/~jha/html/llha_symbolic_analysis.html] An illustration of ease of analysis of this model
Wikimedia Foundation. 2010.