Ensuring task-independent safety for multi-agent systems by feedback

Proceedings of the American Control Conference

Volumn , Issue , 2007, Pages 3880-3885

  Wieland, Peter ^a   Ebenbauer, Christian ^b   Allgöwer, Frank ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; STABILIZERS (AGENTS);

FEEDBACK DESIGNS; MODULAR DESIGNS; MULTI AGENT SYSTEMS (MAS); SAFE TY FEATURES; SAFETY CRITICAL APPLICATIONS; SAFETY GUARANTEES;

MULTI AGENT SYSTEMS;

EID: 46449120441     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2007.4282646     Document Type: Conference Paper

References (17)

1. R. R. Negenborn, "Principles in multi-agent-systems," Presentation at Delft Center for Systems and Control Colloquium, 2004.
2. N. R. Jennings and S. Bussmann, "Agent-based control systems: Why are they suited to engineering complex systems," IEEE Control Syst. Mag., vol. 23, no. 3, pp. 61-73, 2003.
3. M. Tchikou and E. Gouardères, "Multi agent model to control production system: a reactive and emergent approach by cooperation and competition between agents," in Agent Technologies, Infrastructures, Tools, and Applications for E-Services, Erfurt, Germany, 2002, pp. 329-342.
4. M. Chli, P. de Wilde, J. Goossenaerts, V. Abramov, N. Szirbik, L. Correia, P. Mariano, and R. Ribeiro, "Stability of multi-agent systems," in Proc. IEEE Int. Conf. on Syst., Man and Cybern., vol. 1, 2003, pp. 551-556.
5. A. Jadbabaie, J. Lin, and A. S. Morse, "Coordination of groups of mobile autonomous agents using nearest neighbor rules," IEEE Trans. Automat. Contr., vol. 48, no. 6, pp. 988-1001, 2003.
6. R. Olfati-Saber and R. M. Murray, "Consensus problems in networks of agents with switching topology and time-delays," IEEE Trans. Automat. Contr., vol. 49, no. 9, pp. 1520-1533, 2004.
7. R. Olfati-Saber, "Flocking for multi-agent dynamic systems: Algorithms and theory," IEEE Trans. Automat. Contr., vol. 51, no. 3, pp. 401-420, 2006.
8. F. Klein and H. Giese, "Separation of concerns for mechatronic multi-agent systems through dynamic communities," in Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications, ser. Lecture Notes in Computer Science (LNCS). Springer, 2005, vol. 3390, pp. 272-289.
9. N. G. Leveson, System Safety Engineering: Back To The Future. Available from http://sunnyday.mit.edu/book2.pdf, 2002.
10. M. Barley, F. Massacci, H. Mouratidis, and A. Unruh, Eds., Proceedings of the 2nd international Workshop on Safety and Security in Multiagent Systems (SASEMAS), Utrecht, Netherlands, 2005.
11. D. E. Koditschek and E. Rimon, "Robot navigation functions on manifolds with boundary," Adv. in Appl. Math., vol. 11, pp. 412-442, 1990.
12. D. E. Chang, S. C. Shadden, J. E. Marsden, and R. Olfati-Saber, "Collision avoidance for multiple agent systems," in Proc. 42nd IEEE Conf. Dec. and Contr., 2003, pp. 539-543.
13. D. V. Dimarogonas, S. G. Loizou, K. J. Kyriakopoulos, and M. M. Zavlanos, "A feedback stabilization and collision avoidance scheme for multiple independent non-point agents," Automatica, vol. 42, no. 2, pp. 229-243, 2006.
14. C. J. Tomlin, I. Mitchell, and R. Ghosh, "Safety verification of conflict resolution maneuvers," IEEE Trans. Intell. Transport. Syst., vol. 2, no. 2, pp. 110-120, 2001.
15. S. Prajna, "Optimization-based methods for nonlinear and hybrid systems verification," Ph.D. dissertation, California Institute of Technology, 2005.
16. S. Prajna, A. Jadbabaie, and G. J. Pappas, "A framework for worst-case and stochastic safety verification using barrier certificates," Submitted to IEEE Trans. Automat. Contr., 2005.
17. A. Isidori, Nonlinear Control Systems, 3rd ed. Springer, 1995.