blocks_image

The purpose of the workshop is to explore and promote new approaches to planning with hybrid models. Hybrid systems are systems with both continuous control variables and discrete logical modes. Many interesting real problems are indeed hybrid systems, including oil refinery management, mission planning for autonomous vehicles, supply management and disaster recovery, and applications in control of smart cities.

Planning in these domains requires rich models to capture the interaction between discrete and continuous change, and methods for reasoning with temporal, spatial and continuous constraints.

This is intended as a multi-disciplinary workshop, and aims to put together researchers from planning, robotics, machine learning, hybrid system control and verification, model-based reasoning.


Schedule

The workshop will be held on February 13, 2016.

08:45 - 09:00: Welcome and Opening Remarks

09:00 - 09:45: Keynote 1: Erion Plaku (Catholic University of America)

09:45 - 10:30: Technical Session on Hybrid Systems

Heuristic Planning for Hybrid Systems
Wiktor Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni and Fabio Mercorio

An Architecture for Hybrid Planning and Execution
Robert P. Goldman, Daniel Bryce, Michael Pelican, David Musliner and Kyungmin Bae

10:30 - 11:00: Coffee Break

11:00 - 12:30: Technical Session on SMT

Full PDDL+ Planning through SMT
Michael Cashmore, Maria Fox, Derek Long and Daniele Magazzeni

A Happening-based Encoding for Nonlinear PDDL+ Planning
Daniel Bryce

Customizing an SMT Solver for Hybrid Network Reachability Problems
Daniel Bryce, Sergiy Bogomolov, Alexander Heinz and Christian Schilling

SMT-Based Reasoning for Uncertain Hybrid Domains
Fedor Shmarov and Paolo Zuliani

12:30 - 14:00: Lunch Break
14:00 - 14:45: Keynote 2: Brian Williams (MIT)
14:45 - 15:30: Technical Session on Temporal Logic

Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning
Son To, Mark Roberts, Thomas Apker, Benjamin Johnson and David Aha

Planning in Dynamic Environments Through Temporal Logic Monitoring
Bardh Hoxha and Georgios Fainekos

15:30 - 16:00: Coffee Break
16:00 - 17:30: Technical Session on Applications

Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem
Tony T. Tran, Zhihui Wang, Minh Do, Eleanor Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli and Chris Beck

Efficient Macroscopic Urban Traffic Models for Reducing Congestion: a PDDL+ Planning Approach
Mauro Vallati, Lukas Chrpa, Thomas Leo McCluskey, Bart De Schutter and Daniele Magazzeni

Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents
Martina Troesch, Steve Chien, Yi Chao and John Farrara

Planning, Scheduling and Monitoring for Airport Surface Operations
Robert Morris, Corina Pasareanu, Kasper Luckow, Waqar Malik, Hang Ma, Satish Kumar and Sven Koenig

Towards Robot Task Planning From Probabilistic Models of Human Skills
Chris Paxton, Marin Kobilarov and Gregory Hager
17:30: Closing Remarks


Workshop Topics

The workshop includes - but is not limited to - the following topics:
  • Planning with mixed discrete-continuous dynamics
  • Planning with hybrid stochastic dynamics
  • Scheduling in hybrid domains
  • Hybrid systems applications
  • Analysis, verification and control of hybrid systems
  • Planning/control interaction
  • Novel benchmark problems involving hybrid dynamics
  • Plan monitoring and execution
  • Plan robustness
  • Plan validation
  • Planning and model checking

Important Dates

  • Submission: November 13, 2015
  • Notification: November 23, 2015
  • Final paper: December 15, 2015
  • Workshop: February 13, 2016
The reference timezone for all deadlines is UTC-12. That is, as long as there is still some place anywhere in the world where the deadline has not yet passed, you are on time!

Submissions

Two types of submissions are solicited:
  • full-length papers (up to 8 pages in AAAI format + 1 page of references)
  • challenge or position papers (2 pages in AAAI format + 1 page of references)
Papers should be submitted in PDF via EasyChair. Go to the submission webpage.

Organising Committee


Program Committee

Alessandro Abate, University of Oxford, UK Martin Leucker, University of Lübeck, Germany
Adi Botea, IBM Research Derek Long, King's College London, UK
Dan Bryce, SIFT, USA Daniele Magazzeni, King's College London, UK
Alessandro Cimatti, FBK-irst, Italy Daniel Nikovski, Mitsubishi Electric Research Labs, USA
Jyotirmoy Deshmukh, Toyota Motors, USA Erion Plaku, Catholic University of America, USA
Stefan Edelkamp, University of Bremen, Germany Miguel Ramirez, ANU, Australia
Georgios Fainekos, Arizona State Univerisity Scott Sanner, Oregon State University, USA
Maria Fox, King's College London, UK Florent Teichteil-Königsbuch, ONERA, France
Sicun Gao, MIT, USA Sylvie Thiebaux, ANU & NICTA, Australia
Sertac Karaman, MIT, USA Enrico Tronci, University of Rome La Sapeinza, Italy
Mikel Kochenderfer, Stanford, USA Brian C. Williams, MIT, USA

PlanHS-16

Phoenix, Arizona, USA

February 13, 2016