Paper Info
Title
A formal framework for design and verification of robotic agents
Abstract
Intelligent robots are autonomous and are used in environments where human interaction is hazardous or impossible. Verification of software for intelligent robots is mandatory because in situations where intelligent robots are employed online, error recovery is almost impossible. In this paper, we provide a formal framework for offline verification of software used in robotic applications. The specification enables one to design a robotic agent which represents a class of real-life robots. Forward and inverse kinematic operations of the robotic agent are specified using the specification for rigid solids and their primitive operations. An object-oriented design of the robotic agent derived from the specifications is given. We use the specification technique VDM for our purpose.
Year
DOI
Venue
1993
10.1007/BF01257994
Journal of Intelligent and Robotic Systems
Keywords
Field
DocType
Formal specification,robot kinematics,VDM,intelligent systems,verification
Kinematics,Intelligent decision support system,Intelligent verification,Computer science,Robot kinematics,Formal specification,Control engineering,Software,Formal methods,Robot
Journal
Volume
Issue
ISSN
8
2
0921-0296
Citations 
PageRank 
References 
0
0.34
3
Authors
3
Name
Order
Citations
PageRank
Kasilingam Periyasamy151.97
Vangalur S. Alagar216439.10
Tien D. Bui357341.38