Citation
Duggirala, P. S., & Tiwari, A. (2013, 29 September – 4 October). Safety verification for linear systems. Paper presented at the International Conference on Embedded Software (EMSOFT ’13), Montreal, Canada.
Safety Verification for Linear Systems
Read more from SRI
-
The SRI research behind today’s surgical robotics
Intuitive’s da Vinci 5 system represents a major leap in robotic-assisted medicine. It all started at SRI, which continues to advance teleoperation technologies.
-
A banner year for quantum
SRI-managed QED-C’s annual report on quantum trends captures an industry accelerating rapidly from technical promise toward major global impact.
-
An SRI carbon capture experiment launches into space
By synthesizing carbon-absorbing aerogels in microgravity, SRI research will give us a rare glimpse into how these materials could be radically improved.