Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 118-138. ISBN 978-3-642-34004-8 (2012)
|
PDF
- Draft Version
Available under License Creative Commons Attribution Non-commercial. Download (1MB) | Preview |
Abstract
Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify and analyse a prominent example of adaptive system: robot swarms equipped with obstacle-avoidance self-assembly strategies. The analysis exploits the statistical model checker PVesta.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/10.1007/978-3-642-34005-5_7 |
| Additional Information: | Proceedings of the 9th International Workshop, WRLA 2012, Tallinn, Estonia, March 24-25, 2012 |
| Projects: | European Integrated Project 257414 ASCENS |
| Uncontrolled Keywords: | Adaptation; self-assembly; swarms; ensembles; Maude |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Caterina Tangheroni |
| Date Deposited: | 26 May 2016 10:06 |
| Last Modified: | 26 May 2016 10:06 |
| URI: | http://eprints.imtlucca.it/id/eprint/3491 |
Actions (login required)
 |
Edit Item |
