Model compilation for real-time planning and diagnosis with feedback

Authors:
Anthony Barrett
Affiliations:
Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 7
Cited 5

An algorithm for probabilistic least-commitment planning

AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Conformant Planning via Model Checking

ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
A compiler for deterministic, decomposable negation normal form

Eighteenth national conference on Artificial intelligence
A reactive planner for a model-based executive

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Model-based diagnosis using structured system descriptions

Journal of Artificial Intelligence Research
A knowledge compilation map

Journal of Artificial Intelligence Research
A model-based approach to reactive self-configuring systems

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

Efficient Genome Wide Tagging by Reduction to SAT

WABI '08 Proceedings of the 8th international workshop on Algorithms in Bioinformatics
DNNF-based belief state estimation

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
New compilation languages based on structured decomposability

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
The language of search

Journal of Artificial Intelligence Research
A model-based executive for commanding robot teams

ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes MEXEC, an implemented micro executive that compiles a device model that can have feedback into a structure for subsequent evaluation. This system computes both the most likely current device mode from n sets of sensor measurements and the n-1 step reconfiguration plan that is most likely to result in reaching a target mode - if such a plan exists. A user tunes the system by increasing n to improve system capability at the cost of real-time performance.