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 条
  • [1] Statistical Model Checking of Complex Robotic Systems
    Foughali, Mohammed
    Ingrand, Felix
    Seceleanu, Cristina
    MODEL CHECKING SOFTWARE, SPIN 2019, 2019, 11636 : 114 - 134
  • [2] Bounded Model Checking of Hybrid Systems for Control
    Kwon, YoungMin
    Kim, Eunhee
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (11) : 2961 - 2976
  • [3] Model Checking for Robotic Guided Surgery
    Moennich, H.
    Raczkowsky, J.
    Woern, H.
    ELECTRONIC HEALTHCARE, SECOND INTERNATIONAL ICST CONFERENCE, EHEALTH 2009, 2010, 27 : 1 - 4
  • [4] A model checking technique for the verification of fuzzy control systems
    Intrigila, Benedetto
    Magazzeni, Daniele
    Tofani, Alberto
    Melatti, Igor
    Tronci, Enrico
    INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 536 - +
  • [5] Model Checking Longitudinal Control in Vehicle Platoon Systems
    Peng, Cong
    Bonsangue, Marcello M.
    Xu, Zhongwei
    IEEE ACCESS, 2019, 7 : 112015 - 112025
  • [6] Model Checking Flight Control Systems: the Airbus Experience
    Bochot, Thomas
    Virelizier, Pierre
    Waeselynck, Helene
    Wiels, Virginie
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 18 - +
  • [7] Model Hierarchy Predictive Control of Robotic Systems
    Li, He
    Frei, Robert J.
    Wensing, Patrick M.
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2021, 6 (02) : 3373 - 3380
  • [8] Model Checking of Security Properties in Industrial Control Systems (ICS)
    Shrestha, Roshan
    Mehrpouyan, Hoda
    Xu, Dianxiang
    PROCEEDINGS OF THE EIGHTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY (CODASPY'18), 2018, : 164 - 166
  • [9] Implicit model checking of logic-based control systems
    Park, T
    Barton, PI
    AICHE JOURNAL, 1997, 43 (09) : 2246 - 2260
  • [10] Synthesising verified access control systems through model checking
    Zhang, Nan
    Ryan, Mark
    Guelev, Dimitar
    JOURNAL OF COMPUTER SECURITY, 2008, 16 (01) : 1 - 61
12345