2026-09-20T09:20:55Zhttps://dspace.mit.edu/server/oai/request

oai:dspace.mit.edu:1721.1/749352022-01-13T07:54:36Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023

Domitilla Del Vecchio. Palas, Cassidy Martin Massachusetts Institute of Technology. Dept. of Mechanical Engineering. Massachusetts Institute of Technology. Department of Mechanical Engineering 2012-11-19T19:19:50Z 2012-11-19T19:19:50Z 2012 2012 http://hdl.handle.net/1721.1/74935 815957866 Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2012. Cataloged from PDF version of thesis. Includes bibliographical references (p. 71-73). 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. by Cassidy Martin Palas. S.M. 73 p. eng Massachusetts Institute of Technology M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 Mechanical Engineering. Provably safe design of driver-assist systems through hybrid automata with hidden modes Thesis application/pdf Publication unknown unknown <Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="68ce598d-1442-4be5-9c1f-6d9775c134fa"> <Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type> <Language>eng</Language> <Title>Provably safe design of driver-assist systems through hybrid automata with hidden modes</Title> <PublishedIn> <Publication> </Publication> </PublishedIn> <PublicationDate>2012</PublicationDate> <Authors> <Author> <DisplayName>Palas, Cassidy Martin</DisplayName> <Affiliation> <OrgUnit> </OrgUnit> </Affiliation> </Author> </Authors> <Editors> </Editors> <Publishers> <Publisher> <DisplayName>Massachusetts Institute of Technology</DisplayName> <OrgUnit /> </Publisher> </Publishers> <License>http://dspace.mit.edu/handle/1721.1/7582</License> <Keyword>Mechanical Engineering.</Keyword> <Abstract>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.</Abstract> <Access xmlns="http://purl.org/coar/access_right" > </Access> </Publication>