Lazy linear hybrid automaton

Lazy linear hybrid automaton

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 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.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Hybrid automaton — A hybrid automaton (plural hybrid automata) is a mathematical model for precisely describing systems where computational processes interact with physical processes. Its behavior consists of discrete state transitions and continuous… …   Wikipedia

  • Procedural generation — is a widely used term in the production of media, indicating the possibility to create content on the fly rather than prior to distribution. This is often related to computer graphics applications and video game level design.OverviewThe term… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”