Del Vecchio, Domitilla: Recent submissions
Now showing items 7-9 of 20
-
Signaling architectures that transmit unidirectional information
(2016-12-24)A signaling pathway transmits information from an upstream system to downstream systems, ideally unidirectionally. A key bottleneck to unidirectional transmission is retroactivity, which is the additional reaction flux ... -
Controller design under safety specifications for a class of bounded hybrid automata
(IEEE, 2016-12)Motivated by driver-assist systems that warn the driver before taking control action, we study the safety problem for a class of bounded hybrid automata. We show that for this class there exists a least restrictive safe ...