形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築

使用形式化方法和数学优化构建高度可靠且高效的自动驾驶车队控制系统

基本信息

  • 批准号:
    19K11842
  • 负责人:
  • 金额:
    $ 2.75万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2019
  • 资助国家:
    日本
  • 起止时间:
    2019-04-01 至 2024-03-31
  • 项目状态:
    已结题

项目摘要

2022年度の各研究テーマにおける研究進捗は下記の通りです.テーマ(1) 定理証明技術とモデル検査技術を融合した形式的検証技術およびテーマ(3) 異なる手法・抽象レベルの間のモデル変換理論の構築:代数仕様言語CafeOBJに基づく定理証明,代数仕様言語MaudeおよびUPPAALシステムに基づくモデル検査を中心に,自動運転車に関連するシステムのモデル化および検証を進めました.自動運転車の交差点制御プロトコルについて,代数仕様に基づく実時間システムの振舞仕様記述と定理証明による検証に関する研究成果を論文誌に発表しました[SEKE].その他に,自動運転車を対象としたハイブリッドシステムの検証に関する検討を国内会議で発表しました[ISCIE].テーマ(2) 数理最適化を用いた階層型マルチエージェントシミュレーション:SUMOを用いた自動運転車の客配送問題のシミュレータによる分析に関する研究成果を国内会議で発表しました[ISCIE,SSI].自動運転車制御システムのモデル化および検証の前段階として,マルチカーエレベータの運行則のUAAPPLシステムによるモデル化および検証に関する研究成果を国際会議および国内会議で発表しました[ICMLC].各テーマについて,前年度に引き続き順調に研究成果を得ており,関連する論文誌,国際会議,国内会議で発表しました.今年度の研究成果には含まれませんが,特にテーマ(3)のモデル間の変換についても検討を進めており,2023年度の発表を目指して準備を進めています.
Research progress in 2022 is recorded below. (1) Theorem proving technique and model checking technique;(3) different technique; abstract model; transformation theory; algebraic model speech; CafeOBJ theorem proving; algebraic model speech; Maude and UPPAAL model; basic model checking center; automatic vehicle; correlation model; model checking; [SEKE] is a research achievement on the intersection control of automatic transport vehicles, the description of the basic time and the proof of the theorem. Other topics include automatic transportation of vehicles, and discussion of domestic conference presentations [ISCIE]. (2) Mathematical optimization of the use of hierarchical model of the customer distribution problem of SUMO related research results were presented to the domestic conference [ISCIE,SSI]. UAAPPL system of automatic vehicle control system, the first stage of the system, the second stage of the system, the third stage of the system, the fourth stage of the system, the system, the fourth stage of the system, the system, the system, Each year, the research results of the previous year were introduced, and the relevant papers, international conferences, and domestic conferences were presented. This year's research results include the following: (3) The research results of this year include the research results of this year, especially the research results of this year's research results.

项目成果

期刊论文数量(24)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
自動運転車群運行の全体最適化のための機械学習を用いたモデル予測制御
使用机器学习进行模型预测控制,以实现自动驾驶车队运营的整体优化
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    吉田暉;松﨑仁平;榊原一紀;中村正樹
  • 通讯作者:
    中村正樹
A Simulation Model for Decentralized Control of Autonomous Vehicles in High-dencity Areas
高密度地区自动驾驶汽车分散控制仿真模型
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    T. Sugiyama;K. Sakakibara;M. Nakamura and H. Tamaki
  • 通讯作者:
    M. Nakamura and H. Tamaki
Modeling an Autonomous Vehicle Group Control System as Hybrid Automata and its Specification and Verification in Rewriting Logic
将自动驾驶车辆群控制系统建模为混合自动机及其重写逻辑的规范和验证
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yifan Wang;Masaki Nakamura;Kazutoshi Sakakibara
  • 通讯作者:
    Kazutoshi Sakakibara
OTS/CafeOBJ法によるLim-Jeong-Park-Lee交差点制御プロトコルの形式的検証
使用 OTS/CafeOBJ 方法形式化验证 Lim-Jeong-Park-Lee 交叉口控制协议
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    五十嵐竜也;中村正樹;榊原一紀
  • 通讯作者:
    榊原一紀
Formal verification of Fischer’s real-time mutual exclusion protocol by the OTS/CafeOBJ method
OTS/CafeOBJ方法形式化验证Fischer实时互斥协议
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Nakamura Masaki;Higashi Shuki;Sakakibara Kazutoshi;Ogata Kazuhiro
  • 通讯作者:
    Ogata Kazuhiro
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

中村 正樹其他文献

Evaluation of Supplemental Countermeasures to Prevent Fall Accidents into Irrigation Channels
预防坠入灌溉渠事故的补充对策评估
実行可能な代数仕様の停止性証明について
关于可执行代数规范的停止证明
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中村 正樹;二木 厚吉
  • 通讯作者:
    二木 厚吉
麻酔による血小板機能変化
麻醉引起的血小板功能变化
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中村 正樹;田中 栄;平方秀男
  • 通讯作者:
    平方秀男

中村 正樹的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('中村 正樹', 18)}}的其他基金

ビスフォスフォネートによる破骨細胞の細胞死誘導および骨吸収抑制メカニズムの解明
阐明双膦酸盐诱导破骨细胞死亡和抑制骨吸收的机制
  • 批准号:
    21591933
  • 财政年份:
    2009
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)

相似海外基金

At the right time and place – identifying epigenetic and molecular determinants of a developmental learning window
在正确的时间和地点 – 识别发育学习窗口的表观遗传和分子决定因素
  • 批准号:
    10575177
  • 财政年份:
    2023
  • 资助金额:
    $ 2.75万
  • 项目类别:
Storying Life Courses for Intersectional Inclusion: Ethnicity and Wellbeing Across Time and Place
讲述交叉包容的生命历程:跨越时间和地点的种族和福祉
  • 批准号:
    ES/W012383/1
  • 财政年份:
    2022
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Research Grant
Explaining Changes in Racial Identification across Time and Place
解释种族认同随时间和地点的变化
  • 批准号:
    2148889
  • 财政年份:
    2022
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Standard Grant
Establishment of a program for acquiring stoma care skills at any time and place of care
建立随时随地掌握造口护理技能的计划
  • 批准号:
    22K17534
  • 财政年份:
    2022
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Once upon a time and place: Story Maps of climate change
从前的时间和地点:气候变化的故事地图
  • 批准号:
    AH/W004755/1
  • 财政年份:
    2021
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Research Grant
Genetic and Social Determinants of Psychological Distress by time and place: evidence from the U.K. British Birth Cohorts, SHARE and PISA
按时间和地点划分的心理困扰的遗传和社会决定因素:来自英国英国出生队列、SHARE 和 PISA 的证据
  • 批准号:
    2411999
  • 财政年份:
    2020
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Studentship
Social inequalities in the creative economy over time and place: connecting workforce, programming and consumption
创意经济中随时间和地点的社会不平等:将劳动力、编程和消费联系起来
  • 批准号:
    AH/S004394/1
  • 财政年份:
    2019
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Fellowship
The Making and Re-Making of Port-Sunlight. Studying a Community in Flux: A Sense of Time and Place
港口阳光的制作和再制作。
  • 批准号:
    2107065
  • 财政年份:
    2018
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Studentship
Situating Pacific barkcloth production in time and place
太平洋树皮布生产的时间和地点
  • 批准号:
    AH/M00886X/1
  • 财政年份:
    2015
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Research Grant
Pathways to understanding the changing climate: time and place in cultural learning about the environment
了解气候变化的途径:环境文化学习的时间和地点
  • 批准号:
    AH/K006282/1
  • 财政年份:
    2013
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Research Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了