Eugenia Shkel, Nicola J. Ferrier  Home/Search
Context
Related
| wisc.edu/papers/ijrr1.ps wisc.edu/people/../papers/ijrr1.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. 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 in order to guarantee safe and robust system... (Update)
Similar documents (at the sentence level):
23.0%: Specifying and Verifying Visual Grasping Tasks - Shkel, Ferrier (1997) (Correct)
Active bibliography (related documents): More All
3.5: Specifying and Verifying Robotic Tasks - Shkel, Ferrier (Correct)
1.3: Learning Open-Loop From Closed-Loop Control - Ferrier, Kostuch (1997) (Correct)
0.4: Achieving a Fitts Law Relationship for Visual Guided Reaching - Ferrier (1998) (Correct)
Similar documents based on text: More All
0.1: .1 Directed and Attentive Vision - Humans And Other (Correct)
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)
BibTeX entry: (Update)
@misc{ shkel-specifying,
author = "Eugenia Shkel and Nicola J. Ferrier",
title = "Specifying and Verifying Robotic Tasks",
url = "citeseer.ist.psu.edu/article/shkel97specifying.html" }
Citations (may not include all citations):444 Towards a general theory of action and time (context) - Allen - 1984
308 The control of discrete event systems (context) - Ramadge, Wonham - 1993
232 Hybrid automata: An algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
125 A temporal logic for multilevel reasoning about hardware (context) - Moszkowski - 1985
103 Specifying and verifying requirements of real-time systems (context) - Ravn, Rischel et al. - 1993
102 Modeling and verification of time dependent systems using ti.. (context) - Berthomieu, Diaz - 1991
94 Hybrid models for motion control systems (context) - Brockett - 1993
63 Time-optimal control of robotic manipulators along specified.. (context) - Bobrow, Dubowsky et al. - 1985
62 Models for hybrid systems: Automata (context) - Nerode, Kohn - 1993
52 An extended duration calculus for hybrid real-time systems (context) - Chaochen, Ravn et al. - 1993
52 Specification and verification of concurrent programs by 8-a.. (context) - Manna, Pnueli - 1987
32 A calculus of durations (context) - Chaochen, Hoare et al. - 1991
30 A dynamical simulation facility for hybrid systems (context) - Back, Guckenheimer et al. - 1993
28 Differential automata and their discrete simulators (context) - Tavernini - 1987
25 Constraint nets: a semantic model for hybrid dynamic systems - Zhang, Mackworth - 1995
24 Stable adaptive teleoperation (context) - Niemeyer, Slotine - 1991
11 Hybrid control of a robot - a case study (context) - Ravn, Rischel - 1995
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 Efficient algorithm for time-optimal control of a two-link m.. (context) - Meier, Bryson - 1990
7 Inductively inferring valid logical models of continuous-sta.. (context) - Lemmon, Antsaklis - 1995
7 Experiments in robotic catching (context) - Hove, Slotine - 1991
7 Specification of embedded real-time systems (context) - Skakkebaek, Ravn et al. - 1992
5 Minimum-time along the path for a mechanical arm (context) - Luh, Walker - 1977
5 Optimal path planning for mechanical manipulators (context) - Luh, Lin - 1981
5 Fast algorithms for near-minimum-time control of robot manip.. (context) - Yang, Slotine - 1994
4 Time-Delay Systems: analysis (context) - Malek-Zavarei, Jamshidi - 1987
4 Near-time optimal robot motion planning for on-line applicat.. (context) - Croft, Benhabib et al. - 1995
3 Vibration of Mechanical and Structural Systems (context) - James, Smith et al. - 1989
3 A design and implementation methodology for real-time contro.. (context) - Auslander, Huang et al. - 1995
3 Open-loop minimum-time control of manipulators and its appli.. (context) - Shin, McKay - 1984
3 the role of theory in the control of autonomous mobile robot (context) - Gat - 1995
Documents on the same site (http://mechatron.me.wisc.edu/publications.html): More
Specifying and Verifying Visual Grasping 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