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

Hadas Kress-Gazit hadaskg at cornell.edu
Fri Dec 24 07:16:26 PST 2010


The Deadline for this special issue has been extended to *January 10, 2011*
(final)

Happy new year!
Hadas.



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

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


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