e/Lazy linear hybrid automaton

Information
has gloss	eng: 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.
lexicalization	eng: Lazy linear hybrid automaton
instance of	e/Computational model