[robotics-worldwide] Reminder - CFP - ICRA 2010 Workshop on "Formal Methods for Robotics and Automation" - Deadline March 1

Hadas Kress-Gazit hadaskg at cornell.edu
Wed Feb 24 14:48:39 PST 2010


Reminder - CALL FOR POSTERS

Workshop on "Formal Methods for Robotics and Automation"
http://web.mae.cornell.edu/hadaskg/ICRA10/index.html

to be held as part of ICRA 2010
http://icra2010.grasp.upenn.edu/

May 3rd, 2010 - Anchorage, Alaska

*Motivation:*
Guaranteeing safety, predictability and reliability of robots is crucial for
the assimilation of such systems into society, be it at home or in the
workplace. While every robotics researcher working with or on a robot is
aware of safety issues, only recently people have begun looking at ways to
either formally prove or guarantee by design different behavioral properties
such as safety and correctness. The results that will be presented in the
workshop combine and extend ideas from automata theory, logic, model
checking, hybrid systems and control and they pave the way toward creating
robotic “formal methods” – a body of work that will ultimately result in
provably correct robotic systems.

*Poster submission:*
We invite poster submissions from researchers working on different aspects
of formal methods for robotics and automation. Specific topics of interest
include
• Verification of robotic and automation systems
• Use of model checking and deductive verification techniques
• Correct by design planner/controller synthesis
• Automata theory in the context of robotics
• Use of logic to specify and reason about tasks
• Lessons that can be learned from hardware/software verification
• Hybrid systems in the context of robotics
• Control theoretic approaches to abstractions of system dynamics
• applications of formal methods to robotic systems

Poster abstracts (1-2 pages) should be emailed to hadaskg at cornell.edu by *March
1, 2010*.

*Important Dates:*
March 1, 2010 Poster Abstract Submission Deadline
March 15, 2010 Notification of Acceptance
May 3, 2010 Workshop

-- 
=========================
Hadas Kress-Gazit
Assistant Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University
210 Upson Hall
Phone: 607-255-1592
http://web.mae.cornell.edu/hadaskg/


More information about the robotics-worldwide mailing list