ダウンロード数: 33
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
3605098.3636014.pdf | 2.17 MB | Adobe PDF | 見る/開く |
タイトル: | Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance |
著者: | Reimann, Jesse Mansion, Nico Haydon, James Bray, Benjamin Chattopadhyay, Agnishom Sato, Sota Waga, Masaki https://orcid.org/0000-0001-9360-7490 (unconfirmed) André, Étienne Hasuo, Ichiro Ueda, Naoki Yokoyama, Yosuke |
著者名の別形: | 佐藤, 創太 和賀, 正樹 蓮尾, 一郎 上田, 直樹 |
キーワード: | automated driving temporal logic formal methods safety monitoring |
発行日: | Apr-2024 |
出版者: | ACM |
誌名: | SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing |
開始ページ: | 186 |
終了ページ: | 195 |
抄録: | As the development of autonomous vehicles progresses, efficient safety assurance methods become increasingly necessary. Safety assurance methods such as monitoring and scenario-based testing call for formalisation of driving scenarios. In this paper, we develop a temporal-logic formalisation of an important class of critical scenarios in the ISO standard 34502. We use signal temporal logic (STL) as a logical formalism. Our formalisation has two main features: 1) modular composition of logical formulas for systematic and comprehensive formalisation (following the compositional methodology of ISO 34502); 2) use of the RSS distance for defining danger. We find our formalisation comes with few parameters to tune thanks to the RSS distance. We experimentally evaluated our formalisation; using its results, we discuss the validity of our formalisation and its stability with respect to the choice of some parameter values. |
記述: | ISO 34502 の自動運転車危険シナリオを数学的に定式化--安全性保証タスクの自動化・効率化により自動運転の社会受容を促進-- 京都大学プレスリリース. 2024-04-12. SAC '24: 39th ACM/SIGAPP Symposium on Applied Computing, Avila Spain, April 8 - 12, 2024 |
著作権等: | © 2024 Copyright held by the owner/author(s). This work is licensed under a Creative Commons Attribution International 4.0 License. |
URI: | http://hdl.handle.net/2433/287939 |
DOI(出版社版): | 10.1145/3605098.3636014 |
関連リンク: | https://www.kyoto-u.ac.jp/ja/research-news/2024-04-12-0 |
出現コレクション: | 学術雑誌掲載論文等 |
このアイテムは次のライセンスが設定されています: クリエイティブ・コモンズ・ライセンス