Title :
Specification and analysis of real-time problem solvers
Author :
Hamidzadeh, Babak ; Shekhar, Shashi
Author_Institution :
Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
fDate :
8/1/1993 12:00:00 AM
Abstract :
The authors provide a method for the specification of real-time artificial intelligence (AI) problem solvers. Using this method, a formal specification of a real-time problem is presented. In addition, a method for analyzing real-time AI problem solvers is examined using a case study of two real-time problem solvers, namely DYNORAII and RTA* for the real-time path planning problem. New results on worst-case and average-case complexity of the problem, and of the algorithms that solve it, and an experimental evaluation of DYNORAII and RTA* for deadline compliance and response-time minimization are provided
Keywords :
computational complexity; formal specification; path planning; problem solving; real-time systems; DYNORAII; RTA*; average-case complexity; deadline compliance; formal specification; real-time AI problem solvers; real-time artificial intelligence; real-time path planning problem; real-time problem; response-time minimization; Artificial intelligence; Control systems; Delay; Formal specifications; Joining processes; Path planning; Problem-solving; Rivers; State-space methods; Time factors;
Journal_Title :
Software Engineering, IEEE Transactions on
