Theses most similar to Safety verification for automated vehicle maneuvers (Dolginova, Ekaterina, 1977-; 1998) read it
Coordinating agile systems through the model-based execution of temporal plans
Léauté, Thomas (2005)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Paul I. Barton
- Department of Chemical Engineering
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
Provably safe design of driver-assist systems through hybrid automata with hidden modes
Palas, Cassidy Martin (2012)
- Advisor: Domitilla Del Vecchio
- Department of Mechanical Engineering
Semi-autonomous control of multiple heterogeneous vehicles for intersection collision avoidance
Ahn, Heejin (2014)
- Advisor: Domitilla Del Vecchio
- Department of Mechanical Engineering
Computation of safety control for hybrid system with applications to intersection collision avoidance system
Huang, Gen (2015)
- Advisor: Domitilla Del Vecchio
- Department of Mechanical Engineering
High performance and provably safe polling-systems-based control algorithms of all-autonomous intersections
Miculescu, David (2015)
- Advisor: Sertac Karaman
- Department of Aeronautics and Astronautics