===============================================================
CALL FOR PAPERS
AAAI-16 Workshop on Planning for Hybrid Systems
(PlanHS-16)
http://www.inf.kcl.ac.uk/staff/danmag/planhs16.html
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.
Paper Submissions should be made through the workshop EasyChair web site
https://easychair.org/conferences/?conf=planhs16
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)
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
