Control of Hidden Mode Hybrid Systems: Algorithm termination
We consider the problem of safety control in Hidden Mode Hybrid Systems (HMHS) that arises in the development of a semi-autonomous cooperative active safety system for collision avoidance at an intersection. We utilize the approach of constructing a new hybrid automaton whose discrete state is an es...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Institute of Electrical and Electronics Engineers
2013
|
| Online Access: | http://hdl.handle.net/1721.1/78371 https://orcid.org/0000-0001-6472-8576 |
| _version_ | 1811092563231244288 |
|---|---|
| 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 | We consider the problem of safety control in Hidden Mode Hybrid Systems (HMHS) that arises in the development of a semi-autonomous cooperative active safety system for collision avoidance at an intersection. We utilize the approach of constructing a new hybrid automaton whose discrete state is an estimate of the HMHS mode. A dynamic feedback map can then be designed that guarantees safety on the basis of the current mode estimate and the concept of the capture set. In this work, we relax the conditions for the termination of the algorithm that computes the capture set by constructing an abstraction of the new hybrid automaton. We present a relation to compute the capture set for the abstraction and show that this capture set is equal to the one for the new hybrid automaton. |
| first_indexed | 2024-09-23T15:20:11Z |
| format | Article |
| id | mit-1721.1/78371 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T15:20:11Z |
| publishDate | 2013 |
| publisher | Institute of Electrical and Electronics Engineers |
| record_format | dspace |
| spelling | mit-1721.1/783712022-09-29T14:17:53Z Control of Hidden Mode Hybrid Systems: Algorithm termination Verma, Rajeev Del Vecchio, Domitilla Massachusetts Institute of Technology. Department of Mechanical Engineering Del Vecchio, Domitilla We consider the problem of safety control in Hidden Mode Hybrid Systems (HMHS) that arises in the development of a semi-autonomous cooperative active safety system for collision avoidance at an intersection. We utilize the approach of constructing a new hybrid automaton whose discrete state is an estimate of the HMHS mode. A dynamic feedback map can then be designed that guarantees safety on the basis of the current mode estimate and the concept of the capture set. In this work, we relax the conditions for the termination of the algorithm that computes the capture set by constructing an abstraction of the new hybrid automaton. We present a relation to compute the capture set for the abstraction and show that this capture set is equal to the one for the new hybrid automaton. 2013-04-12T18:42:57Z 2013-04-12T18:42:57Z 2011-10 Article http://purl.org/eprint/type/ConferencePaper 978-1-4577-2198-4 978-1-4577-2197-7 2153-0009 INSPEC Accession Number: 12385597 http://hdl.handle.net/1721.1/78371 Verma, Rajeev and Domitilla Del Vecchio. "Control of Hidden Mode Hybrid Systems: Algorithm Termination." 2011 14th International IEEE Conference on Intelligent Transportation Systems Washington, DC, USA. October 5-7, 2011. https://orcid.org/0000-0001-6472-8576 en_US http://dx.doi.org/10.1109/ITSC.2011.6083102 Proceedings of the 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC) Creative Commons Attribution-Noncommercial-Share Alike 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf Institute of Electrical and Electronics Engineers MIT web domain |
| spellingShingle | Verma, Rajeev Del Vecchio, Domitilla Control of Hidden Mode Hybrid Systems: Algorithm termination |
| title | Control of Hidden Mode Hybrid Systems: Algorithm termination |
| title_full | Control of Hidden Mode Hybrid Systems: Algorithm termination |
| title_fullStr | Control of Hidden Mode Hybrid Systems: Algorithm termination |
| title_full_unstemmed | Control of Hidden Mode Hybrid Systems: Algorithm termination |
| title_short | Control of Hidden Mode Hybrid Systems: Algorithm termination |
| title_sort | control of hidden mode hybrid systems algorithm termination |
| url | http://hdl.handle.net/1721.1/78371 https://orcid.org/0000-0001-6472-8576 |
| work_keys_str_mv | AT vermarajeev controlofhiddenmodehybridsystemsalgorithmtermination AT delvecchiodomitilla controlofhiddenmodehybridsystemsalgorithmtermination |