A universal planning system for hybrid domains

Authors:
Giuseppe Della Penna;Daniele Magazzeni;Fabio Mercorio
Affiliations:
Department of Computer Science, University of L'Aquila, L'Aquila, Italy;Department of Sciences, University of Chieti-Pescara, Pescara, Italy;Department of Computer Science, University of L'Aquila, L'Aquila, Italy
Venue:
Applied Intelligence
Year:
2012

Citing 30
Cited 2

Symbolic model checking: 1020 states and beyond

Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Temporal planning with continuous change

AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Interconnected automata and linear systems: a theoretical framework in discrete-time

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Automatic OBDD-based generation of universal plans in non-deterministic domains

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Directed explicit model checking with HSF-SPIN

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Planning and Control in Artificial Intelligence: A Unifying Perspective

Applied Intelligence
Verification and Optimization of a PLC Control Schedule

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Improved probabilistic verification by hash compaction

CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Planning as Model Checking

ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Better Verification Through Symmetry

CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Weak, strong, and strong cyclic planning via symbolic model checking

Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Learning Generalized Policies from Planning Examples Using Concept Languages

Applied Intelligence
An Adaptive, Intelligent Control System for Slag Foaming

Applied Intelligence
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL

ICTAI '04 Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence
Methods for Operations Planning in Airport Decision Support Systems

Applied Intelligence
Planning in highly dynamic environments: an anytime approach for planning under time constraints

Applied Intelligence
The role of AI planning as a decision support tool in power substation management

AI Communications
Coordinating agile systems through the model-based execution of temporal plans

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Validating plans in the context of processes and exogenous events

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Planning with problems requiring temporal coordination

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
PDDL2.1: an extension to PDDL for expressing temporal planning domains

Journal of Artificial Intelligence Research
Taming numbers and durations in the model checking integrated planning system

Journal of Artificial Intelligence Research
Modelling mixed discrete-continuous domains for planning

Journal of Artificial Intelligence Research
Universal plans for reactive robots in unpredictable environments

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Processes and continuous change in a SAT-based planner

Artificial Intelligence
Temporal planning in domains with linear processes

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
UPPAAL-Tiga: time for playing games!

CAV'07 Proceedings of the 19th international conference on Computer aided verification
OBDD-based universal planning: specifying and solving planning problems for synchronized agents in non-deterministic domains

Artificial intelligence today
Survey A survey of computational complexity results in systems and control

Automatica (Journal of IFAC)

A resource enhanced HTN planning approach for emergency decision-making

Applied Intelligence
A case-based approach to heuristic planning

Applied Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many real world problems involve hybrid systems, subject to (continuous) physical effects and controlled by (discrete) digital equipments. Indeed, many efforts are being made to extend the current planning systems and modelling languages to support such kind of domains. However, hybrid systems often present also a nonlinear behaviour and planning with continuous nonlinear change that is still a challenging issue.In this paper we present the UPMurphi tool, a universal planner based on the discretise and validate approach that is capable of reasoning with mixed discrete/continuous domains, fully respecting the semantics of PDDL+. Given an initial discretisation, the hybrid system is discretised and given as input to UPMurphi, which performs universal planning on such an approximated model and checks the correctness of the results. If the validation fails, the approach is repeated by appropriately refining the discretisation.To show the effectiveness of our approach, the paper presents two real hybrid domains where universal planning has been successfully performed using the UPMurphi tool.