Model checking of robotic control systems

被引：0
|
作者：
Scherer, S. [1 ]
Lerda, F. [2 ]
Clarke, E.M. [2 ]
机构：
[1] Robotics Institute, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, United States
[2] Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, United States
来源：
European Space Agency, (Special Publication) ESA SP | 2005年 / 603期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
17
引用
收藏
页码：371 / 378
相关论文
共 50 条
  • [31] Decentralized Model Reference Adaptive Control for interconnected robotic systems
    Ben Amor, Rabeb
    Elloumi, Salwa
    2017 18TH INTERNATIONAL CONFERENCE ON SCIENCES AND TECHNIQUES OF AUTOMATIC CONTROL AND COMPUTER ENGINEERING (STA), 2017, : 235 - 240
  • [32] Runtime Invariant Checking in Robotic Systems and Deep Learning Models
    Zhang, Xiangyu
    PROCEEDINGS OF THE 7TH ACM INTERNATIONAL WORKSHOP ON VERIFICATION AND MONITORING AT RUNTIME EXECUTION, VORTEX 2024, 2024, : 2 - 2
  • [33] PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems
    Kate, Sayali
    Chinn, Michael
    Choi, Hongjun
    Zhang, Xiangyu
    Elbaum, Sebastian
    PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 45 - 56
  • [34] CHECKING OF LINEAR CONTROL-SYSTEMS
    BRITOV, GS
    MIRONOVSKIY, LA
    ENGINEERING CYBERNETICS, 1972, 10 (01): : 63 - 70
  • [35] Control flow checking in multitasking systems
    Technical Univ of Budapest, Budapest, Hungary
    Period Polytech Electr Eng, 1 (27-36):
  • [36] Model Checking of Control-User Component-Based Parametrised Systems
    Varekova, Pavlina
    Cerna, Ivana
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 146 - 162
  • [37] Probabilistic Model Checking for Comparative Analysis of Automated Air Traffic Control Systems
    Zhao, Yang
    Rozier, Kristin Y.
    2014 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2014, : 690 - 695
  • [38] Model Checking in Isomorphic Module Systems
    Wang, Weilin
    Su, Rong
    Lin, Liyong
    Gong, Chaohui
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (02) : 728 - 735
  • [39] On model-checking of P systems
    Dang, Z
    Ibarra, OH
    Li, C
    Xie, GY
    UNCONVENTIONAL COMPUTATION, PROCEEDINGS, 2005, 3699 : 82 - 93
  • [40] Quantitative Model Checking of Systems with Degradation
    Barnat, Jiri
    Cerna, Ivana
    Tumova, Jana
    SIXTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2009, : 21 - 30
12345