Decompositional construction of lyapunov functions for hybrid systems

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

Volumn 5469, Issue , 2009, Pages 276-290

  Oehlerking, Jens ^a   Theel, Oliver ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE STATE SPACE; GRAPH-BASED; HYBRID AUTOMATONS; INCREMENTAL CONSTRUCTION; LOCAL COMPUTATION; NUMERICAL STABILITIES; OPTIMIZATION PROBLEMS; SEMIDEFINITE OPTIMIZATION; SUBGRAPHS;

ASYMPTOTIC STABILITY; AUTOMATA THEORY; CONVERGENCE OF NUMERICAL METHODS; DIFFERENTIAL EQUATIONS; ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; LINEAR CONTROL SYSTEMS; LYAPUNOV FUNCTIONS; ROBOTS; TRANSLATION (LANGUAGES);

SYSTEM STABILITY;

EID: 67650146073     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00602-9_20     Document Type: Conference Paper

References (12)

1. Johansson, M., Rantzer, A.: On the computation of piecewise quadratic Lyapunov functions. In: 36th IEEE Conference on Decision and Control (CDC), pp. 3515-3520 (1997)
2. Pettersson, S., Lennartson, B.: Stability and robustness for hybrid systems. In: 35th IEEE Conference on Decision and Control (CDC), pp. 1202-1207 (1996)
3. Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Mathematical Programming, Series B 96, 293-320 (2003) (Pubitemid 44757842)
4. Prajna, S., Papachristodoulou, A.: Analysis of switched and hybrid systems - beyond piecewise quadratic models. In: 22nd American Control Conference (ACC) (2003)
5. Papachristodoulou, A., Prajna, S.: Analysis of non-polynomial systems using the sums of squares decomposition. Positive Polynomials in Control, 23-43 (2005)
6. Chatterjee, D., Liberzon, D.: Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions. SIAM Journal on Control and Optimization 45(1), 174-206 (2006)
7. Vu, L., Liberzon, D.: Common Lyapunov functions for families of commuting nonlinear systems. Systems and Control Letters 54(5), 405-416 (2005) (Pubitemid 40423832)
8. Cai, C., Teel, A.R., Goebel, R.: Smooth Lyapunov functions for hybrid systems part II: (pre)asymptotically stable compact sets. IEEE Transactions on Automatic Control 53(3), 734-748 (2008) (Pubitemid 351597180)
9. Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia (1994)
10. Pettersson, S.: Analysis and Design of Hybrid Systems. PhD thesis, Chalmers University of Technology, Gothenburg (1999)
11. Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing 1(2), 146-160 (1972)
12. Das, I., Dennis, J.: Normal-boundary intersection: a new method for generating the Pareto surface in multicriteria optimization problems. SIAM J. Optimization 8, 631-657 (1998)