Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
In this paper a knowledge based assembly control system for automobile manufacturing is presented which has been implemented for the B M W manufacturing facilities in Munich. The ...
— We present an algorithm for an event based approach to the global optimal control of nonlinear systems with coarsely quantized state measurement. The quantized measurements ind...
— A considerable amount of research has been done on the use of logarithmic quantizers for networked feedback control systems. However, most results are developed for the case of...
Daniel Ferreira Coutinho, Minyue Fu, Carlos E. de ...