Lazy linear hybrid automaton

Known as: Lazy Linear Hybrid Automata

Lazy linear hybrid automata model the discrete time behavior of control systems containing finite-precision sensors and actuators interacting with…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2005

The remarkable drop in the cost of embedded computing, sensing, and actuation is creating an explosion in applications for…