Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results
Name
TechReport_Mojtaba.pdf
Description
Proofs of main theoretical results
Size
254.75 KB
Format
Adobe PDF
Checksum (MD5)
9a0fb6ea6b42e45f52cfbebe48a517de
Author(s)
Forghani Oozroody, Mojtaba
McNew, John M.
Hoehener, Daniel
Del Vecchio, Domitilla
Date Issued
November 13, 2015
Journal
IEEE Transactions on Automation Science and Engineering
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
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.
Version
Author's final manuscript
Abstract
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.
MIT Department
Massachusetts Institute of Technology. Department of Mechanical Engineering
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
