[robotics-worldwide] CFP - IEEE RAM special issue on Formal Methods for Robotics and Automation

Hadas Kress-Gazit hadaskg at cornell.edu
Thu Sep 16 09:16:55 PDT 2010


CFP - IEEE Robotics and Automation Magazine (RAM) special issue on Formal
Methods for Robotics and Automation

http://www.ieee-ras.org/issue/show/id/19

Important dates:

  - Deadline for submissions:  1 January 2011
  - First review:                      1 April 2011
  - Final review:                      1 May2011
  - Publication:                       September 2011

Motivation:
Guaranteeing safety, predictability and reliability of robots and their
high-level behaviors is crucial for the assimilation of such systems into
society, be it at home or in the workplace. Every robotics researcher
working with physical robots is aware of safety issues; however, only
recently people have begun to look at ways to either formally prove or
guarantee by design different behavioral properties such as safety and
correctness.
While formal methods have been successfully applied to areas such as
hardware design, the unique nature of robotics requires new theory and
algorithms for verification and synthesis of correct systems. Researchers
are invited to contribute papers that explore the state of the art in formal
methods for robotics and automation.

Scope:
Topics of interest include, but are not limited to:
•    Verification of robotic and automation systems
•    Use of model checking and deductive verification techniques in robotics
•    Correct by design planner/controller synthesis
•    Lessons that can be learned from hardware/software verification and
synthesis
•    Applications of formal methods to robotic systems


-- 
=========================
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