Reading Group :: Diagnosis and Planning in Hybrid Systems

Martin Fränzle, Christian Herde, and Tino Teige. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. ---- This is HySAT related.

Thomas A. Henzinger. The theory of hybrid automata.

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, and Pravin Varaiya. What's decidable about hybrid automata?

Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.

John Lygeros. Lecture Notes on Hybrid Systems.

Stephen Boyd, and Lieven Vandenberghe. Convex Optimisation/Optimization (NOTE: Topics from...).

Justin A. Boyan, Michael L. Littman. Exact solutions to time-dependent MDPs.

Zhengzhu Feng, Richard Dearden, Nicolas Meuleau, and Richard Washington. Dynamic Programming for Structured Continuous Markov Decision Problems.

Emmanuel Rachelson, Gauthier Quesnel, Frederick Garcia, Patrick Fabiani. A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes.

Branislav Kveton, Milos Hauskrecht, and Carlos Guestrin. Solving Factored MDPs with Hybrid State and Action Variables. Journal of Artificial Intelligence Research 27 (2006) 153-201 Submitted 05/06; published 10/06.

Håkan L. S. Younes, and Reid G. Simmons. Policy Generation for Continuous-time Stochastic Domains with Concurrency.

T. Moor, J. Davoren, and B. Anderson. Robust hybrid control from a behavioural perspective.

Mausam Mausam, Piergiorgio Bertoli, and Daniel S. Weld. A Hybridized Planner for Stochastic Domains.

Event Links:

UAI-08 workshop on Planning to Learn.

Papers/Publications that have been recommended

Juhan Ernits (of Birmingham)

Thomas A. Henzinger. The theory of hybrid automata.

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, and Pravin Varaiya. What's decidable about hybrid automata?

Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.

John Lygeros. Lecture Notes on Hybrid Systems.

Richard Dearden (of Birmingham)

Craig Boutilier, Richard Dearden and Moisés Goldszmidt. Stochastic Dynamic Programming with Factored Representations. Artificial Intelligence Journal 121 (2000) 49 107.

John Bresina, Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith and Rich Washington. Planning under Continuous Time and Resource Uncertainty: A Challenge for AI. In Proceedings of the 18th Conference on Uncertainty in Artificial Intelligence, 2002.

Mohan Sridharan, Jeremy Wyatt and Richard Dearden. HiPPo: Hierarchical POMDPs for Planning Information Processing and Sensing Actions on a Robot. In The International Conference on Automated Planning and Scheduling ICAPS 2008, Sydney, Australia, September 14-18, 2008.

Michael Brenner (of Freiburg)

Mausam, Daniel S. Weld. "Planning with Durative Actions in Stochastic Domains". Journal of Artificial Intelligence Research (JAIR). Volume 31 (2008) 33-82.

Mausam, Emmanuelle Benazara, Ronen Brafman, Nicolas Meuleau, Eric Hansen. "Planning with Continuous Resources in Stochastic Domains". International Joint Conference on Artificial Intelligence (IJCAI). Edinburgh, Scotland. August 2005.

Michael Brenner and Bernhard Nebel.
Continual Planning and Acting in Dynamic Multiagent Environments.
In Proceedings of the International Symposium on Practical Cognitive Agents and Robots. Perth, Australia 2006.
(PDF)

Jeremy Wyatt (of Birmingham)

Mohan Sridharan *, Richard Dearden #, and Jeremy Wyatt #, Planning to See: Hierarchical POMDPs for Planning Visual Actions on a Robot. To be submitted to JAIR-08.

* – Texas Tech University

# – University of Birmingham

Ksenia Shubina and John Tsotsos. Visual search for an Object in a 3D Environment using a Mobile Robot. Techrepor, 2008.

Murray Shanahan and David Randell. A Logic-Based Formulation of Active Visual Perception. Department of Electrical and Electronic Engineering, Imperial College London, Exhibition Road, London SW7 2BT, England. m.shanahan@imperial.ac.uk, d.randell@imperial.ac.uk

Craig A. Knoblock. Planning, executing, sensing, and replanning for information gathering}, In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. 1995, pages = {1686—1693}.

Daniel S. Weld and Corin R. Anderson and David E. Smith. Extending graphplan to handle uncertainty and sensing actions, In Proc. AAAI-98, 1998, 897—904, AAAI Press.

Damien Duff (of Birmingham)

Machine Discovery of Effective Admissible Heuristics

Armand E. Prieditis

Division of Computer Science

University of California

Davis, CA 95616

(prieditis@iris.\icdavis.edu)

\url{http://dli.iiit.ac.in/ijcai/IJCAI-91-VOL2/PDF/017.pdf}

Papers that I would Recommend to CogX Planners

Commentary on Replanning

I. Little and S. Thiébaux. Probabilistic Planning vs Replanning. Workshop on International Planning Competition: Past, Present and Future (ICAPS). Providence, Rhode Island, USA, September 2007. [pdf]

Sungwook Yoon, Alan Fern and Robert Givan . FF-Replan: A Baseline for Probabilistic Planning. To appear ICAPS '07 <pdf> 

Sungwook Yoon, Alan Fern, Subbarao Kambhampati and Robert Givan . Probabilistic Planning via Determinization in Hindsight. To appear AAAI '08. <pdf>

Bayesian Inference for Partial Observability (+ Approximation)

@INPROCEEDINGS{Cassandra96actingunder,
    author = {Anthony R. Cassandra and Leslie Pack Kaelbling and James A. Kurien},
    title = {Acting under uncertainty: Discrete Bayesian models for mobile-robot navigation},
    booktitle = {In Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems},
    year = {1996},
    pages = {963--972}
}

Plangraph for The Probabilistic Case

% pGraphplan

@inproceedings{blum:langford:99,

author = "Avrim Blum and John Langford",

title = "Probabilistic Planning in the Graphplan Framework",

booktitle = "{ECP}",

pages = "319-332",

year = "1999"}

Hybridisation (Hybridization)

@INPROCEEDINGS{Rachelson-ECAI08,
  author = {E. Rachelson and G. Quesnel and F. Garcia and P. Fabiani},
  title = {A Simulation-Based Approach for Solving Temporal Markov Problems},
  booktitle = {{E}uropean {C}onference on {A}rtificial {I}ntelligence},
  year = {2008}
}

@INPROCEEDINGS{Boyan00exactsolutions,
   author = {Justin A. Boyan and Michael L. Littman},
   title = {Exact solutions to time-dependent MDPs},
   booktitle = {In Advances in Neural Information Processing Systems 13},
   year = {2000},
   pages = {1026--1032},
   publisher = {MIT Press}}

Abstraction Refinement

@inproceedings{conf/uai/Hansen08,

title = {Sparse Stochastic Finite-State Controllers for POMDPs.},
author = {Eric A. Hansen},
booktitle = {UAI},
crossref = {conf/uai/2008},
editor = {David A. McAllester and Petri Myllymäki},
pages = {256-263},
publisher = {AUAI Press},
url = {http://dblp.uni-trier.de/db/conf/uai/uai2008.html#Hansen08},
year = {2008},
description = {dblp},
date = {2008-11-03}, ee = {http://uai2008.cs.helsinki.fi/UAI_camera_ready/hansen.pdf}, isbn = {0-9749039-4-9},
keywords = {dblp }

}

Optimal Additive Composition of Abstraction-based Admissible Heuristics [pdf,technical report, slides]
Michael Katz, Carmel Domshlak
ICAPS-08. 18th International Conference on Automated Planning and Scheduling, Sydney, Australia, September 2008.

Malte Helmert, Patrik Haslum and Jörg Hoffmann.
Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), pp. 1547-1550. AAAI Press 2008.
(Show abstract) (Hide abstract) (PDF) (slides; PDF)

Malte Helmert, Patrik Haslum and Jörg Hoffmann.
Flexible Abstraction Heuristics for Optimal Sequential Planning.
In Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007), pp. 176-183. AAAI Press 2007.
(Show abstract) (Hide abstract) (PDF)

Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet and Sven Koenig.
Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning.
In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), pp. 1007-1012. AAAI Press 2007.
(Show abstract) (Hide abstract) (PDF) (PS.GZ)

Factoring

@INPROCEEDINGS{Guestrin02distributedplanning,
    author = {Carlos Guestrin and Geoffrey Gordon},
    title = {Distributed planning in hierarchical factored MDPs},
    booktitle = {In Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence},
    year = {2002},
    pages = {2002}
}

Factoring and Hybridisation (Hybridization)

Branislav Kveton, Milos Hauskrecht, and Carlos Guestrin. Solving Factored MDPs with Hybrid State and Action Variables. Journal of Artificial Intelligence Research 27, pages 153-201, October 2006.

[Paper]

Branislav Kveton, Milos Hauskrecht, and Carlos Guestrin. Solving Factored MDPs with Hybrid State and Action Variables. Journal of Artificial Intelligence Research 27, pages 153-201, October 2006.

[Paper]

Branislav Kveton and Milos Hauskrecht. An MCMC Approach to Solving Hybrid Factored MDPs. In Proceedings of the 19th International Joint Conference on Artificial Intelligence, pages 1346-1351, Edinburgh, Scotland, August 2005.

[Paper]

Unquantified (and Loosely Quantified) Uncertainty (Qualitative)

Felipe W. Trevizan, Fabio G. Cozman, Leliane N. de Barros. Planning under Risk and Knightian Uncertainty, International Joint Conference on Artificial Intelligence, pp. 2023-2028, 2007. Preprint available.

@ARTICLE{Givan00bounded-parametermarkov,
    author = {Robert Givan and Sonia Leach and Thomas Dean},
    title = {Bounded-Parameter Markov Decision Processes},
    journal = {Artificial Intelligence},
    year = {2000},
    volume = {122},
    pages = {71--109}
}

– Luisa Gard was on stage for “It's a Fine Day” –