===============================================================
CALL FOR
PAPERS
AAAI-16 Workshop on Planning for Hybrid
Systems (PlanHS-16)
Phoenix, Arizona USA,
12/13 February 2016
===============================================================
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.
Workshop topics
=====================
The workshop includes - but is not limited to - the
following topics:
* Planning with mixed discrete-continuous dynamics
* Planning with hybrid stochastic dynamics
* 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:
=====================
* Papers submission: October 23, 2015
* Notifications of acceptance: November 23, 2015
* Author accepted paper submissions: December 7, 2015
* Workshop date: February 12/13, 2016
Submission Procedure
=====================
Two types of submissions are solicited:
-full-length papers (up to 8 pages in AAAI format)
-challenge or position papers (2 pages in AAAI format)
We welcome papers submitted to the main AAAI conference and
papers reporting research already published provided they
align squarely with the workshop topic.
Organisers:
=====================
* Daniele Magazzeni, King's College London, UK
* Scott Sanner, Oregon State University, USA
* Sylvie Thiebaux, ANU & NICTA, Australia
Program Committee:
=====================
* Alessandro Abate (University of Oxford, UK)
* Adi Botea (IBM Research)
* Dan Bryce (SIFT, USA)
* Alessandro Cimatti (FBK-irst, Italy)
* Jyotirmoy Deshmukh (Toyota Motors, USA)
* Stefan Edelkamp (University of Bremen, Germany)
* Georgios Fainekos (Arizona State University, USA)
* Maria Fox (King's College London, UK)
* Sicun Gao (MIT, USA)
* Sertac Karaman (MIT, USA)
* Mykel Kochenderfer (Stanford, USA)
* Martin Leucker (University of Lübeck, Germany)
* Derek Long (King's College London, UK)
* Daniel Nikovski (Mitsubishi Electric Research Labs, USA)
* Erion Plaku (Catholic University of America, USA)
* Miguel Ramirez (Australian National University)
* Florent Teichteil-Königsbuch (ONERA, France)
* Enrico Tronci (University of Rome “La Sapienza”, Italy)
* Brian C. Williams (MIT, USA)