@article(Borchers99csdp,
 author       = {Brian Borchers},
 year         = {1999},
 title        = {{CSDP}, a {C} {L}ibrary for {S}emidefinite {P}rogramming.},
 journal      = {Optim. Met. Softw.},
 volume       = {10},
 pages        = {613--623},
 doi          = {10.1080/10556789908805765},
)
@book(Boyd2004Convex,
 author       = {Stephen Boyd and Lieven Vandenberghe},
 year         = {2004},
 title        = {{C}onvex {O}ptimization},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511804441},
)
@inproceedings(DuggiralaM12,
 author       = {Parasara Sridhar Duggirala and Sayan Mitra},
 year         = {2012},
 title        = {Lyapunov abstractions for inevitability of hybrid systems},
 booktitle    = {Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control (HSCC'12)},
 pages        = {115--124},
 doi          = {10.1145/2185632.2185652},
)
@article(Fujisawa2007sdpa,
 author       = {Katsuki Fujisawa and Kazuhide Nakata and Makoto Yamashita and Mituhiro Fukuda},
 year         = {2007},
 title        = {{SDPA} {P}roject : {S}olving {L}arge-{S}cale {S}emidefinite {P}rograms},
 journal      = {JORSP},
 volume       = {50},
 number       = {4},
 pages        = {278--298},
 url          = {http://ci.nii.ac.jp/naid/110006532053/en/},
)
@inproceedings(YALMIP,
 author       = {J. L{\"{o}}fberg},
 year         = {2004},
 title        = {YALMIP : A Toolbox for Modeling and Optimization in {MATLAB}},
 booktitle    = {Proceedings of the 13th Conference on Computer-Aided Control System Design (CACSD'04)},
 address      = {Taipei, Taiwan},
 doi          = {10.1109/CACSD.2004.1393890},
)
@incollection(Lya07,
 author       = {M.A. Lyapunov},
 year         = {1907},
 title        = {Probl{\`e}me g\'{e}n\'{e}ral de la stabilit\'{e} du movement},
 booktitle    = {Ann. Fac. Sci. Toulouse, 9},
 publisher    = {Universit\'{e} Paul Sabatier},
 pages        = {203--474},
 doi          = {10.5802/afst.246},
 note         = {(Translation of a paper published in Comm. Soc. Math. Kharkow, 1893, reprinted Ann. Math. Studies No. 17, Princeton Univ. Press, 1949)},
)
@inproceedings(MohlmannT13stabhyli,
 author       = {Eike M{\"o}hlmann and Oliver E. Theel},
 year         = {2013},
 title        = {Stabhyli: {A} {T}ool for {A}utomatic {S}tability {V}erification of {N}on-{L}inear {H}ybrid {S}ystems},
 booktitle    = {Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC'13)},
 pages        = {107--112},
 doi          = {10.1145/2461328.2461347},
)
@phdthesis(Oehlerking2011thesis,
 author       = {Jens Oehlerking},
 year         = {2011},
 title        = {{D}ecomposition of {S}tability {P}roofs for {H}ybrid {S}ystems},
 school       = {Carl von Ossietzky University of Oldenburg, Department of Computer Science, Oldenburg, Germany},
)
@inproceedings(OehlerkingBT07,
 author       = {Jens Oehlerking and Henning Burchardt and Oliver E. Theel},
 year         = {2007},
 title        = {{F}ully {A}utomated {S}tability {V}erification for {P}iecewise {A}ffine {S}ystems},
 booktitle    = {Proceedings of the 10th international conference on Hybrid systems: computation and control (HSCC'07)},
 pages        = {741--745},
 doi          = {10.1007/978-3-540-71493-4\_74},
)
@inproceedings(OehlerkingT09,
 author       = {Jens Oehlerking and Oliver E. Theel},
 year         = {2009},
 title        = {{D}ecompositional {C}onstruction of {L}yapunov {F}unctions for {H}ybrid {S}ystems},
 booktitle    = {Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09)},
 pages        = {276--290},
 doi          = {10.1007/978-3-642-00602-9\_20},
)
@manual(sostools,
 author       = {A. Papachristodoulou and J. Anderson and G. Valmorbida and S. Prajna and P. Seiler and P. A. Parrilo},
 year         = {2013},
 title        = {{SOSTOOLS}: Sum of squares optimization toolbox for {MATLAB}},
 url          = {http://arxiv.org/abs/1310.4716},
)
@inproceedings(PodelskiW07,
 author       = {Andreas Podelski and Silke Wagner},
 year         = {2007},
 title        = {{R}egion {S}tability {P}roofs for {H}ybrid {S}ystems},
 booktitle    = {Formal Modelling and Analysis of Timed Systems (FORMATS'07)},
 pages        = {320--335},
 doi          = {10.1007/978-3-540-75454-1\_23},
)
@inproceedings(Prabhakar12,
 author       = {Pavithra Prabhakar},
 year         = {2012},
 title        = {Foundations for approximation based analysis of stability properties of hybrid systems},
 booktitle    = {Proceedings of the 50th Annual Allerton Conference on Communication, Control, and Computing},
 pages        = {1602--1609},
 doi          = {10.1109/Allerton.2012.6483412},
)
@inproceedings(PrabhakarDV12,
 author       = {Pavithra Prabhakar and Geir E. Dullerud and Mahesh Viswanathan},
 year         = {2012},
 title        = {Pre-orders for reasoning about stability},
 booktitle    = {Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control (HSCC'12)},
 pages        = {197--206},
 doi          = {10.1145/2185632.2185662},
)
@inproceedings(PrabhakarLM13,
 author       = {Pavithra Prabhakar and Jun Liu and Richard M. Murray},
 year         = {2013},
 title        = {Pre-orders for reasoning about stability properties with respect to input of hybrid systems},
 booktitle    = {Proceedings of the International Conference on Embedded Software (EMSOFT'13)},
 pages        = {1--10},
 doi          = {10.1109/EMSOFT.2013.6658602},
)
@inproceedings(PrabhakarS13,
 author       = {Pavithra Prabhakar and Miriam Garcia Soto},
 year         = {2013},
 title        = {Abstraction Based Model-Checking of Stability of Hybrid Systems},
 booktitle    = {Proceedings of the 25th International Conference on Computer Aided Verification (CAV'13)},
 pages        = {280--295},
 doi          = {10.1007/978-3-642-39799-8\_20},
)
@inproceedings(Prajna03analysisof,
 author       = {S. Prajna and A. Papachristodoulou},
 year         = {2003},
 title        = {{A}nalysis of {S}witched and {H}ybrid {S}ystems - {B}eyond {P}iecewise {Q}uadratic {M}ethods},
 booktitle    = {American Control Conference, 2003. Proceedings of the 2003},
 volume       = {4},
 pages        = {2779--2784 vol.4},
 doi          = {10.1109/ACC.2003.1243743},
)
@article(RatschanS10,
 author       = {Stefan Ratschan and Zhikun She},
 year         = {2010},
 title        = {{P}roviding a {B}asin of {A}ttraction to a {T}arget {R}egion of {P}olynomial {S}ystems by {C}omputation of {L}yapunov-{L}ike {F}unctions},
 journal      = {SIAM J. Control and Optimization},
 volume       = {48},
 number       = {7},
 pages        = {4377--4394},
 doi          = {10.1137/090749955},
)