A matrix based approach for modeling robotic swarm behavior

Proceedings of the 2006 International Conference on Artificial Intelligence, ICAI'06

Volumn 2, Issue , 2006, Pages 433-438

  Hashmi, Sarosh ^a   Mahmood, Waqar ^b  

^a NATIONAL UNIVERSITY OF SCIENCES AND TECHNOLOGY   (Pakistan)

^b UNIVERSITY OF ENGINEERING AND TECHNOLOGY   (Pakistan)

Author keywords

Discrete event systems; Emergent behaviour; Mathematical modeling; Swarm intelligence

Indexed keywords

EMERGENT BEHAVIORS; EMERGENT BEHAVIOURS; EXTERNAL CONTROL; MATRIX BASED APPROACH; MATRIX FORMULATION; MODEL COMPLEXES; MODELING AND ANALYSIS; ROBOTIC SWARMS; SWARM DYNAMICS; SWARM INTELLIGENCE; SWARM OF ROBOTS; SWARM ROBOTICS;

ARTIFICIAL INTELLIGENCE; DISCRETE EVENT SIMULATION; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; MATLAB;

ROBOTICS;

EID: 67649671562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. A. Winfield, C. Harper, and J. Nembrini, 'Towards Dependable Swarms and a New Discipline of Swarm Engineering', in SAB'04 Swarm Robotics workshop, eds. Sahin E and Spears W, Springer-Verlag, LNCS 3342, pp 126-142, 2005.
2. FL. Lewis, H.-H. Huang, OC. Pastravanu, A. Gürel, "A Matrix Formulation for Design and Analysis of Discrete Event Manufacturing Systems with Shared Resources". 1994 IEEE International Conference on Systems, Man, and Cybernetics. Humans, Information and Technology (Cat. No.94CH3571-5). IEEE. Part vol. 2, 1994, New York, USA. pp.1700-5.
3. J. Mireles and F.L. Lewis, "On the development and implementation of a matrix-based discrete event controller," Proc. Med. Conf. Control and Automation, paper MED01-012, Croatia, June 2001.
4. D.A. Tacconi, F.L. Lewis, and H.-H. Huang, "Modeling and simulation of discrete event systems using a matrix formulation," Proc. IEEE Mediterranean Symp. Control and Automation, pp. 590-594, Crete, June 1996.
5. A. Martinoli, K. Easton, and W. Agassounon, "Modeling swarm robotic systems: A case study in collaborative distributed manipulation". In Int. Journal of Robotics, volume 23(4), pages 415-436 (2004).
6. A. Martinoli and K. Easton, "Modeling Swarm Robotic Systems". In B. Siciliano and P. Dario, editors, Proc. of the Eight Int. Symp. on Experimental Robotics ISER-02, July, 2002, Sant'Angelo dTschia, Italy. Springer Tracts in Advanced Robotics 5 (2003), pp. 297-306.
7. K. Lerman and A. Galstyan, A General Methodology for Mathematical Analysis of Multi-Agent Systems, USC Information Sciences Technical Report ISI-TR-529 (2001).
8. K. Lerman, A. Martinoli, and A. Galstyan, "A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems". Proc. of the Swarm Robotics Workshop at the Eight Int. Conference on the Simulation of Adaptive Behavior SAB-04, E. Sahin and W. Spears, editors, July 2004, Los Angeles, CA.
9. C. Rouff, A. Vanderbilt, M. G. Hinchey, W. Truszkowski, J. Rash, "Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems". SEFM 2004: 24-33.
10. C. Rouff, W. Truszkowski, J. Rash, and M. Hinchey, "Formal approaches to intelligent swarms". In IEEE/NASA Software Engineering Workshop, 2003, pages 51-57. IEEE press.
11. C. Rouff, M. G. Hinchey, W. Truszkowski, J. Rash, "Verifying Large Numbers of Cooperating Adaptive Agents". ICPADS (1) 2005: 391-397
12. C.A.R. Hoare, Communicating Sequential Processes. Communications of the ACM, 21(8):666-677, Aug., 1978
13. C. Tofts, "Describing social insect behaviour using process algebra". Transactions on Social Computing Simulation, 227-283, 1991.
14. M. Holcombe, Mathematical models of cell biochemistry. Technical Report CS-86-4. 1986. Dept of Computer Science, Sheffield University, UK.
15. JT. Feddema, D.A. Schoenwald, E.P. Parker and J.S. Wagner, Analysis and Control of Cooperative Distributed Systems. Sandia National Laboratories Report No. SAND204-4763. September, 2004.
16. J.T. Feddema, C. Lewis, D.A. Schoenwald, "Decentralized Control of Cooperative Robotic Vehicles: Theory and Application", IEEE Transactions on Robotics and Automation, Special Issue on Advances in Multirobot Systems, Vol. 18, N 5, October 2002, pp. 852-863.
17. A. Winfield, J. Sa, M.C. Gago, C. Dixon and M. Fisher, "On Formal Specification of Emergent Behaviours in Swarm Robotic Systems", Int. J. Advanced Robotic Systems, 2 (4), 363-370, 2005.
18. U. Hustadt, B. Konev, A. Riazanov, and A. Voronkov, "TeMP: A temporal monodic prover". In D. A. Basin and M. Rusinowitch, (Eds.), Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), volume 3097 of LNAI, pages 326-330. Springer.
19. B. Konev, A. Degtyarev, C. Dixon, M. Fisher, and U. Hustadt, "Mechanising first-order temporal Resolution". Information and Computation, 199(1-2):55-86 (2005).
20. J. Nembrini, A. Winfield, and C. Melhuish, "Minimalist coherent swarming of wireless connected autonomous mobile robots". In Proc. Simulation of Artificial Behaviour (SAB'02). Edinburgh (2002).