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 条
  • [31] Specifying and Verifying Information Flow Control in SELinux Configurations
    Ceragioli, Lorenzo
    Galletta, Letterio
    Degano, Pierpaolo
    Basin, David
    ACM TRANSACTIONS ON PRIVACY AND SECURITY, 2024, 27 (04)
  • [32] Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
    Dong, Jin Song
    Sun, Jing
    Sun, Jun
    Taguchi, Kenji
    Zhang, Xian
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 318 - +
  • [33] A Practical Approach to Specifying and Verifying Mobile Agent Algorithms
    Li, Xuhui
    Peng, Zhiyong
    Cao, Jiannong
    INTERNATIONAL JOURNAL OF PERVASIVE COMPUTING AND COMMUNICATIONS, 2005, 1 (02) : 113 - +
  • [34] Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory
    Cepeda, Diego
    Chowdhury, Sakib
    Golab, Wojciech
    PROCEEDINGS OF THE 2019 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '19), 2019, : 549 - 549
  • [35] Formally specifying and verifying real-time systems
    Kemmerer, RA
    Kolano, PZ
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 112 - 120
  • [36] FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq
    Letan, Thomas
    Regis-Gianas, Yann
    CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 32 - 46
  • [37] Specifying and verifying hardware for tamper-resistant software
    Lie, D
    Mitchell, J
    Thekkath, CA
    Horowitz, M
    2003 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2003, : 166 - 177
  • [38] Specifying and verifying imprecise sequential datapaths by arithmetic transforms
    Radecka, K
    Zilic, Z
    IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 128 - 131
  • [39] Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents
    Finkbeiner, Bernd
    Seidl, Helmut
    Mueller, Christian
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 157 - 173
  • [40] Stiffness analysis for grasping tasks
    Carbone, Giuseppe (carbone@unicas.it), 1600, Kluwer Academic Publishers (10):
12345