Brian Borchers (1999):
CSDP, a C Library for Semidefinite Programming..
Optim. Met. Softw. 10,
pp. 613–623,
doi:10.1080/10556789908805765.
Stephen Boyd & Lieven Vandenberghe (2004):
Convex Optimization.
Cambridge University Press,
doi:10.1017/CBO9780511804441.
Parasara Sridhar Duggirala & Sayan Mitra (2012):
Lyapunov abstractions for inevitability of hybrid systems.
In: Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control (HSCC'12),
pp. 115–124,
doi:10.1145/2185632.2185652.
Katsuki Fujisawa, Kazuhide Nakata, Makoto Yamashita & Mituhiro Fukuda (2007):
SDPA Project : Solving Large-Scale Semidefinite Programs.
JORSP 50(4),
pp. 278–298.
Available at http://ci.nii.ac.jp/naid/110006532053/en/.
J. Löfberg (2004):
YALMIP : A Toolbox for Modeling and Optimization in MATLAB.
In: Proceedings of the 13th Conference on Computer-Aided Control System Design (CACSD'04),
Taipei, Taiwan,
doi:10.1109/CACSD.2004.1393890.
M.A. Lyapunov (1907):
Problème général de la stabilité du movement.
In: Ann. Fac. Sci. Toulouse, 9.
Université Paul Sabatier,
pp. 203–474,
doi:10.5802/afst.246.
(Translation of a paper published in Comm. Soc. Math. Kharkow, 1893, reprinted Ann. Math. Studies No. 17, Princeton Univ. Press, 1949).
Eike Möhlmann & Oliver E. Theel (2013):
Stabhyli: A Tool for Automatic Stability Verification of Non-Linear Hybrid Systems.
In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC'13),
pp. 107–112,
doi:10.1145/2461328.2461347.
Jens Oehlerking (2011):
Decomposition of Stability Proofs for Hybrid Systems.
Carl von Ossietzky University of Oldenburg, Department of Computer Science, Oldenburg, Germany.
Jens Oehlerking, Henning Burchardt & Oliver E. Theel (2007):
Fully Automated Stability Verification for Piecewise Affine Systems.
In: Proceedings of the 10th international conference on Hybrid systems: computation and control (HSCC'07),
pp. 741–745,
doi:10.1007/978-3-540-71493-4_74.
Jens Oehlerking & Oliver E. Theel (2009):
Decompositional Construction of Lyapunov Functions for Hybrid Systems.
In: Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09),
pp. 276–290,
doi:10.1007/978-3-642-00602-9_20.
A. Papachristodoulou, J. Anderson, G. Valmorbida, S. Prajna, P. Seiler & P. A. Parrilo (2013):
SOSTOOLS: Sum of squares optimization toolbox for MATLAB.
Available at http://arxiv.org/abs/1310.4716.
Andreas Podelski & Silke Wagner (2007):
Region Stability Proofs for Hybrid Systems.
In: Formal Modelling and Analysis of Timed Systems (FORMATS'07),
pp. 320–335,
doi:10.1007/978-3-540-75454-1_23.
Pavithra Prabhakar (2012):
Foundations for approximation based analysis of stability properties of hybrid systems.
In: Proceedings of the 50th Annual Allerton Conference on Communication, Control, and Computing,
pp. 1602–1609,
doi:10.1109/Allerton.2012.6483412.
Pavithra Prabhakar, Geir E. Dullerud & Mahesh Viswanathan (2012):
Pre-orders for reasoning about stability.
In: Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control (HSCC'12),
pp. 197–206,
doi:10.1145/2185632.2185662.
Pavithra Prabhakar, Jun Liu & Richard M. Murray (2013):
Pre-orders for reasoning about stability properties with respect to input of hybrid systems.
In: Proceedings of the International Conference on Embedded Software (EMSOFT'13),
pp. 1–10,
doi:10.1109/EMSOFT.2013.6658602.
Pavithra Prabhakar & Miriam Garcia Soto (2013):
Abstraction Based Model-Checking of Stability of Hybrid Systems.
In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV'13),
pp. 280–295,
doi:10.1007/978-3-642-39799-8_20.
S. Prajna & A. Papachristodoulou (2003):
Analysis of Switched and Hybrid Systems - Beyond Piecewise Quadratic Methods.
In: American Control Conference, 2003. Proceedings of the 2003 4,
pp. 2779–2784 vol.4,
doi:10.1109/ACC.2003.1243743.
Stefan Ratschan & Zhikun She (2010):
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions.
SIAM J. Control and Optimization 48(7),
pp. 4377–4394,
doi:10.1137/090749955.
eptcs@eptcs.org