MIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results

Author(s)
Forghani Oozroody, Mojtaba; McNew, John M.; Hoehener, Daniel; Del Vecchio, Domitilla
Thumbnail
DownloadProofs of main theoretical results (254.7Kb)
OPEN_ACCESS_POLICY

Open Access Policy

Creative Commons Attribution-Noncommercial-Share Alike

Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
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.
Date issued
2015-11-13
URI
http://hdl.handle.net/1721.1/99901
Department
Massachusetts Institute of Technology. Department of Mechanical Engineering
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
ISSN
1545-5955

Collections
  • MIT Open Access Articles

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries
PrivacyPermissionsAccessibilityContact us
MIT
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.