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 条
  • [21] Statistical model checking of cyber-physical systems control software
    Shan, Li-Jun
    Zhou, Xing-She
    Wang, Yu-Ying
    Zhao, Lei
    Wan, Li-Jing
    Qiao, Lei
    Cehn, Jian-Xin
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 380 - 389
  • [22] Application of symbolic and bounded model checking to the verification of logic control systems
    Loeis, Kingliana
    Younis, Mohammed Bani
    Frey, Georg
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 247 - 250
  • [23] Model checking safety properties of servo-loop control systems
    Johnson, ME
    INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2002, : 45 - 50
  • [24] Security Verification of Industrial Control Systems using Partial Model Checking
    Kulik, Tomas
    Boudjadar, Jalil
    Tran-Jorgensen, Peter W. V.
    2020 IEEE/ACM 8TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2020, : 98 - 108
  • [25] Feedback Control for Statistical Model Checking of Cyber-Physical Systems
    Kalajdzic, K.
    Jegourel, C.
    Lukina, A.
    Bartocci, E.
    Legay, A.
    Smolka, S. A.
    Grosu, R.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 46 - 61
  • [26] Optimizing robotic team performance with probabilistic model checking
    Chaki, Sagar
    Giampapa, Joseph
    Kyle, David
    Lehoczky, John
    1600, Springer Verlag (8810): : 134 - 145
  • [27] Assuring safety in air traffic control systems with argumentation and model checking
    Alejandro Gomez, Sergio
    Goron, Anca
    Groza, Adrian
    Letia, Loan Alfred
    EXPERT SYSTEMS WITH APPLICATIONS, 2016, 44 : 367 - 385
  • [28] Model Checking Hybrid Systems
    Clarke, Edmund M.
    Gao, Sicun
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 385 - 386
  • [29] Optimizing Robotic Team Performance with Probabilistic Model Checking
    Chaki, Sagar
    Giampapa, Joseph
    Kyle, David
    Lehoczky, John
    SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR 2014), 2014, 8810 : 134 - 145
  • [30] Model checking multiagent systems
    Benerecetti, M
    Giunchiglia, F
    Serafini, L
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 401 - 423
12345