DARPA SEC KICKOFF S. Shankar Sastry Edward A. Lee Electronics Research Laboratory University of California, Berkeley Hybrid Control Synthesis Real-Time.