Provably safe design of driver-assist systems through hybrid automata with hidden modes
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2012.
Main Author: | Palas, Cassidy Martin |
---|---|
Other Authors: | Domitilla Del Vecchio. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2012
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/74935 |
Similar Items
-
Formal design of a provably safe robotic roundabout system
by: Duperret, Jeffrey M., et al.
Published: (2013) -
Provably Safe Robot Navigation with Obstacle Uncertainty
by: Axelrod, Brian, et al.
Published: (2021) -
Provably safe robot navigation with obstacle uncertainty
by: Axelrod, Brian, et al.
Published: (2021) -
Control of hybrid automata with hidden modes: translation to a perfect state information problem
by: Verma, Rajeev, et al.
Published: (2013) -
Provably Safe Artificial General Intelligence via Interactive Proofs
by: Kristen Carlson
Published: (2021-10-01)