Planning as search: a quantitative approach
Artificial Intelligence
An autonomous spacecraft agent prototype
AGENTS '97 Proceedings of the first international conference on Autonomous agents
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A hybrid procedural/deductive executive for autonomous spacecraft
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Decomposable negation normal form
Journal of the ACM (JACM)
The Techsat-21 autonomous space science agent
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Encoding domain knowledge for prositional planning
Logic-based artificial intelligence
An Autonomous Spacecraft Agent Prototype
Autonomous Robots - Special issue on autonomous agents
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft
Autonomous Agents and Multi-Agent Systems
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
Monitoring the Execution of an Intelligent Planning System
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Comparing Two Models for Software Debugging
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
DiKe - A Model-Based Diagnosis Kernel and Its Application
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
A plan-based mission control center for autonomous vehicles
Proceedings of the 9th international conference on Intelligent user interfaces
Model-based programming of fault-aware systems
AI Magazine
Automatic recovery from software failure
Communications of the ACM - Self managed systems
The Knowledge Engineering Review
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Causal temporal constraint networks for representing temporal knowledge
Expert Systems with Applications: An International Journal
Component assessment and proactive model for support of dynamic integration in self adaptive system
ACM SIGSOFT Software Engineering Notes
Adventures in Model-based Reasoning
Proceedings of the 2006 conference on Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer
Factored planning: how, when, and when not
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Exploiting spatial and temporal flexibility for plan execution of hybrid, under-actuated systems
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
Journal of Artificial Intelligence Research
Structure and complexity in planning with unary operators
Journal of Artificial Intelligence Research
The fast downward planning system
Journal of Artificial Intelligence Research
The complexity of planning problems with simple causal graphs
Journal of Artificial Intelligence Research
New Islands of tractability of cost-optimal planning
Journal of Artificial Intelligence Research
Planning over chain causal graphs for variables with domains of size 5 Is NP-hard
Journal of Artificial Intelligence Research
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
The role of macros in tractable planning over causal graphs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Model compilation for real-time planning and diagnosis with feedback
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The role of macros in tractable planning
Journal of Artificial Intelligence Research
An LP-based heuristic for optimal planning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Understanding planning tasks: domain complexity and heuristic decomposition
Understanding planning tasks: domain complexity and heuristic decomposition
Synthesis of on-line planning tester for non-deterministic EFSM models
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Analyzing search topology without running any search: on the connection between causal graphs and h+
Journal of Artificial Intelligence Research
The influence of k-dependence on the complexity of planning
Artificial Intelligence
Algorithms and limits for compact plan representations
Journal of Artificial Intelligence Research
Computing upper bounds on lengths of transition sequences
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
PWWM: a personal web workflow methodology
The Personal Web
A refined view of causal graphs and component sizes: SP-closed graph classes and beyond
Journal of Artificial Intelligence Research
Limitations of acyclic causal graphs for planning
Artificial Intelligence
Hi-index | 0.00 |
A new generation of reactive, model-based executives are emerging that make extensive use of componentbased declarative models to analyze anomalous situations and generate novel sequences for the internal control of complex autonomous systems. Burton, a generative, model-based planner offers a core element that bridges the gap between current and target states within the reactive loop. Burton is a sound, complete, reactive planner that generates a single control action of a valid plan in average case constant time, and compensates for anomalies at every step. Burton will not generate irreversible, potentially damaging sequences, except to effect repairs. We present model compilation, causal analysis, and online policy construction methods that are key to Burton's performance.