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 条
  • [1] Visual Servoing for Humanoid Grasping and Manipulation Tasks
    Vahrenkamp, Nikolaus
    Wieland, Steven
    Azad, Pedram
    Gonzalez, David
    Asfour, Tamim
    Dillmann, Ruediger
    2008 8TH IEEE-RAS INTERNATIONAL CONFERENCE ON HUMANOID ROBOTS (HUMANOIDS 2008), 2008, : 413 - 419
  • [2] Specifying and verifying web transactions
    Li, Jing
    Zhu, Huibiao
    He, Jifeng
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 149 - 168
  • [3] Specifying and verifying programs in Spec
    Rustan, K.
    Leino, M.
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 20 - 20
  • [4] Specifying and Verifying Persistent Libraries
    Stefanesco, Leo
    Raad, Azalea
    Vafeiadis, Viktor
    PROGRAMMING LANGUAGES AND SYSTEMS, PT II, ESOP 2024, 2024, 14577 : 185 - 211
  • [5] Distinct Visual Cues Mediate Aperture Shaping for Grasping and Pantomime-Grasping Tasks
    Holmes, Scott A.
    Lohmus, Jennifer
    McKinnon, Shelby
    Mulla, Ali
    Heath, Matthew
    JOURNAL OF MOTOR BEHAVIOR, 2013, 45 (05) : 431 - 439
  • [6] Specifying and verifying parametric processes
    Pawlowski, W
    Paczkowski, P
    Sokolowski, S
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 469 - 481
  • [7] Biologically motivated visual servoing and grasping for real world tasks
    Kragic, D
    Christensen, HI
    IROS 2003: PROCEEDINGS OF THE 2003 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-4, 2003, : 3417 - 3422
  • [8] A perspective on specifying and verifying concurrent modules
    Dinsdale-Young, Thomas
    Pinto, Pedro da Rocha
    Gardner, Philippa
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 98 : 1 - 25
  • [9] Specifying and Verifying Advanced Control Features
    Leavens, Gary T.
    Naumann, David
    Rajan, Hridesh
    Aotani, Tomoyuki
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 80 - 96
  • [10] Specifying Languages and Verifying Programs with K
    Rosu, Grigore
    2013 15TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2013), 2014, : 28 - 31
12345