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.[citation needed] This model is more realistic and also computationally amenable than the currently popular modeling paradigm of linear hybrid automaton.[citation needed]
and 6 Related for: Lazy linear hybrid automaton information
paradigm of linearhybridautomaton.[citation needed] [1] Formalization and theory behind the model Reachability Analysis of LazyLinearHybrid Automata...
analysis of hybrid systems. Another formalism, which is useful to model implementations of hybridautomaton, is the lazylinearhybridautomaton. Given the...
state automaton where each transition is labelled by a transition from the Petri net. The Petri net is then synchronised with the finite state automaton, i...
Global Information