Purpose
The goal of this NSF workshop is to approach the problem of formally composing motion primitives from the perspective of cyber-physical systems, formal methods, robotics and control in order to find common themes and identify grand challenges.
The second workshop will be held at Philadelphia, PA on April 8th 2013, in conjunction with CPSWeek 2013.
The second workshop will be held at Philadelphia, PA on April 8th 2013, in conjunction with CPSWeek 2013.
Location
Hyatt Regency Philadelphia at Penn's Landing Hotel, Philadelphia, Pennsylvania, USA. Please refer to the CPSWeek 2013 website for details.
Important Dates
- Abstract Submission Deadline: February 4, 2013 (11:59 pm, UTC-10)
- Author Notification: sent on February 25, 2013
- Early Registration Deadline: March 8, 2013
- Workshop: April 8, 2013
Scope
In robotics and control, achieving singular behaviors (or motion primitives) in systems has been very well studied in the controls community, with a wide range of methods from nonlinear control to verification to discrete abstractions. Yet combining these behaviors to achieve more complex actions, i.e., composing motion primitives, still remains largely a challenging and open problem, with very few coherent formal structures or methods available. The objective of this workshop would be to explore methods for combining motion primitives in complex systems in a formal and provably correct fashion. The workshop will cover both theory, e.g., (composition of) motion primitives, funnels, description languages, bisimulations, verification, synthesis, hybrid zero dynamics, ans applications such as robot motion planning, bipedal locomotion, or autonomous cars. Therefore, this workshop will focus on both foundational theory and milestone applications in order to present a coherent set of formal methods, challenges, and open problems.
Format
The workshop will include both long talks by invited speakers and short talks for contributed abstracts. There will be ample time for discussion in the schedule. Invited speakers will be prominent researchers that have expertise on different aspects of formally composing motion primitives. Short talks (15-20 minutes) will provide a forum for researchers to present recent advances and ongoing work. Short talk abstracts will be reviewed by the organizers.
Organizers
- Aaron D. Ames, Texas A&M University
- Jessy Grizzle, University of Michigan
- Necmiye Ozay, California Institute of Technology
