On formal specification of emergent behaviours in swarm robotic systems

International Journal of Advanced Robotic Systems

Volumn 2, Issue 4, 2005, Pages 363-370

  Winfield, Alan F T ^a   Sa, Jin ^a   Gago, Mari Carmen Fernandez ^b   Dixon, Clare ^b   Fisher, Michael ^b  

^a UNIVERSITY OF THE WEST OF ENGLAND   (United Kingdom)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Formal specification; Swarm robotics; Temporal logic

Indexed keywords

FORMAL SPECIFICATIONS; SWARM ROBOTICS; TEMPORAL LOGIC;

FORMAL LOGIC; RESEARCH LABORATORIES; SOFTWARE ENGINEERING; SPECIFICATIONS;

ROBOTICS;

EID: 31144474130     PISSN: 17298806     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (24)

1. Bonabeau, E., Dorigo, M., and Th'eraulaz, G. (1999). Swarm Intelligence: from natural to artificial systems. Oxford University Press.
2. Clarke, E., Grumberg, O., and Peled, D. (2000). Model Checking. MIT Press.
3. Degtyarev, A., Fisher, M., and Konev, B. (Accepted April 2004). Monodic temporal resolution. ACM Transactions on Computational Logic, to appear.
4. Emerson, E. (1990). Temporal and Modal Logic. In van Leeuwen, J., (Ed.), Handbook of Theoretical Computer Science, pages 996.1072. Elsevier.
5. Fisher, M. (2005). Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems, 10(1):41.66.
6. Fisher, M., Dixon, C., and Peim, M. (2001). Clausal Temporal Resolution. ACM Transactions on Computational Logic, 2(1):12.56.
7. Fisher, M., Gabbay, D., and Vila, L., (Eds.) (2005a). Handbook of Temporal Reasoning in Artificial Intelligence, volume 1 of Advances in Artificial Intelligence. Elsevier.
8. Fisher, M., Konev, B., and Lisitsa, A. (2005b). Practical infinite-state verification with temporal reasoning. In Workshop on Verification of Infinite State Systems and Security (VISSAS).
9. Gago, M.-C. F., Hustadt, U., Dixon, C., Fisher, M., and Konev, B. (Accepted 2005). First-order temporal verification in practice. Journal of Automated Reasoning, to appear.
10. Harper, C. and Winfield, A. (Accepted October 2005). A methodology for provably stable behaviour-based intelligent control. Robotics and Autonomous Systems, to appear.
11. Hodkinson, I., Wolter, F., and Zakharyashev, M. (2000). Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 106:85.134.
12. Hustadt, U., Konev, B., Riazanov, A., and Voronkov, A. (2004). TeMP: A temporal monodic prover. In Basin, D. A. and Rusinowitch, M., (Eds.), Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), volume 3097 of LNAI, pages 326.330. Springer.
13. Kiriakidis, K. and Gordon-Spears, D. (2002). Formal modeling and supervisory control of reconfigurable robot teams. In Formal Approaches to Agent-Based Systems, pages 92.102. LNCS 2699, Springer-Verlag.
14. Konev, B., Degtyarev, A., Dixon, C., Fisher, M., and Hustadt, U. (2005). Mechanising first order temporal resolution. Information and Computation, 199(1-2):55.86.
15. Lerman, K., Martinoli, A., and Galstyan, A. (2005). A review of probabilistic macroscopic models for swarm robotic systems. In Sahin,E. and Spears, W., (Eds.), Swarm Robotics Workshop: State-of-the-art Survey, number 3342, pages 143.152. Springer-Verlag.
16. Manna, Z. and Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag.
17. Martinoli, A., Easton, K., and Agassounon, W. (2004). Modeling swarm robotic systems: A case study in collaborative distributed manipulation. In Int. Journal of Robotics Research, volume 23(4), pages 415.436.
18. Nembrini, J. (2005). Minimalist Coherent Swarming of Wireless Networked Autonomous Mobile Robots. PhD thesis, University of the West of England.
19. Nembrini, J., Winfield, A., and Melhuish, C. (2002). Minimalist coherent swarming of wireless connected autonomous mobile robots. In Proc. Simulation of Artificial Behaviour (SAB'02). Edinburgh.
20. Riazanov, A. and Voronkov, A. (2001). Vampire 1.1 (system description). In Proc. IJCAR 2001, pages 376.380. LNAI 2083, Springer-Verlag.
21. st International Symposium on Leveraging Applications of formal Methods (ISoLA 2004).Cyprus.
22. Rouff, C., Truszkowski, W., Rash, J., and Hinchey, M. (2003). Formal approaches to intelligent swarms. In IEEE/NASA Software Engineering Workshop, 2003, pages 51.57. IEEE press.
23. Sahin, E. (2005). Swarm robotics: From sources of inspiration to domains of application. In Sahin, E. and Spears, W., (Eds.), Swarm Robotics Workshop: State-of-the-art Survey, number 3342, pages 10.20. Springer-Verlag.
24. Winfield, A., Harper, C., and Nembrini, J. (2005). Towards dependable swarms and a new discipline of swarm engineering. In Sahin, E. and Spears, W., (Eds.), Swarm Robotics Workshop: State-of-the-art Survey, number 3342, pages 126.142. Springer-Verlag.