{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/74935"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/74935","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Provably safe design of driver-assist systems through hybrid automata with hidden modes","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_html":"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_has_math":false,"creators":["Palas, Cassidy Martin"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Dept. of Mechanical Engineering.","school":null,"contributors":[],"advisors":["Domitilla Del Vecchio."],"committee_chairs":[],"committee_members":[],"year":2012,"date_issued":"2012","date_published":"2012","updated_at":"2026-07-22T22:21:29Z","subjects":["Mechanical Engineering."],"languages":["eng"],"rights":["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."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/74935","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Domitilla Del Vecchio."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Dept. of Mechanical Engineering."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Dept. of Mechanical Engineering."]},{"key":"dc:creator","label":"Author","values":["Palas, Cassidy Martin"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2012-11-19T19:19:50Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2012-11-19T19:19:50Z"]},{"key":"dc:date.issued","label":"Date","values":["2012"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mechanical Engineering."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["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."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/74935"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2012.","Cataloged from PDF version of thesis.","Includes bibliographical references (p. 71-73)."]},{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["S.M."]},{"key":"dc:title","label":"Title","values":["Provably safe design of driver-assist systems through hybrid automata with hidden modes"]}]}],"canonical_facts":{"dc:contributor.advisor":["Domitilla Del Vecchio."],"dc:contributor.department":["Massachusetts Institute of Technology. Dept. of Mechanical Engineering."],"dc:contributor.other":["Massachusetts Institute of Technology. Dept. of Mechanical Engineering."],"dc:creator":["Palas, Cassidy Martin"],"dc:date.accessioned":["2012-11-19T19:19:50Z"],"dc:date.available":["2012-11-19T19:19:50Z"],"dc:date.issued":["2012"],"dc: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)."],"dc:description.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."],"dc:description.degree":["S.M."],"dc:identifier.uri":["http://hdl.handle.net/1721.1/74935"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["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."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Mechanical Engineering."],"dc:title":["Provably safe design of driver-assist systems through hybrid automata with hidden modes"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:21:29Z"}