Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results
This document contains the statements and proofs of the main theoretical results presented in the paper by the same authors with the title \Design of driver-assist system under probabilistic safety specifications near stop signs", which will appear in the special issue on Human Centered Automat...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2015
|
| Online Access: | http://hdl.handle.net/1721.1/99901 https://orcid.org/0000-0001-8695-1891 https://orcid.org/0000-0003-1866-6970 https://orcid.org/0000-0001-6472-8576 |
| _version_ | 1811091170209562624 |
|---|---|
| author | Forghani Oozroody, Mojtaba McNew, John M. Hoehener, Daniel Del Vecchio, Domitilla |
| author2 | Massachusetts Institute of Technology. Department of Mechanical Engineering |
| author_facet | Massachusetts Institute of Technology. Department of Mechanical Engineering Forghani Oozroody, Mojtaba McNew, John M. Hoehener, Daniel Del Vecchio, Domitilla |
| author_sort | Forghani Oozroody, Mojtaba |
| collection | MIT |
| description | This document contains the statements and proofs of the main theoretical results presented in the paper by the same authors with the title \Design of driver-assist system under probabilistic safety specifications near stop signs", which will appear in the special issue on Human Centered Automation of the IEEE Transactions on Automation Science and Engineering. |
| first_indexed | 2024-09-23T14:58:03Z |
| format | Article |
| id | mit-1721.1/99901 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T14:58:03Z |
| publishDate | 2015 |
| publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| record_format | dspace |
| spelling | mit-1721.1/999012022-09-29T11:43:45Z Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results Forghani Oozroody, Mojtaba McNew, John M. Hoehener, Daniel Del Vecchio, Domitilla Massachusetts Institute of Technology. Department of Mechanical Engineering Del Vecchio, Domitilla Forghani Oozroody, Mojtaba Hoehener, Daniel Del Vecchio, Domitilla This document contains the statements and proofs of the main theoretical results presented in the paper by the same authors with the title \Design of driver-assist system under probabilistic safety specifications near stop signs", which will appear in the special issue on Human Centered Automation of the IEEE Transactions on Automation Science and Engineering. 2015-11-13T12:46:53Z 2015-11-13T12:46:53Z 2015-11-13 2015-11 Article http://purl.org/eprint/type/JournalArticle 1545-5955 http://hdl.handle.net/1721.1/99901 Forghani, Mojtaba, John M. McNew, Daniel Hoehener, and Domitilla Del Vecchio. "Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results." Forthcoming in IEEE Transactions on Automation Science and Engineering. https://orcid.org/0000-0001-8695-1891 https://orcid.org/0000-0003-1866-6970 https://orcid.org/0000-0001-6472-8576 en_US IEEE Transactions on Automation Science and Engineering Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Institute of Electrical and Electronics Engineers (IEEE) Hoehener |
| spellingShingle | Forghani Oozroody, Mojtaba McNew, John M. Hoehener, Daniel Del Vecchio, Domitilla Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results |
| title | Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results |
| title_full | Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results |
| title_fullStr | Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results |
| title_full_unstemmed | Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results |
| title_short | Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results |
| title_sort | design of driver assist systems under probabilistic safety specifications near stop signs proofs of technical results |
| url | http://hdl.handle.net/1721.1/99901 https://orcid.org/0000-0001-8695-1891 https://orcid.org/0000-0003-1866-6970 https://orcid.org/0000-0001-6472-8576 |
| work_keys_str_mv | AT forghanioozroodymojtaba designofdriverassistsystemsunderprobabilisticsafetyspecificationsnearstopsignsproofsoftechnicalresults AT mcnewjohnm designofdriverassistsystemsunderprobabilisticsafetyspecificationsnearstopsignsproofsoftechnicalresults AT hoehenerdaniel designofdriverassistsystemsunderprobabilisticsafetyspecificationsnearstopsignsproofsoftechnicalresults AT delvecchiodomitilla designofdriverassistsystemsunderprobabilisticsafetyspecificationsnearstopsignsproofsoftechnicalresults |