Multiple-access protocols and time-constrained communication
ACM Computing Surveys (CSUR)
Depth-first iterative-deepening: an optimal admissible tree search
Artificial Intelligence
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Guaranteed response times in a distributed hard-real-time environment
IEEE Transactions on Software Engineering
On Scheduling Tasks with a Quick Recovery from Failure
IEEE Transactions on Computers
Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
Virtual Time CSMA Protocols for Hard Real-Time Communication
IEEE Transactions on Software Engineering
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Principles of artificial intelligence
Principles of artificial intelligence
Adding time to synchronous process communications
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Channel characteristics in local-area hard real-time systems
Computer Networks and ISDN Systems
Search: A survey of recent results
Exploring artificial intelligence
Exploring artificial intelligence
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Decision-Theoretic Control of Reasoning: General Theory and an
Decision-Theoretic Control of Reasoning: General Theory and an
To Schedule or to Execute: Decision Support and PerformanceImplications
Real-Time Systems
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
A Dynamic Scheduling Benchmark: Design, Implementation and Performance Evaluation
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Deadline compliance, predictability, and on-line optimization in real-time problem solving
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Can real-time search algorithms meet deadlines?
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
| Hi-index | 0.00 |
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.