Specifying and verifying visual grasping tasks

被引：0
|
作者：
Shkel, E
Ferrier, NJ
机构：
来源：
1997 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION - PROCEEDINGS, VOLS 1-4 | 1997年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents an approach to the specification of requirements, and verification of design, for a robot or other intelligent system. The approach if demonstrated on a typical robotic task - visual grasping. Formal mathematical reasoning is used to show that a design conforms to the system requirements. Typically the requirements define safety and functionality constraints on the system and components. Formal analysis allows the system designer to evaluate the system behavior and verify the system parameters that guarantee safe and robust system performance.
引用
收藏
页码：688 / 694
页数：7
相关论文
共 50 条
  • [41] SPECIFYING AND VERIFYING REQUIREMENTS OF REAL-TIME SYSTEMS
    RAVN, AP
    RISCHEL, H
    HANSEN, KM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 41 - 55
  • [42] A neural model for visual-tactile-motor integration in robotic reaching and grasping tasks
    López-Coronado, J
    Pedreño-Molina, JL
    Guerrero-González, A
    Gorce, P
    ROBOTICA, 2002, 20 : 23 - 31
  • [43] A neural model for visual-tactile-motor integration in robotic reaching and grasping tasks
    López-Coronado, J.
    Pedreño-Molina, J.L.
    Guerrero-González, A.
    Gorce, P.
    Robotica, 2002, 20 (01) : 23 - 31
  • [44] The use of conditional grammars for specifying and verifying communication protocols
    Matousek, P
    MODELLING AND SIMULATION 2001, 2001, : 59 - 62
  • [45] Specifying and verifying a MAS:: The Robots on Mars case study
    Mermet, Bruno
    Simon, Gaele
    Zanuttini, Bruno
    Saval, Arnaud
    PROGRAMMING MULTI-AGENT SYSTEMS, 2008, 4908 : 172 - 189
  • [46] CellScope: Automatically Specifying and Verifying Cellular Network Protocols
    Yu, Yinbo
    Li, You
    Hou, Kaiyu
    Chen, Yan
    Zhou, Hai
    Yang, Jianfeng
    PROCEEDINGS OF THE 2019 ACM SIGCOMM CONFERENCE POSTERS AND DEMOS (SIGCOMM '19), 2019, : 21 - 23
  • [47] Specifying and Verifying Higher-order Rust Iterators
    Denis, Xavier
    Jourdan, Jacques-Henri
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, 2023, 13994 : 93 - 110
  • [48] A framework for specifying and monitoring user tasks
    Bailey, BP
    Adarnczyk, PD
    Chang, TY
    Chilson, NA
    COMPUTERS IN HUMAN BEHAVIOR, 2006, 22 (04) : 709 - 732
  • [49] Freehand Grasping: An Analysis of Grasping for Docking Tasks in Virtual Reality
    Blaga, Andreea Dalia
    Frutos-Pascual, Maite
    Creed, Chris
    Williams, Ian
    2021 IEEE VIRTUAL REALITY AND 3D USER INTERFACES (VR), 2021, : 749 - 758
  • [50] Specifying and verifying a broadcast and a multicast snooping cache coherence protocol
    Sorin, DJ
    Plakal, M
    Condon, AE
    Hill, MD
    Martin, MMK
    Wood, DA
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2002, 13 (06) : 556 - 578
12345