Graduate Student Researcher
Correctness and Control for Human-Cyber-Physical Systems:
It is an exciting and pivotal moment in the history of cyber-physical systems. Once confined to the manufacturing floor, robots are quickly entering the public space at multiple levels: drones, surgical robots and self-driving cars are becoming tangible technologies impacting the human experience. Most of these new opportunities will require these cyber-physical systems to closely interact with human beings in their natural environments, which challenges researchers to look beyond the traditional assumptions. This requires rich predictive models of humans built through powerful statistical methods. Further, because of the safety-critical nature of the human-cyber-physical systems, we, as designers, need to control them under formal specifications and provide guarantees about the performance of the overall system. Dorsa’s current research is focused on providing a new methodology for control and verification of human cyber-physical systems through model-based design and verification closely interfacing with data-driven human models.
Dorsa Sadigh is a Ph.D. candidate in the Electrical Engineering and Computer Sciences department at UC Berkeley working with Prof. Shankar Sastry, Prof. Sanjit Seshia, and Prof. Anca Dragan. Her research interests lie in the intersection of control theory, formal methods and human-robot interaction. Specifically, she works on developing provable guarantees of human cyber-physical systems such as semiautonomous driving. Dorsa graduated from Berkeley EECS undergraduate program in 2012. She is awarded the NDSEG and NSF graduate research fellowships as well as Leon O. Chua departmental award, and Google Anita Borg Scholarship.
 Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia, Anca Dragan. Information Gathering Actions over Human Internal State. Submitted to International Conference on Intelligent Robots and Systems, 2016.
 Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia, Anca Dragan Planning for Autonomous Cars that Leverages Effects on Human Actions . Robotics: Science and Systems Conference, 2016.
 Dorsa Sadigh, Ashish Kapoor. Safe Control under Uncertainty with Probabilistic Signal Temporal Logic. Robotics: Science and Systems Conference, 2016.
 Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia. Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.Conference on Hybrid Systems: Computation and Control, 2016.
 Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry. Formal Methods for Semi-autonomous Driving. Design and Automation Conference, 2015.
 Vasumathi Raman, Alexandre Donze, Dorsa Sadigh, Richard M. Murray, Sanjit Seshia. Reactive Synthesis from Signal Temporal Logic Specifications. Conference on Hybrid Systems: Computation and Control, 2015.
 Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit Seshia. A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. IEEE Conference on Decision and Control, 2014.
 Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, Sanjit Seshia. Robust Subspace System Identification via Weighted Nuclear Norm Optimization. International Federation of Automatic Control, 2014.
 Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, Shankar Sastry, and Sanjit Seshia. Data-driven probabilistic modeling and verification of human driver behavior. Formal Verification and Modeling in Human-Machine Systems (AAAI Spring Symposium), 2014.
 Dorsa Sadigh, Katherine Driggs Campbell, Ruzena Bajcsy, S. Shankar Sastry, Sanjit Seshia. User Interface Design and Verification for Semi-autonomous Driving. Conference on High Confidence Networked Systems, 2014.
 Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Dorsa Sadigh, Sanjit Seshia. Safety Envelope in Security. Conference on High Confidence Networked Systems, 2014.
 Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia. Synthesis for Human-in-the-Loop Control Systems. Tools and Algorithms for the Construction and Analysis of Systems, 2014.
 Dorsa Sadigh, Sanjit Seshia and Mona Gupta. Automating Exercise Generation: A Step towards Meeting the MOOC Challenge for Embedded Systems. Workshop on Embedded Systems Education, 2012.
 Orna Kupferman, Dorsa Sadigh and Sanjit A. Seshia. Synthesis with Clairvoyance. Haifa Verification Conference, 2011.
 Jonathan Kotker, Dorsa Sadigh, and Sanjit A. Seshia. Timing Analysis of Interrupt-Driven Programs under Context Bounds. Formal Methods in Computer Aided Design, 2011.