Constructive safety using control barrier functions

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 7, Issue PART 1, 2007, Pages 462-467

  Wieland, Peter ^a   Allgöwer, Frank ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

Decentralized control; Safety analysis; Safetycritical

Indexed keywords

LYAPUNOV FUNCTIONS;

BARRIER CERTIFICATES; CONTROL BARRIERS; CONTROL LYAPUNOV FUNCTION; FEED-BACK DESIGNS; SAFETY ANALYSIS; SAFETYCRITICAL;

DECENTRALIZED CONTROL;

EID: 79960960580     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20070822-3-za-2920.00076     Document Type: Conference Paper

References (12)

1. Artstein, Z. (1983). Stabilization with relaxed controls, Nonlinear Analysis 7: 1163-1173.
2. Chang, D. E., Shadden, S. C., Marsden, J. E. and Olfati-Saber, R. (2003). Collision avoidance for multiple agent systems, Proc. 42nd IEEE Conf. Dec. and Contr., pp. 539-543.
3. Dimarogonas, D. V., Loizou, S. G., Kyriakopoulos, K. J. and Zavlanos, M. M. (2006). A feedback stabilization and collision avoidance scheme for multiple independent non-point agents, Automatica 42(2): 229-243. (Pubitemid 41828183)
4. Leitmann, G. and Skowronski, J. (1977). Avoidance control, J. of Opt. Theory and Appl. 23(4): 581-591.
5. Masoud, S. A. and Masoud, A. A. (2000). Constrained motion control using vector potential fields, IEEE Trans. Syst., Man, Cybern. A 30(3): 251-272.
6. Prajna, S. (2005). Optimization-Based Methods for Nonlinear and Hybrid Systems Verification, PhD thesis, California Institute of Technology.
7. Prajna, S. and Jadbabaie, A. (2004). Safety verification of hybrid systems using barrier certificates, in R. Alur and G. J. Pappas (eds), Hybrid Systems: Computation and Control, Vol. 2993 of Lecture Notes in Computer Science, Springer-Verlag, pp. 477-492.
8. Prajna, S. and Rantzer, A. (2005). On the necessity of barrier certificates, Proc. IFAC World Congress. Topic 2.3 Paper We-M14-T0/1.
9. Sontag, E. D. (1989). A universal construction of arstein's theorem on nonlinear stabilization, Sys. and Contr. Letters 13: 117-123.
10. Stipanovic, D. M., Shankaran, S. and Tomlin, C. J. (2005). Multi-agent avoidance control using an m-matrix property, Electronic Journal of Linear Algebra 12: 64-72.
11. Vanualailai, J., ichi Nakagiri, S. and Ha, J.-H. (1995). Collision avoidance in a two-point system via liapunov's second method, Mathematics and Computers in Simulation 39: 125-141.
12. Wieland, P., Ebenbauer, C. and Allgöwer, F. (2007). Task-independent safety for multiagent systems by feedback, Proc. American Control Conf.