Planning-inf

Download

planning-inf@mailman.kcl.ac.uk

October 2015

2 participants
2 discussions

Fwd: AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16)
by Daniele Magazzeni 16 Oct '15

16 Oct '15

Hi all, Just to make sure you are aware of this workshop we are organising at AAAI-16. Note that it will also be possible to submit papers that are rejected at the main conference (hoping that this won't be the case.... :-) Dan =============================================================== 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) -- Dr Daniele Magazzeni Lecturer Department of Informatics King's College London Office S6.19 Tel: +44 (0)20 7848 1587 Twitter: @danmagazzeni http://www.inf.kcl.ac.uk/staff/danmag

1 0

Planning Meeting on Monday in S1.12
by Amanda Coles 02 Oct '15

02 Oct '15

Hi All, Just a quick reminder that our next meeting is one of the ones we had to move rooms for so it will be in S1.12 not S6.06 as usual. The meeting time is as usual and Derek will be talking, Amanda -- Dr Amanda Coles Lecturer Department of Informatics King's College London Room: S6.17 http://www.inf.kcl.ac.uk/staff/amanda/

1 0