On the Identification and Use of Hierarchical Resources in Planning and Scheduling Bernd Schattenberg Susanne Biundo University of Ulm.

Slides:



Advertisements
Similar presentations
2 Introduction A central issue in supporting interoperability is achieving type compatibility. Type compatibility allows (a) entities developed by various.
Advertisements

Artificial Intelligence 2005/06 Partial Order Planning.
The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE2008) Department of Electrical and Computer Engineering
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 1: Introduction.
1 Relational Data Mining Applied to Virtual Engineering of Product Designs Monika Žáková 1, Filip Železný 1, Javier A. Garcia-Sedano 2, Cyril Masia Tissot.
Classical Planning via Plan-space search COMP3431 Malcolm Ryan.
Multi-scale Planning and Scheduling Under Uncertain and Varying Demand Conditions in the Pharmaceutical Industry Hierarchically Structured Integrated Multi-scale.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
1 © 1998 HRL Laboratories, LLC. All Rights Reserved Construction of Bayesian Networks for Diagnostics K. Wojtek Przytula: HRL Laboratories & Don Thompson:
Case-Based Reasoning, 1993, Ch11 Kolodner Adaptation method and Strategies Teacher : Dr. C.S. Ho Student : L.W. Pan No. : M Date : 1/7/2000.
Boudewijn van Dongen /t Multi-phase process mining Building instance graphs.
Using Interfaces to Analyze Compositionality Haiyang Zheng and Rachel Zhou EE290N Class Project Presentation Dec. 10, 2004.
An framework for model-driven product design and development using Modelica Adrian Pop, Olof Johansson, Peter Fritzson Programming Environments Laboratory.
درس مهندسی نیازمندی ها استاد دکتر عبداله زاده دانشجو خیرالنسا مرچانت Dealing with NFR : Three Experimental Studies of a Process-Oriented Approach.
Amirkabir University of Technology, Computer Engineering Faculty, Intelligent Systems Laboratory,Requirements Engineering Course, Dr. Abdollahzadeh 1 Dealing.
RESEARCH WRITING. OVERVIEW Before Writing Start Now Outline Execute.
Dealing with NFRs Vahid Jalali Amirkabir university of technology, Department of computer engineering and information technology, Intelligent systems laboratory,
Inventing Hybrid Control The basic idea is simple: we want the best of both worlds (if possible). The goal is to combine closed-loop and open-loop execution.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Toward an Integrated Competence-based System Supporting Lifelong Learning and Employability: Concepts, Model, and Challenges Yongwu Miao, Marcel van der.
Multi-Agent Model to Multi-Process Transformation A Housing Market Case Study Gerhard Zimmermann Informatik University of Kaiserslautern.
Class Specification Implementation Graph By: Njume Njinimbam Chi-Chang Sun.
Process for Analysis  Choose a standard / type  Qualitative / Quantitative Or  Formal / Informal  Select access controls  Match outcome to project.
EVENT MANAGEMENT IN MULTIVARIATE STREAMING SENSOR DATA National and Kapodistrian University of Athens.
European Network of Excellence in AI Planning Intelligent Planning & Scheduling An Innovative Software Technology Susanne Biundo.
Developing a ‘Rapid’ Strategic Land-Use and Transport Policy Model using EMME/2 Marwan AL-Azzawi Senior Transport Planner PDC Consultants, UK Also at Napier.
Donk, Lindenberg, Neerincx, Pemberton CHI20001 Specification Techniques.
EIDA Project ( Proposal ) Research and Technical Background Emergency Intelligent Decision Assistant: Emergency Intelligent Decision Assistant: Toolkit.
Chapter 10 Information Systems Analysis and Design
HCI in Software Process Material from Authors of Human Computer Interaction Alan Dix, et al.
Combined Task and Motion Planning for Mobile Manipulation Jason Wolfe, etc. University of California, Berkeley Mozi Song INFOTECH 1.
1 Workshop on Business-Driven Enterprise Application Design & Implementation Cristal City, Washington D.C., USA, July 21, 2008 How to Describe Workflow.
Procedures for managing workflow components Workflow components: A workflow can usually be described using formal or informal flow diagramming techniques,
© 2016 Cengage Learning. All Rights Reserved. May not be scanned, copied or duplicated, or posted to a publicly accessible website, in whole or in part.
Security in autonomic communication Shuping Liu Networking Lab HUT.
Chapter 8 Object Design Reuse and Patterns. Object Design Object design is the process of adding details to the requirements analysis and making implementation.
For Goal-Driven Business Process Modeling Saeed A.Behnam,  Daniel Amyot, Gunter Mussbacher SITE, University of.
Bi-directional incremental evolution Dr Tatiana Kalganova Electronic and Computer Engineering Dept. Bio-Inspired Intelligent Systems Group Brunel University.
Artificial Intelligence 2005/06 Partially Ordered Plans - or: "How Do You Put Your Shoes On?"
Objectives Propose preliminary answers to 2 questions: Can methods from CM enrich research in SD about how people understand dynamically complex situations?
Gene Clustering by Latent Semantic Indexing of MEDLINE Abstracts Ramin Homayouni, Kevin Heinrich, Lai Wei, and Michael W. Berry University of Tennessee.
Andreas J. Dietrich , Stefan Kirn , and Vijayan Sugumaran
AI Lecture 17 Planning Noémie Elhadad (substituting for Prof. McKeown)
A Data Stream Publish/Subscribe Architecture with Self-adapting Queries Alasdair J G Gray and Werner Nutt School of Mathematical and Computer Sciences,
S. Wilson and P. Johnson 1 CADUI' June FUNDP Namur Bridging the Generation Gap: From Task Models to User Interface Designs Stephanie Wilson.
Visualizing Large Dynamic Digraphs Michael Burch.
Towards a Reference Quality Model for Digital Libraries Maristella Agosti Nicola Ferro Edward A. Fox Marcos André Gonçalves Bárbara Lagoeiro Moreira.
Teaching The Principles Of System Design, Platform Development and Hardware Acceleration Tim Kranich
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
Introduction to virtual engineering László Horváth Budapest Tech John von Neumann Faculty of Informatics Institute of Intelligent Engineering.
DATLab Research Overview 1 Creating Design Machines for Machine Design Linda C. Schmidt Mechanical Engineering Department Institute for Systems Research.
Adaptive Reinforcement Learning Agents in RTS Games Eric Kok.
Asset accounting-29.pptx This course will give an overview of the following Workbreakdown Structure Network Project Builder Project Planning.
Contents  Introduction  Image Collection planning system  Optimized Satellite Planning System for Multi-Satellite Operation  Optimization.
McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. Part One INTRODUCTION TO BUSINESS RESEARCH.
XML and Distributed Applications By Quddus Chong Presentation for CS551 – Fall 2001.
MPLS Introduction How MPLS Works ?? MPLS - The Motivation MPLS Application MPLS Advantages Conclusion.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Geographic Information Systems GIS Data Databases.
8 Organizational Structure.
Technologies: for Enhancing Broadcast Programmes with Bridgets
Designing Organizational Structure
Frank Oemig, Bernd Blobel
Utility-Function based Resource Allocation for Adaptable Applications in Dynamic, Distributed Real-Time Systems Presenter: David Fleeman {
Authors: Barry Smyth, Mark T. Keane, Padraig Cunningham
A Semantic Type System and Propagation
Chapter 2: Building a System
Building a “System” Moving from writing a program to building a system. What’s the difference?! Complexity, size, complexity, size complexity Breadth.
Geographic Information Systems
Presentation transcript:

On the Identification and Use of Hierarchical Resources in Planning and Scheduling Bernd Schattenberg Susanne Biundo University of Ulm

Overview Introduction Hybrid Planning Abstraction of Resources Motivation Modelling Calculations Planning with Hierarchical Resources Conclusions & Future Work

Introduction Crisis management support: THW mission at the river Oder Requires representation of procedural knowledge Requires representation of resources like time, material, tools, and manpower Makes use of hierarchies of activities and resources Integrated planning and scheduling Integration of scheduling steps as additional plan modifications into a hybrid planning framework Least commitment planning and scheduling strategy

Hybrid Planning Combining hierarchical task network planning and operator based partial order causal link techniques for flexible plan generation, assisting tasks on demand Methods refine complex actions / tasks into networks, thereby defining a hierarchiy on tasks Actions carry pre- and post-conditions on all levels of abstraction Decomposition axioms relate conditions by defining a hierarchy on state descriptions, allowing for Formal justification of decomposition steps POCL plan modifications can handle tasks on different levels of abstraction Threat detection and resolution Insertion of new steps

Abstraction of Resources Integration of resources in the hybrid framework Identified abstraction mechanisms Subsumption Aggregation Qualification Approximation Zwei bis drei davon als ausführliches Beispiel bringen

Subsumption

Aggregation

Qualification

Approximation Eventuell weglassen

Example Profiles Eventuell Beispiel, das Reviewer nicht verstanden hat.

Planning with Hierarchical Resources Integrated Algorithm (figure)

Conclusions & Future Work