[robotics-worldwide] Call for Participation: AAMAS'08 Workshop on Formal Models and Methods for Multi-Robot Systems

Matthijs Spaan mtjspaan at isr.ist.utl.pt
Wed Mar 12 04:13:13 PDT 2008


======================================================================
                      CALL FOR PARTICIPATION
AAMAS'08 Workshop on Formal Models and Methods for Multi-Robot Systems
======================================================================

Estoril, Portugal
May 13, 2008
http://formal.isr.ist.utl.pt

Complete workshop program at http://formal.isr.ist.utl.pt/Files/sched.pdf
Registration at http://gaips.inesc-id.pt/aamas2008/registration.html

An increasing number of researchers worldwide are becoming interested
in developing formal models and methods that provide tools for
Multi-Robot Systems (MRS) analysis (e.g., formal verification,
performance quantification) and design from specifications. Such
formal techniques can benefit many problems in MRS, such as motion
coordination, task planning, and sensor fusion. Examples of formal
models and methods include, but are not limited to:

 - logic-based methods,
 - sequential decision-making approaches,
 - graph-based formation control,
 - discrete and hybrid system techniques.

The key issue is that the models and methods described should apply to
systems composed of multiple *robots*, taking into account their
specific issues and problems. Both real robots and realistic robot
simulations will be acceptable.

The workshop will be of interest to all researchers in Robotics and
Artificial Intelligence who take formal approaches to MRS modeling,
analysis and design, as an alternative to ad hoc approaches which may
produce very good results for some particular applications, but are
hard to generalize to others.

----------------------------------------------------------------------
Invited speakers:

Alcherio Martinoli
Ecole Polytechnique Fédérale de Lausanne, Switzerland
"Graph-based control of heterogeneous robot networks"

Magnus Egerstedt
Georgia Institute of Technology, GA, USA
"A multi-level modeling methodology for swarm robotic systems"

Abstracts available at http://formal.isr.ist.utl.pt/invited.html

----------------------------------------------------------------------
Organizing Comittee

Pedro U. Lima
Instituto Superior Técnico, Lisbon, Portugal

Nikos Vlassis
Technical University of Crete, Chania, Greece

Matthijs Spaan
Institute for Systems and Robotics/IST, Lisbon, Portugal

Francisco S. Melo
Carnegie Mellon University, USA


More information about the robotics-worldwide mailing list