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 条
  • [21] Formal methods for specifying, validating, and verifying requirements
    Heitmeyer, Constance L.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 607 - 618
  • [22] A framework for specifying and verifying the behaviour of open systems
    Bracciali, A
    Brogi, A
    Turini, F
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2005, 63 (02): : 215 - 240
  • [23] Towards Formally Specifying and Verifying Transactional Memory
    Doherty, Simon
    Groves, Lindsay
    Luchangco, Victor
    Moir, Mark
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 259 : 245 - 261
  • [24] Specifying and Verifying Business Processes Using PPML
    Regis, German
    Aguirre, Nazareno
    Maibaum, Tom
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 737 - +
  • [25] Modelling, specifying, and verifying message passing systems
    Bollig, B
    Leucker, M
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 240 - 247
  • [26] Towards formally specifying and verifying transactional memory
    Doherty, Simon
    Groves, Lindsay
    Luchangco, Victor
    Moir, Mark
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (05) : 769 - 799
  • [27] Specifying and Verifying Concurrent C Programs with TLA
    Methni, Amira
    Lemerre, Matthieu
    Ben Hedia, Belgacem
    Haddad, Serge
    Barkaoui, Kamel
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 206 - 222
  • [28] An RGB-D Visual Application for Error Detection in Robot Grasping Tasks
    Martinez-Martin, Ester
    Fischinger, David
    Vincze, Markus
    del Pobil, Angel P.
    INTELLIGENT AUTONOMOUS SYSTEMS 14, 2017, 531 : 243 - 254
  • [29] Specifying and Verifying CRDT Protocols Using TLA+
    Ji Y.
    Wei H.-F.
    Huang Y.
    Lü J.
    Ruan Jian Xue Bao/Journal of Software, 2020, 31 (05): : 1332 - 1352
  • [30] Specifying and verifying interaction protocols in a temporal action logic
    Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria, Italy
    不详
    不详
    J. Appl. Logic, 2007, 2 (214-234):
12345