Eugenia Shkel, Nicola J. Ferrier  Home/Search
Context Related
| wisc.edu/papers/icra97.ps wisc.edu/people/../papers/icra97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisc.edu/publications (more) From: wisc.edu/publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an approach to the specification of requirements, and verification of design, for a robot or other intelligent system. The approach is 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... (Update)
Context of citations to this paper: More
.... of the controller programs has led to systems with chaotic behaviour, because performance is very sensitive to initial conditions [SF97] To overcome these problems developers in robotics should consider integration of the components during the design. Moreover when...
Cited by: More
Specification and Verification of Complex Robotics Tasks - Jensen (1998) (Correct)
Similar documents (at the sentence level):
42.8%: Specifying and Verifying Robotic Tasks - Shkel, Ferrier (1997) (Correct)
Active bibliography (related documents): More All
0.2: Decentralized, Modular Real-Time Control for.. - Yook, Tilbury.. (Correct)
0.1: A Tutorial Introduction to Supervisory Hybrid Systems - Lemmon, He, Markovsky (1998) (Correct)
0.1: Logic-Based Switching Algorithms in Control - Hespanha (1998) (Correct)
Similar documents based on text: More All
0.1: Determining Surface Orientation From Fixated Eye Position and.. - Ferrier (Correct)
0.1: Active Control of Resolution for Stable Visual Tracking - Nicola Ferrier (Correct)
0.1: .1 Directed and Attentive Vision - Humans And Other (Correct)
BibTeX entry: (Update)
E. Shkel and N. J. Ferrier. Specifying and verifying visual grasping tasks. In Proceedings of the http://citeseer.ist.psu.edu/shkel97specifying.html More
@misc{ shkel-specifying,
author = "E. Shkel and N. Ferrier",
title = "Specifying and verifying visual grasping tasks",
text = "E. Shkel and N. J. Ferrier. Specifying and verifying visual grasping tasks.
In Proceedings of the",
url = "citeseer.ist.psu.edu/shkel97specifying.html" }
Citations (may not include all citations):444 Towards a general theory of action and time (context) - Allen - 1984 ACM DBLP
308 The control of discrete event systems (context) - Ramadge, Wonham - 1993
232 Hybrid automata: An algorithmic approach to the specificatio.. - Alur - 1993 DBLP
125 A temporal logic for multilevel reasoning about hardware (context) - Moszkowski - 1985
103 Specifying and verifying requirements of real-time systems (context) - Ravn - 1993 ACM DBLP
102 Modeling and verification of time dependent systems using ti.. (context) - Berthomieu, Diaz - 1991 ACM DBLP
94 Hybrid models for motion control systems (context) - Brockett - 1993
62 Models for hybrid systems: Automata (context) - Nerode, Kohn - 1993
52 Specification and verification of concurrent programs by 8-a.. (context) - Manna, Pnueli - 1987
52 Extended duration calculus for hybrid real-time systems (context) - Chaochen - 1993
32 A calculus of durations (context) - Chaochen, Hoare et al. - 1991
28 Differential automata and their discrete simulators (context) - Tavernini - 1987
25 Constraint nets: a semantic model for hybrid dynamic systems - Zhang, Mackworth - 1995 DBLP
24 Stable adaptive teleoperation (context) - Niemeyer, Slotine - 1991
11 Hybrid control of a robot - a case study (context) - Ravn - 1995 ACM DBLP
8 Manipulation control with dynamic tactile sensing (context) - Cutkosky - 1993
8 Visual grasping with long delay time of a free floating obje.. (context) - Fagerer, Dickmanns et al. - 1994
7 Experiments in robotic catching (context) - Hove, Slotine - 1991
7 Specification of embedded real-time systems (context) - Skakkebaek - 1992
7 Inductively inferring valid logical models of continuous-sta.. (context) - Lemmon, Antsaklis - 1995
4 Time-Delay Systems: analysis (context) - Malek-Zavarei, Jamshidi - 1987
3 A Design and Implementation Methodology for Real-Time Contro.. (context) - Auslander - 1995
3 Vibration of Mechanical and Structural Systems (context) - James - 1989
Documents on the same site (http://mechatron.me.wisc.edu/publications.html): More
Specifying and Verifying Robotic Tasks - Shkel, Ferrier (1997) (Correct)
Active Control of Resolution for Stable Visual Tracking - Nicola Ferrier (Correct)
Achieving a Fitts Law Relationship for Visual Guided Reaching - Ferrier (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC