Provably safe design of driver-assist systems through hybrid automata with hidden modes
Author(s)
Palas, Cassidy Martin
DownloadFull printable version (5.863Mb)
Other Contributors
Massachusetts Institute of Technology. Dept. of Mechanical Engineering.
Advisor
Domitilla Del Vecchio.
Terms of use
Metadata
Show full item recordAbstract
In this thesis, I consider the problem of collision avoidance between two vehicles approaching an intersection. These vehicles are human driven and one or both are equipped with an on-board driver assist system that provides warnings and can apply automatic braking/throttle when needed. This type of system will establish an intermediary step in the progression towards fully autonomous vehicles. It will allow human drivers to retain control of their vehicles while providing the guidance for drivers to apply the necessary inputs to prevent collisions before autonomous control becomes necessary. A formal approach to the design of the driver assist system is taken, employing a hybrid automaton model. This model has hidden modes, which arise from the driver making decisions about whether or not to follow the provided warnings. As a consequence, the driver assist system design is formulated as a safety control problem for a hybrid automaton with hidden modes. The solution approach is based on a mode estimator that keeps track of the possible driver decisions and, on their basis, provides warning and control inputs that ensure safety. The resulting algorithm is computationally efficient as it leverages the order preserving properties of the vehicle dynamics.
Description
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2012. Cataloged from PDF version of thesis. Includes bibliographical references (p. 71-73).
Date issued
2012Department
Massachusetts Institute of Technology. Department of Mechanical EngineeringPublisher
Massachusetts Institute of Technology
Keywords
Mechanical Engineering.