Safety in Semi-autonomous Multi-vehicle Systems: A Hybrid Control Approach
In this article, we have illustrated the application of a formal hybrid control approach to design semiautonomous multivehicle systems that are guaranteed to be safe. Our experimental results illustrate that, in a structured task, such as driving, simple human-decision models can be effectively lear...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2014
|
| Online Access: | http://hdl.handle.net/1721.1/86355 https://orcid.org/0000-0001-6472-8576 |
| _version_ | 1811087318313861120 |
|---|---|
| author | Verma, Rajeev Del Vecchio, Domitilla |
| author2 | Massachusetts Institute of Technology. Department of Mechanical Engineering |
| author_facet | Massachusetts Institute of Technology. Department of Mechanical Engineering Verma, Rajeev Del Vecchio, Domitilla |
| author_sort | Verma, Rajeev |
| collection | MIT |
| description | In this article, we have illustrated the application of a formal hybrid control approach to design semiautonomous multivehicle systems that are guaranteed to be safe. Our experimental results illustrate that, in a structured task, such as driving, simple human-decision models can be effectively learned and employed in a feedback control system that enforces a safety specification. They also highlight how the incorporation of these models in a safety control system makes the control actions required for safety less conservative. In fact, by virtue of the mode estimate, the current (mode-dependent) capture set to avoid guaranteeing safety is considerably smaller than the capture set to be avoided when the mode estimate is not available. This is essential for the practical applicability of cooperative active safety systems. In our data set, the flow entered the capture set only 3% times. These failures are mainly due to communication delays between the vehicles and the workstation. These delays, when significant, cause the calculated capture set to be different from the actual one and hence may cause to enforce control too late. These delays, in future work, should be formally accounted for in the models and in the safety control algorithm. More complex models of human decisions in the proximity of an intersection and the incorporation of additional details, such as weather conditions and road geometry, offer the potential for reducing the conservatism of safe control actions even further. Future work will also consider the extension to the case in which vehicles are not known to evolve on a fixed route. This case will be handled by keeping track of routes that are compatible with the position and speed of the vehicle and by progressively eliminating those that become incompatible. The models considered here are deterministic because most of the tools currently available to perform safety control have assumed deterministic models, wherein uncertainty is bounded. Howeve- - r, human decision models are more naturally captured by stochastic frameworks, in which uncertainty due to variability in both subjects and realizations of the same decision is probabilistic. As results in stochastic safety verification and design become available, it will be important to extend the proposed techniques of this article to safety control of stochastic hybrid automata in which the mode estimate is constructed probabilistically. |
| first_indexed | 2024-09-23T13:44:11Z |
| format | Article |
| id | mit-1721.1/86355 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:44:11Z |
| publishDate | 2014 |
| publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| record_format | dspace |
| spelling | mit-1721.1/863552022-10-01T16:47:53Z Safety in Semi-autonomous Multi-vehicle Systems: A Hybrid Control Approach Semiautonomous Multivehicle Safety Verma, Rajeev Del Vecchio, Domitilla Massachusetts Institute of Technology. Department of Mechanical Engineering Del Vecchio, Domitilla Del Vecchio, Domitilla In this article, we have illustrated the application of a formal hybrid control approach to design semiautonomous multivehicle systems that are guaranteed to be safe. Our experimental results illustrate that, in a structured task, such as driving, simple human-decision models can be effectively learned and employed in a feedback control system that enforces a safety specification. They also highlight how the incorporation of these models in a safety control system makes the control actions required for safety less conservative. In fact, by virtue of the mode estimate, the current (mode-dependent) capture set to avoid guaranteeing safety is considerably smaller than the capture set to be avoided when the mode estimate is not available. This is essential for the practical applicability of cooperative active safety systems. In our data set, the flow entered the capture set only 3% times. These failures are mainly due to communication delays between the vehicles and the workstation. These delays, when significant, cause the calculated capture set to be different from the actual one and hence may cause to enforce control too late. These delays, in future work, should be formally accounted for in the models and in the safety control algorithm. More complex models of human decisions in the proximity of an intersection and the incorporation of additional details, such as weather conditions and road geometry, offer the potential for reducing the conservatism of safe control actions even further. Future work will also consider the extension to the case in which vehicles are not known to evolve on a fixed route. This case will be handled by keeping track of routes that are compatible with the position and speed of the vehicle and by progressively eliminating those that become incompatible. The models considered here are deterministic because most of the tools currently available to perform safety control have assumed deterministic models, wherein uncertainty is bounded. Howeve- - r, human decision models are more naturally captured by stochastic frameworks, in which uncertainty due to variability in both subjects and realizations of the same decision is probabilistic. As results in stochastic safety verification and design become available, it will be important to extend the proposed techniques of this article to safety control of stochastic hybrid automata in which the mode estimate is constructed probabilistically. National Science Foundation (U.S.) (CAREER Award CNS-0642719) 2014-05-02T13:47:20Z 2014-05-02T13:47:20Z 2011-09 Article http://purl.org/eprint/type/JournalArticle 1070-9932 http://hdl.handle.net/1721.1/86355 Verma, Rajeev, and Domitilla Vecchio. “Semiautonomous Multivehicle Safety.” IEEE Robotics & Automation Magazine 18, no. 3 (n.d.): 44–54. https://orcid.org/0000-0001-6472-8576 en_US http://dx.doi.org/10.1109/mra.2011.942114 IEEE Robotics & Automation Magazine Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Institute of Electrical and Electronics Engineers (IEEE) Prof. del Vecchio via Angie Locknar |
| spellingShingle | Verma, Rajeev Del Vecchio, Domitilla Safety in Semi-autonomous Multi-vehicle Systems: A Hybrid Control Approach |
| title | Safety in Semi-autonomous Multi-vehicle Systems: A Hybrid Control Approach |
| title_full | Safety in Semi-autonomous Multi-vehicle Systems: A Hybrid Control Approach |
| title_fullStr | Safety in Semi-autonomous Multi-vehicle Systems: A Hybrid Control Approach |
| title_full_unstemmed | Safety in Semi-autonomous Multi-vehicle Systems: A Hybrid Control Approach |
| title_short | Safety in Semi-autonomous Multi-vehicle Systems: A Hybrid Control Approach |
| title_sort | safety in semi autonomous multi vehicle systems a hybrid control approach |
| url | http://hdl.handle.net/1721.1/86355 https://orcid.org/0000-0001-6472-8576 |
| work_keys_str_mv | AT vermarajeev safetyinsemiautonomousmultivehiclesystemsahybridcontrolapproach AT delvecchiodomitilla safetyinsemiautonomousmultivehiclesystemsahybridcontrolapproach AT vermarajeev semiautonomousmultivehiclesafety AT delvecchiodomitilla semiautonomousmultivehiclesafety |