Verification and Control for Autonomous Mobile Systems

被引：0
|
作者：
Hoxha, Bardh [1 ]
机构：
[1] Toyota Res Inst North Amer, Toyota R&D, Ann Arbor, MI 48105 USA
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 361期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Safety is a critical concern in the development of autonomous mobile system. In this talk, we consider two challenges in this area. First, the verification problem of AMS with machine learning components. Second, the control synthesis problem for start-to-goal requirements while avoiding static and dynamic obstacles. Finally, we provide an overview of the Toyota Human Support Robot as a platform for the development of rigorous methods for the next generation of autonomous mobile systems.
引用
收藏
页码：7 / 8
页数：2
相关论文
共 50 条
  • [1] Verification of visual attitude control for outdoor autonomous mobile robots
    Iwata, Shohei
    Sahashi, Shota
    Hasegawa, Tadahiro
    [J]. 2013 10TH INTERNATIONAL CONFERENCE ON UBIQUITOUS ROBOTS AND AMBIENT INTELLIGENCE (URAI), 2013, : 319 - 320
  • [2] Verification of Autonomous Systems
    Araiza-Illan, Dejanira
    Fisher, Michael
    Leahy, Kevin
    Olszewska, Joanna Isabelle
    Redfield, Signe
    [J]. IEEE ROBOTICS & AUTOMATION MAGAZINE, 2022, 29 (01) : 99 - 101
  • [3] A Formal Approach for the Verification of Control Systems in Autonomous Driving Applications
    Skruch, Pawel
    Dlugosz, Marek
    Markiewicz, Pawel
    [J]. TRENDS IN ADVANCED INTELLIGENT CONTROL, OPTIMIZATION AND AUTOMATION, 2017, 577 : 178 - 189
  • [4] Verification and validation of autonomous systems
    Hinchey, MG
    Rash, JL
    Rouff, CA
    [J]. 26TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2002, : 136 - 144
  • [5] Automatic design of fuzzy control systems for autonomous mobile robots
    Baturone, I
    Moreno-Velo, FJ
    Sánchez-Solano, S
    de Agar, RM
    Ollero, A
    [J]. IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 2002, : 2451 - 2456
  • [6] Verification of Autonomous Systems by Capability Verification Composition (CVC)
    Bouchard, Andrew
    Tatum, Richard
    Horan, Savanna
    [J]. OCEANS 2017 - ANCHORAGE, 2017,
  • [7] Verification of autonomous systems for space applications
    Brat, G.
    Denney, E.
    Giannakopoulou, D.
    Frank, J.
    Jonsson, A.
    [J]. 2006 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2006, : 3155 - +
  • [8] Verification of autonomous robotic systems: A perspective
    Hochgeschwender, Nico
    Voos, Holger
    [J]. PROCEEDINGS OF THE 13TH IASTED INTERNATIONAL CONFERENCE ON ROBOTICS AND APPLICATIONS/PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON TELEMATICS, 2007, : 204 - +
  • [9] Probabilistic Verification of Concurrent Autonomous Systems
    Parker, David
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 9 - 9
  • [10] Safety Enforcement for the Verification of Autonomous Systems
    de Niz, Dionisio
    Andersson, Bjorn
    Moreno, Gabriel
    [J]. AUTONOMOUS SYSTEMS: SENSORS, VEHICLES, SECURITY, AND THE INTERNET OF EVERYTHING, 2018, 10643
12345