Bibliography

Allen KoomenAllen Koomen1983

Allen, J. Koomen, J. A. 1983.
Planning in a Temporal World Model
In Proceedings of the Eigth International Joint Conference on Artificial Intelligence, 741-747.

Alur DillAlur Dill1994

Alur, R. Dill, D. L. 1994.
A Theory of Timed Automata
Theoretical Computer Science, 126, 183-235.

AndroulakisAndroulakis2001

Androulakis, I. P. 2001.
MINLP: Branch and Bound Methods
In Floudas, C. A. Pardalos, P. M., Encyclopaedia of Optimisation, 3, 325-331. Kluwer Academic.

Aylett, Soutter, Petley, Chung, EdwardsAylett et al.2001

Aylett, R., Soutter, J., Petley, G., Chung, P., Edwards, D. 2001.
Planning plant operating procedures for a chemical plant
Engineering Applications of Artificial Intelligence, 14(3).

BacchusBacchus2003

Bacchus, F. 2003.
The power of modeling--a response to PDDL2.1
Journal of AI Research, 20, 125-132.

Beasley, Krishnamoorthy, Sharaiha, AbramsonBeasley et al.2000

Beasley, J., Krishnamoorthy, M., Sharaiha, Y., Abramson, D. 2000.
Scheduling Aircraft Landings: The Static Case
Transportation Science, 34(2), 180-197.

Behrmann, Larsen, RasmussenBehrmann et al.2005

Behrmann, G., Larsen, K., Rasmussen, J. 2005.
Optimal Scheduling Using Priced Timed Automata
SIGMETRICS Perform. Eval. Rev., 32(4), 34-40.

Benazera, Brafman, Meuleau, Mausam, HansenBenazera et al.2005

Benazera, E., Brafman, R., Meuleau, N., Mausam, Hansen, E. A. 2005.
An AO* Algorithm for Planning with Continuous Resources
In Workshop on Planning under Uncertainty for Autonomous Systems, associated with the International Conference on AI Planning and Scheduling (ICAPS).

BendersBenders1962

Benders, J. F. 1962.
Partitioning Procedures for Solving Mixed-Variables Programming Problems
Numerische Mathematik, 4, 238-252.

Blake, Bridges, Chester, Clemmet, Hall, Hannington, Hurst, Johnson, Lewis, Malin, Morison, Northey, Pullan, Rennie, Richter, Rothery, Shaughnessy, Sims, Smith, Townend, WaughBlake et al.2004

Blake, O., Bridges, J., Chester, E., Clemmet, J., Hall, S., Hannington, M., Hurst, S., Johnson, G., Lewis, S., Malin, M., Morison, I., Northey, D., Pullan, D., Rennie, G., Richter, L., Rothery, D., Shaughnessy, B., Sims, M., Smith, A., Townend, M., Waugh, L. 2004.
Beagle2 Mars: Mission Report.
Lander Operations Control Centre, National Space Centre, University of Leicester.

BoddyBoddy2003

Boddy, M. 2003.
Imperfect match: PDDL2. and real applications
Journal of AI Research, 20, 133-137.

Boddy JohnsonBoddy Johnson2002

Boddy, M. Johnson, D. 2002.
A new method for the solution of large systems of continuous constraints
In Proceedings of 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS-02).

Boddy JohnsonBoddy Johnson2004

Boddy, M. Johnson, D. 2004.
Integrated planning and scheduling for petroleum refinery operations
In Proceedings of ICAPS Workshop on Integrating Planning into Scheduling (WIPIS).

de Kleer Brownde Kleer Brown1984

de Kleer, J. Brown, J. S. 1984.
A Qualitative Physics based on Confluences
Artificial Intelligence, 24, 7-83.

Dechter, Meiri, PearlDechter et al.1991

Dechter, R., Meiri, I., Pearl, J. 1991.
Temporal constraint networks
Artificial Intelligence, 49.

DierksDierks2005

Dierks, H. 2005.
Finding Optimal Plans for Domains with Restricted Continuous Effects with UPPAAL-cora
In First Workshop on Validation and Verification for Planning, ICAPS-05.

EdelkampEdelkamp2003

Edelkamp, S. 2003.
Promela Planning
In Proceedings of 10th International SPIN Workshop on Model Checking of Software, 197-212.

ForbusForbus1984

Forbus, K. 1984.
Qualitative Process Theory
Artificial Intelligence, 24, 85-168.

Fox, Howey, LongFox et al.2005

Fox, M., Howey, R., Long, D. 2005.
Exploration of the Robustness of Plans
In Workshop on Verification and Validation of Model-based Planning and Scheduling Systems, associated with the International Conference on AI Planning and Scheduling (ICAPS)).

Fox, Howey, LongFox et al.2006

Fox, M., Howey, R., Long, D. 2006.
Exploration of the Robustness of Plans
In Proceedings of The 21st National Conference on Artificial Intelligence (AAAI-06).

Fox LongFox Long2003

Fox, M. Long, D. 2003.
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
Journal of AI Research, 20, 61-124.

Fox LongFox Long2004

Fox, M. Long, D. 2004.
An Investigation into the Expressive Power of PDDL2.1
In Proceedings of the Sixteenth European Conference on Artificial Intelligence.

Frank JónssonFrank Jónsson2003

Frank, J. Jónsson, A. 2003.
Constraint-based Attribute and Interval Planning
Journal of Constraints, 8 (Special Issue on Constraints and Planning)(4), 339-364.

Frank, Jönsson, MorrisFrank et al.2000

Frank, J., Jönsson, A., Morris, P. 2000.
On Reformulating Planning as Dynamic Constraint Satisfaction (Extended Abstract)
In Symposium on Abstraction, Reformulation and Approximation (SARA).

GrossmannGrossmann2002

Grossmann, I. E. 2002.
Review of Nonlinear, Mixed-Integer and Disjunctive Programming Techniques
Optimization and Engineering, 3, 227-252.

Gupta, Henziner, JagadeesanGupta et al.1997

Gupta, V., Henziner, T., Jagadeesan, R. 1997.
Robust Timed Automata
In HART'97: Hybrid and Real-time Systems, LNCS 1201, 331-345. Springer-Verlag.

Haroud FaltingsHaroud Faltings1994

Haroud, D. Faltings, B. 1994.
Global Consistency for Continuous Constraints
In Principles and Practice of Constraint Programming, 40-50.

HelmertHelmert2002

Helmert, M. 2002.
Decidability and undecidability results for planning with numerical state variables
In Proceedings of sixth conference on AI Planning Systems (AIPS).

HenzingerHenzinger1996

Henzinger, T. 1996.
The Theory of Hybrid Automata
In Proceedings of the 11th Annual Symposium on ogic in Computer Science. Invited tutorial., 278-292. IEEE Computer Society Press.

Henzinger, Ho, Wong-ToiHenzinger et al.1995

Henzinger, T., Ho, P.-H., Wong-Toi, H. 1995.
A user guide to HYTECH
In E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen, editors, Tool and Algorithms for the Construction and Analysis of Systems: (TACAS 95), volume 1019 of Lecture Notes in Computer Science, 41-71.

Henzinger RaskinHenzinger Raskin2000

Henzinger, T. Raskin, J.-F. 2000.
Robust Undecidability of Timed and Hybrid Systems
In Proceedings of the 3rd International Workshop on Hybrid Systems: Computation and Control. LNCS 1790., 145-159. Springer-Verlag.

Henzinger, Kopke, Puri, VaraiyaHenzinger et al.1998

Henzinger, T. A., Kopke, P. W., Puri, A., Varaiya, P. 1998.
What's Decidable about Hybrid Automata?
Journal of Computer and System Sciences, 57, 94-124.

Herrmann ThielscherHerrmann Thielscher1996

Herrmann, C. S. Thielscher, M. 1996.
Reasoning about continuous processes
In Clancey, B. Weld, D., Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI), 639-644, Portland, OR. MIT Press.

Hoffmann EdelkampHoffmann Edelkamp2005

Hoffmann, J. Edelkamp, S. 2005.
The Classical Part of IPC-4: An Overview
Journal of AI Research, To appear.

Hofmann WilliamsHofmann Williams2006

Hofmann, A. Williams, B. 2006.
Robust execution of temporally flexible plans for bipedal walking devices
In Proceedings of 16th International Conference on Automated Planning and Scheduling (ICAPS), 386-389.

Howey, Long, FoxHowey et al.2004

Howey, R., Long, D., Fox, M. 2004.
VAL: Automatic plan validation, continuous effects and mixed initiative planning using PDDL
In Proceedings of 16th IEEE International Conference on Tools with Artificial Intelligence.

Jónsson FrankJónsson Frank2000

Jónsson, A. Frank, J. 2000.
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
In Proceedings of 14th European Conference on AI, 93-97.

Jónsson, Morris, Muscettola, Rajan, SmithJónsson et al.2000

Jónsson, A., Morris, P., Muscettola, N., Rajan, K., Smith, B. 2000.
Planning in Interplanetary Space: Theory and Practice
In Proceedings of 5th International Conference on AI Planning Systems, 177-186.

KellerKeller1976

Keller, R. 1976.
Formal Verification of Parallel Programs
Communications of the ACM, 19(7), 371-384.

KuipersKuipers1984

Kuipers, B. 1984.
Commonsense Reasoning about Causality: Deriving Behaviour from Structure
Artificial Intelligence, 24, 169-203.

Laborie GhallabLaborie Ghallab1995

Laborie, P. Ghallab, M. 1995.
Planning with sharable resource constraints
In Proc. of 14th International Joint Conference on AI. Morgan Kaufmann.

Lamba, Dietz, Johnson, BoddyLamba et al.2003

Lamba, N., Dietz, M., Johnson, D., Boddy, M. 2003.
A method for global optimization of large systems of quadratic constraints
In Proceedings of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS-03).

Larsen, Behrmann, Brinksma, Fehnker, Hune, Pettersson, RomijnLarsen et al.2001

Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P., Romijn, J. 2001.
The use of optimistic and pessimistic resource profiles to inform search in an activity based planner
In Proceedings of 13th Conference on Computer Aided Verification (CAV-01)). Springer Verlag, Lecture Notes in Computer Science 2102.

Léauté WilliamsLéauté Williams2005

Léauté, T. Williams, B. 2005.
Coordinating Agile Systems through the Model-based Execution of Temporal Plans
In Proceedings of 20th National Conference on AI (AAAI), 114-120.

McAllester RosenblittMcAllester Rosenblitt1991

McAllester, D. Rosenblitt, D. 1991.
Systematic Nonlinear Planning
In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), 2, 634-639, Anaheim, California, USA. AAAI Press/MIT Press.

McDermottMcDermott2003a

McDermott, D. 2003a.
PDDL2.1 - The Art of the Possible? Commentary on Fox and Long
Journal of AI Research, 20, 145-148.

McDermottMcDermott2003b

McDermott, D. 2003b.
Reasoning about autonomous processes in an estimated-regression planner
In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS'03).

McDermottMcDermott2005

McDermott, D. 2005.
Reasoning about Autonomous Processes in an Estimated Regression Planner
In Proceedings of 13th International Conference on Automated Planning and Scheduling (ICAPS), 143-152. AAAI-Press.

McDermott the AIPS'98 Planning Competition CommitteeMcDermott the AIPS'98 Planning Competition Committee1998

McDermott, D. the AIPS'98 Planning Competition Committee 1998.
PDDL-the planning domain definition language
, Available at: www.cs.yale.edu/homes/dvm.

McDermottMcDermott2004

McDermott, D. 2004.
The Opt and Optop API
, Yale University.

MuscettolaMuscettola1993

Muscettola, N. 1993.
HSTS: Integrating Planning and Scheduling
In Zweben, M. Fox, M., Intelligent Scheduling, 169-212. Morgan Kaufmann, San Mateo, CA.

Musliner, Durfee, ShinMusliner et al.1993

Musliner, D. J., Durfee, E. H., Shin, K. G. 1993.
CIRCA: A Cooperative Intelligent Real-time Control Archtecture
IEEE Transactions on Systems, Man and Cybernetics, 23(6), 1561-1574.

Penberthy WeldPenberthy Weld1992

Penberthy, J. Weld, D. 1992.
UCPOP: a sound, complete, partial-order planner for ADL
In Proc. Int. Conf. On Principles of Knowledge Representation and Reasoning, 103-114, Los Altos, CA. Kaufmann.

Penberthy WeldPenberthy Weld1994

Penberthy, S. Weld, D. 1994.
Temporal Planning with Continuous Change
In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI), 1010-1015. AAAI/MIT Press.

Rasmussen, Larsen, SubramaniRasmussen et al.2004

Rasmussen, J. I., Larsen, K. G., Subramani, K. 2004.
Resource Optimal Scheduling using Priced Timed Automata
In Proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 220-235. Springer-Verlag, Lecture Notes in Computer Science, 2988.

ReiterReiter1996

Reiter, R. 1996.
Natural Actions, Concurrency and Continuous Time in the Situation Calculus
In Aiello, L., Doyle, J., Shapiro, S., KR-96: Principles of Knowledge Representation and Reasoning, 2-13. Morgan Kaufmann.

ReiterReiter2001

Reiter, R. 2001.
Knowledge in Action: Logical Foundations for Secifying and Implementing Dynamical Systems.
MIT Press.

SandewallSandewall1989

Sandewall, E. 1989.
Combining Logic and Differential Equations for describing Real World Systems
In Proceedings of Knowledge Representation (KR), 412-420.

ShanahanShanahan1990

Shanahan, M. 1990.
Representing Continuous Change in the Event Calculus
In Proceedings of 9th European Conference on AI, 598-603.

Shin DavisShin Davis2005

Shin, J.-A. Davis, E. 2005.
Processes and Continuous Change in a SAT-based Planner
Artificial Intelligence, 166, 194-253.

SmithSmith2003

Smith, D. 2003.
The case for durative actions: A commentary on PDDL2.1
Journal of AI Research, 20, 149-154.

Wolfman WeldWolfman Weld1999

Wolfman, S. Weld, D. 1999.
The LPSAT System and its Application to Resource Planning
In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence.

Wu ChowWu Chow1995

Wu, S. J. Chow, P. T. 1995.
Genetic Algorithms for Nonlinear Mixed Discrete-Integer Optimization Problems via Meta-Genetic Parameter Optimization
Engineering Optimization, 24(2), 137-159.

Yi, Larsen, PetterssonYi et al.1997

Yi, W., Larsen, K., Pettersson, P. 1997.
UPPAAL in a Nutshell
International Journal of Software Tools for Technology Transfer, 1(1).