Towards dependable swarms and a new discipline of swarm engineering

Lecture Notes in Computer Science

Volumn 3342, Issue , 2005, Pages 126-142

  Winfield, Alan F T ^a   Harper, Christopher J ^a   Nembrini, Julien ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT CONTROL; LARGE SCALE SYSTEMS; MAPPING; ROBOTICS;

DEPENDABLE SYSTEMS; SAFETY-CRITICAL SYSTEMS; SWARM ENGINEERING; SWARM INTELLIGENCE;

SYSTEMS ENGINEERING;

EID: 23944484068     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30552-1_11     Document Type: Conference Paper

References (29)

1. Anderson T, Avizienis A and Carter WC: Dependability: Basic Concepts and Terminology, Series: Dependable Computing and Fault-Tolerant Systems Volume 5, Laprie, J-C (ed), Springer-Verlag, New York (1992)
2. Arkin RC: Motor Schema based Navigation for a Mobile Robot, Proc. IEEE Conf. Robotics and Automation, Raleigh NC (1987) 264-271
3. Beni G: Prom swarm intelligence to swarm robotics, Proceedings of the SAB'04 Swarm Robotics Workshop, Santa Monica (2004)
4. Bennett P: Software Development for the Channel Tunnel: A Summary, Journal of High Integrity Systems, 1(2) (1994) 213-220
5. Bonabeau E, Dorigo M, and Theraulaz G: Swarm Intelligence: from natural to artificial systems, Oxford University Press (1999)
6. Bonabeau E and Theraulaz G: Swarm Smarts, Scientific American, March (2000) 72-79
7. Brooks RA: Cambrian Intelligence: the Early History of the New AI, MIT Press (2000)
8. Butler RW and Finelli GB: The infeasibility of quantifying the reliability of lifecritical real-time software, IEEE Trans. Software Engineering, 19(1) (1993) 3-12
9. Connell JH: Minimalist mobile robotics: a colony-style architecture for an artificial creature, Academic Press Professional, San Diego (1990)
10. Pagan ME: Design and Code Inspections to Reduce Errors in Program Development, IBM Systems Journal, 15(3) (1976)
11. Harper C and Winfield A: Direct Lyapunov Design - A Synthesis Procedure for Motor Schema Using a Second-Order Lyapunov Stability Theorem, Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems, Lausanne, October (2002)
12. Harper C: A Rational Methodology for Designing Behaviour Based Systems for Safety Related Applications, PhD Thesis, University of the West of England, Bristol (2004)
13. Institution of Electrical Engineers: Guidelines for the documentation of computer software for real time and interactive systems, IEE London, 2nd Edition (1990)
14. Lerman K and Galstyan A: A General Methodology for Mathematical Analysis of Multi-Agent Systems, USC Information Sciences Technical Report ISI-TR-529, (2001)
15. Lerman K, Martinoli A and Galystan A: A Review of Modeling Methods for Swarm Robotic Systems, Proceedings of the SAB'04 Swarm Robotics Workshop, Santa Monica (2004)
16. Littlewood B and Thomas M: Reasons why Safety-Critical Avionics Software cannot be Adequately Validated, Proc. 1st UK Safety Systems Symposium, Springer-Verlag (1993)
17. Nehmzow U and Walker K: The Behaviour of a Robot is Chaotic, AISB Journal 1(4) (2003) 373-388
18. Nembrini J, Winfield A and Melhuish C: Minimalist Coherent Swarming of Wireless Connected Autonomous Mobile Robots, Proc. Simulation of Artificial Behaviour '02, Edinburgh, August (2002)
19. Martinoli A, Ijspeert AJ and Gambardella LM: A Probabilistic model for understanding and comparing collective aggregation mechanisms, In Floreano D, Nicoud JD and Mondada F (eds), Proc. 5th European Conference on Advances in Artificial Life (ECAL-99), Vol 1674 of LNAI, Berlin (1999) 575-584
20. McCabe TA: A Cyclomatic Complexity Measure, IEEE Trans, on Software Engineering, 2(4) (1976)
21. Şahin, E: Swarm Robotics: Prom Sources of Inspiration to Domains of Application In Şahin, E., Spears, W., eds.: Swarm Robotics: State-of-the-art Survey. Lecture Notes in Computer Science 3342, Springer-Verlag (2005) 10-20
22. Schöner G, Dose M and Engels C: Dynamics of behavior: theory and applications for autonomous robot architectures, Robotics and Autonomous Systems, 16 (1995)
23. Smithers T: On quantitative performance measures of robot architectures, Robotics and Autonomous Systems, 15 (1995) 107-133
24. Stoøy K: Using situated communication in distributed autonomous robotics, Proc. 7th Scandinavian Conference on Artificial Intelligence (2001)
25. Winfield AFT: Distributed sensing and data collection via broken ad hoc wireless connected networks of mobile robots, in Parker LE, Bekey G and Bar hen J (eds) Distributed Autonomous Robotic Systems 4, Springer-Verlag (2000) 273-282
26. Winfield AFT and Holland OE: The application of wireless local area network technology to the control of mobile robots, Microprocessors and Microsystems, 23(10) (2000) 597-607
27. Yokobayashi Y, Collins CH, Leadbetter JR, Arnold FH and Weiss R: Evolutionary Design of Genetic Circuits and Cell-Cell Communications, Advances in Complex Systems, 6(1) (2003) 37-45
28. Yourdon E: Modern Structured Analysis, Prentice-Hall (1989)
29. Ziemke T: On the role of Robot Simulations in Embodied Computer Science, AISB Journal 1(4) (2003) 389-399