Introduction to algorithms
Artificial Intelligence - Special issue on knowledge representation
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Managing Temporal Uncertainty Through Waypoint Controllability
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Execution of Temporal Plans with Uncertainty
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Execution-Time Plan Management for a Cognitive Orthotic System
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Computing the Envelope for Stepwise-Constant Resource Allocations
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Distributing the control of a temporal network among multiple agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A Zero-Space algorithm for Negative Cost Cycle Detection in networks
Journal of Discrete Algorithms
A theoretic and practical framework for scheduling in a stochastic environment
Journal of Scheduling
Solving Fuzzy PERT Using Gradual Real Numbers
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Interleaving temporal planning and execution in robotics domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Low-cost addition of preferences to DTPs and TCSPs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Exploration of the robustness of plans
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Temporal dynamic controllability revisited
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
On the partial observability of temporal uncertainty
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
Proactive algorithms for job shop scheduling with probabilistic durations
Journal of Artificial Intelligence Research
A general framework for scheduling in a stochastic environment
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generalizing temporal controllability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Temporal reasoning with preferences and uncertainty
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Minimizing a makespan under uncertainty
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Disjunctive temporal planning with uncertainty
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Strengthening schedules through uncertainty analysis
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A precedence constraint posting approach for the RCPSP with time lags and variable durations
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Flexible timeline-based plan verification
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Constraint based scheduling to deal with uncertain durations and self-timed execution
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
TGA-based controllers for flexible plan execution
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
A structural characterization of temporal dynamic controllability
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Flood disaster mitigation: a real-world challenge problem for multi-agent unmanned surface vehicles
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Drake: an efficient executive for temporal plans with choice
Journal of Artificial Intelligence Research
Flexible Plan Verification: Feasibility Results
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Solving temporal problems using SMT: strong controllability
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Flexibility and decoupling in the simple temporal problem
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Distributed reasoning for multiagent simple temporal problems
Journal of Artificial Intelligence Research
Group planning with time constraints
Annals of Mathematics and Artificial Intelligence
Robotics and artificial intelligence: A perspective on deliberation functions
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many applications involve processes of uncertain duration whose timing cannot be controlled by the execution agent. These cases require more complex notions of temporal feasibility. In previous work, various "controllability" properties such as Weak, Strong, and Dynamic Controllability have been defined. The most interesting and useful Controllability property, the Dynamic one, has ironically proved to be the most difficult to analyze. In this paper, we resolve the complexity issue for Dynamic Controllability. Unexpectedly, the problem turns out to be tractable. We also show how to efficiently execute networks whose status has been verified.