Lazy linear hybrid automaton
id:
lazy-linear-hybrid-automaton-281-1362861
title:
Lazy linear hybrid automaton
text:
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. This model is more realistic and also computationally amenable than the currently popular modeling paradigm of lin
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Lazy_linear_hybrid_automaton
date created:
date modified:
2022-02-05T16:14:45Z
main entity:
{"identifier":"Q16938421","url":"https://www.wikidata.org/entity/Q16938421"}
image:
fields total:
13
integrity:
13