Towards temporal verification of emergent behaviours in swarm robotic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6856 LNAI, Issue , 2011, Pages 336-347

  Dixon, Clare ^a   Winfield, Alan ^b   Fisher, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

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

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED ANALYSIS; EMERGENT BEHAVIOURS; FORMAL VERIFICATIONS; INDIVIDUAL CONTROL; LARGE POPULATION; POTENTIAL PROBLEMS; ROBOT SWARMS; ROBOTIC SWARMS; SELF-ORGANISED; SWARM ROBOTIC SYSTEMS; TEMPORAL ANALYSIS; TEMPORAL VERIFICATION; VERIFICATION TECHNIQUES;

ALGORITHMS; FAULT TOLERANCE; MODEL CHECKING; ROBOTICS; FORMAL VERIFICATION; ROBOTS;

ROBOTS; SWARM INTELLIGENCE;

EID: 80052793408     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23232-9_30     Document Type: Conference Paper

References (24)

1. Alur, R., Dang, T., Ivančić, F.: Counterexample-Guided Predicate Abstraction of Hybrid Systems. Theoretical Computer Science 354(2), 250-271 (2006)
2. Arai, T., Pagello, E., Parker, L.: Editorial: Advances in Multi-Robot Systems. IEEE Trans. Robotics and Automation 18(5), 655-661 (2002)
3. Beni, G.: From Swarm Intelligence to Swarm Robotics. In: Şahin, E., Spears, W. M. (eds.) Swarm Robotics 2004. LNCS, vol. 3342, pp. 1-9. Springer, Heidelberg (2005)
4. Bjerknes, J. D.: Scaling and Fault Tolerance in Self-organised Swarms of Mobile Robots. Ph. D. thesis, University of the West of England (2010)
5. Cimatti, A., Clarke, E. M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K. G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002)
6. Clarke, E., Grumberg, O., Peled, D. A.: Model Checking. MIT Press, Cambridge (2000)
7. Clarke, E. M., Grumberg, O.: Avoiding The State Explosion Problem in Temporal Logic Model Checking. In: ACM Symposium on Principles of Distributed Computing (PODC), pp. 294-303 (1987)
8. Clarke, E. M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking. J. ACM 50(5), 752-794 (2003)
9. Fainekos, G., Kress-Gazit, H., Pappas, G.: Temporal Logic Motion Planning for Mobile Robots. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 2020-2025 (2005)
10. Hamann, H.: Space-Time Continuous Models of Swarm Robotic Systems: Supporting Global-to-Local Programming. Cognitive Systems Monographs. Springer, Heidelberg (2010)
11. Henzinger, T., Ho, P. H., Wong-Toi, H.: HYTECH: A Model Checker for Hybrid Systems. International Journal on Software Tools for Technology Transfer 1(1-2), 110-122 (1997)
12. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
13. Kloetzer, M., Belta, C.: Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. IEEE Transactions on Robotics 23, 320-330 (2007)
14. Konur, S., Dixon, C., Fisher, M.: Formal Verification of Probabilistic Swarm Behaviours. In: Dorigo, M., Birattari, M., Di Caro, G. A., Doursat, R., Engelbrecht, A. P., Floreano, D., Gambardella, L. M., Groß, R., Şahin, E., Sayama, H., Stützle, T. (eds.) ANTS 2010. LNCS, vol. 6234, pp. 440-447. Springer, Heidelberg (2010)
15. Martinoli, A., Easton, K., Agassounon, W.: Modeling Swarm Robotic Systems: A Case Study in Collaborative Distributed Manipulation. International Journal of Robotics Research 23(4), 415-436 (2004)
16. Milutinovic, D., Lima, P.: Cells and Robots: Modeling and Control of Large-Size Agent Populations. Tracts in Advanced Robotics, vol. 32. Springer, Heidelberg (2007)
17. Nembrini, J.: Minimalist Coherent Swarming of Wireless Networked Autonomous Mobile Robots. Ph. D. thesis, University of the West of England (2005)
18. Sahin, E., Winfield, A. F. T.: Special issue on Swarm Robotics. Swarm Intelligence 2(2-4), 69-72 (2008)
19. Spears, W. M., Spears, D. F., Hamann, J. C., Heil, R.: Distributed, Physics-Based Control of Swarms of Vehicles. Autonomous Robots 17(2-3), 137-162 (2004)
20. Støy, K.: Using situated communication in distributed autonomous mobile robotics. In: SCAI 2001: Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence, pp. 44-52. IOS Press, Amsterdam (2001)
21. Truszkowski, W., Hallock, H., Rouff, C., Karlin, J., Rash, J., Hinchey, M., Sterritt, R.: Swarms in Space Missions. In: Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. NASA Monographs in Systems and Software Eng., pp. 207-221. Springer, Heidelberg (2009)
22. Winfield, A., Liu, W., Nembrini, J., Martinoli, A.: Modelling a wireless connected swarm of mobile robots. Swarm Intelligence 2(2-4), 241-266 (2008)
23. Winfield, A., Sa, J., Ferńandez-Gago, M. C., Dixon, C., Fisher, M.: On Formal Specification of Emergent Behaviours in Swarm Robotic Systems. International Journal of Advanced Robotic Systems 2(4), 363-370 (2005)
24. Yuh, J.: Design and Control of Autonomous Underwater Robots: A Survey. Autonomous Robots 8(1), 7-24 (2000)