Del Vecchio, Domitilla: Recent submissions
Now showing items 16-18 of 20
-
Design of a lane departure driver-assist system under safety specifications
(2016-03-04)We use a controlled invariance approach to design a semi-autonomous lane departure assist system that is guaranteed to keep the vehicle in the lane. The controlled invariant safe set is the set of system states from which ... -
Automatic Quantifications of Dynamics of Genetic Circuits in a Single Cell in Chemostat
(2015-08-31)Modular design of genetic circuits requires iterations of experimental and theoretical efforts to make the design process reliable and the resulting behaviors predictable. This technical report demonstrates a fully automatic ...