Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking

Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model... Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking MANUELE BRAMBILLA, ARNE BRUTSCHY, MARCO DORIGO, and MAURO BIRATTARI, IRIDIA, Universit´ Libre de Bruxelles, Brussels, Belgium e In this article, we present property-driven design, a novel top-down design method for robot swarms based on prescriptive modeling and model checking. Traditionally, robot swarms have been developed using a codeand-fix approach: in a bottom-up iterative process, the developer tests and improves the individual behaviors of the robots until the desired collective behavior is obtained. The code-and-fix approach is unstructured, and the quality of the obtained swarm depends completely on the expertise and ingenuity of the developer who has little scientific or technical support in his activity. Property-driven design aims at providing such scientific and technical support, with many advantages compared to the traditional unstructured approach. Property-driven design is composed of four phases: first, the developer formally specifies the requirements of the robot swarm by stating its desired properties; second, the developer creates a prescriptive model of the swarm and uses model checking to verify that this prescriptive model satisfies the desired properties; third, using the prescriptive model as a blueprint, the developer implements a simulated http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Autonomous and Adaptive Systems (TAAS) Association for Computing Machinery

Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking

Loading next page...
 
/lp/association-for-computing-machinery/property-driven-design-for-robot-swarms-a-design-method-based-on-H61mVoFwK9
Publisher
Association for Computing Machinery
Copyright
Copyright © 2014 by ACM Inc.
ISSN
1556-4665
DOI
10.1145/2700318
Publisher site
See Article on Publisher Site

Abstract

Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking MANUELE BRAMBILLA, ARNE BRUTSCHY, MARCO DORIGO, and MAURO BIRATTARI, IRIDIA, Universit´ Libre de Bruxelles, Brussels, Belgium e In this article, we present property-driven design, a novel top-down design method for robot swarms based on prescriptive modeling and model checking. Traditionally, robot swarms have been developed using a codeand-fix approach: in a bottom-up iterative process, the developer tests and improves the individual behaviors of the robots until the desired collective behavior is obtained. The code-and-fix approach is unstructured, and the quality of the obtained swarm depends completely on the expertise and ingenuity of the developer who has little scientific or technical support in his activity. Property-driven design aims at providing such scientific and technical support, with many advantages compared to the traditional unstructured approach. Property-driven design is composed of four phases: first, the developer formally specifies the requirements of the robot swarm by stating its desired properties; second, the developer creates a prescriptive model of the swarm and uses model checking to verify that this prescriptive model satisfies the desired properties; third, using the prescriptive model as a blueprint, the developer implements a simulated

Journal

ACM Transactions on Autonomous and Adaptive Systems (TAAS)Association for Computing Machinery

Published: Dec 19, 2014

There are no references for this article.