@article(AsarinDangGirard2007,
 author       = "E. Asarin and T. Dang and A. Girard",
 year         = "2007",
 title        = "Hybridization methods for the analysis of nonlinear systems",
 journal      = "Acta Informatica.",
 volume       = "43",
 number       = "7",
 pages        = "451--476",
 doi          = "10.1007/s00236-006-0035-7",
)
@inproceedings(Batt2005,
 author       = "G. Batt and H. de Jong and J. Geiselmann and M. Page and D. Ropers and D. Schneider",
 year         = "2005",
 title        = "Qualitative analysis and verification of hybrid models of genetic regulatory networks : Nutritional stress response in Escherichia coli",
 editor       = "M. Morari and L. Thiele",
 booktitle    = "Hybrid Systems: Computation and Control",
 series       = "LNCS 3414",
 publisher    = "Springer-Verlag",
 pages        = "134--150",
 doi          = "10.1007/978-3-540-31954-2\_9",
)
@inproceedings(Batt07,
 author       = "Gr{\'e}gory Batt and Boyan Yordanov and Ron Weiss and Calin Belta and Calin Belta",
 year         = "2007",
 title        = "Robustness analysis and tuning of synthetic gene networks.",
 pages        = "2415--2422",
 doi          = "10.1093/bioinformatics/btm362",
)
@article(Belta2006,
 author       = "Calin Belta and Luc C. G. J. M. Habets",
 year         = "2006",
 title        = "{Controlling a Class of Nonlinear Systems on Rectangles}",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "51",
 pages        = "1749--1759",
 doi          = "10.1109/TAC.2006.884957",
)
@inproceedings(Berman07,
 author       = "Spring Berman and {\'A}d{\'a}m M. Hal{\'a}sz and Vijay Kumar and Vijay Kumar",
 year         = "2007",
 title        = "MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems.",
 booktitle    = "HSCC",
 pages        = "76--89",
 doi          = "10.1007/978-3-540-71493-4\_9",
)
@inproceedings(Britton2002,
 author       = "N.F. Britton and N. R. Franks and S. C. Pratt and T. D. Seeley",
 year         = "2002",
 title        = "Deciding on a new home: how do honeybees agree?",
 booktitle    = "Proceedings of the Royal Society of London Series B - Biological Sciences",
 series       = "269(1498)",
 pages        = "1383--1388",
 doi          = "10.1098/rspb.2002.2001",
)
@inproceedings(ChenMWC09,
 author       = "Liqian Chen and Antoine Min{\'e} and Ji Wang and Patrick Cousot",
 year         = "2009",
 title        = "Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships",
 booktitle    = "SAS",
 series       = "Lecture Notes in Computer Science",
 volume       = "5673",
 publisher    = "Springer",
 pages        = "309--325",
 doi          = "10.1007/978-3-642-03237-0\_21",
)
@article(Clauss04,
 author       = "F. Clauss and I.Yu. Chupaeva",
 year         = "2004",
 title        = "Application of symbolic approach to the bernstein expansion for program analysis and optimization",
 journal      = "Program. Comput. Softw.",
 volume       = "30",
 number       = "3",
 pages        = "164--172",
)
@article(DangLeguernicMaler2011,
 author       = "Thao Dang and Colas Le Guernic and Oded Maler",
 year         = "2011",
 title        = "Computing reachable states for nonlinear biological models",
 journal      = "Theoretical Computer Science",
 doi          = "10.1016/j.tcs.2011.01.014",
)
@inproceedings(DangSalinas2009,
 author       = "Thao Dang and David Salinas",
 year         = "2009",
 title        = "Image computation for polynomial dynamical systems using the {Bernstein} expansion",
 editor       = "Ahmed Bouajjani and Oded Maler",
 booktitle    = "Computer Aided Verification, CAV 2009",
 series       = "Lecture Notes in Computer Science",
 volume       = "5643",
 publisher    = "Springer",
 pages        = "219--232",
 doi          = "10.1007/978-3-642-02658-4\_19",
)
@inproceedings(DT11,
 author       = "Thao Dang and Romain Testylier",
 year         = "2011",
 title        = "Hybridization Domain Construction using Curvature Estimation",
 booktitle    = "Proceedings HSCC 2011",
 publisher    = "ACM",
 doi          = "10.1145/1967701.1967721",
)
@article(Jong2008,
 author       = "S. Drulhe and G. Ferrari-Trecate and H. de Jong",
 year         = "2008",
 title        = "The switching threshold reconstruction problem for piecewise affine models of genetic regulatory networks",
 journal      = "IEEE Transactions on Automatic Control and IEEE Transactions on Circuits and Systems",
 volume       = "53",
 number       = "1",
 pages        = "153--165",
 doi          = "10.1109/TAC.2007.911326",
)
@article(Parrilo2006,
 author       = "I.A. Fotiou and P. Rostalski and P.A. Parrilo and M. Morari",
 year         = "2006",
 title        = "Parametric Optimization and Optimal Control using Algebraic Geometriy Methods",
 journal      = "International Journal of Control",
 volume       = "79",
 number       = "11",
 pages        = "1340--1358",
 doi          = "10.1080/00207170600726592",
)
@inproceedings(GarloffLeastSq2008,
 author       = "J. Garloff and A.P. Smith",
 year         = "2008",
 title        = "Rigorous Affine Lower Bound Functions for Multivariate Polynomials and their Use in Global Optimisation",
 booktitle    = "Proceedings of the 1st International Conference on Applied Operational Research, Tadbir Institute for Operational Research, Systems Design and Financial Services",
 series       = "Lecture Notes in Management Science",
 volume       = "1",
 pages        = "199--211",
)
@inproceedings(GrosuBFGGSB2011,
 author       = "Radu Grosu and Gr{\'e}gory Batt and Flavio H. Fenton and James Glimm and Colas Le Guernic and Scott A. Smolka and Ezio Bartocci",
 year         = "2011",
 title        = "From Cardiac Cells to Genetic Regulatory Networks",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "6806",
 publisher    = "Springer",
 pages        = "396--411",
 doi          = "10.1007/978-3-642-22110-1\_31",
)
@inproceedings(PrautzschBoehm2002,
 author       = "{H. Prautzsch and W. Boehm}",
 year         = "2002",
 title        = "Box splines",
 editor       = "{G. Farin, J. Hoschek, M.S. Kim}",
 booktitle    = "Handbook of Computer Aided Geometric Design",
 publisher    = "{Elsevier Science Publishers B.V., North-Holland, Amsterdam}",
 pages        = "255--282",
 doi          = "10.1016/B978-044451104-1/50011-3",
)
@inproceedings(Hen96,
 author       = "T. A. Henzinger",
 year         = "1996",
 title        = "The theory of hybrid automata",
 booktitle    = "LICS '96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science",
 pages        = "278",
 doi          = "10.1109/LICS.1996.561342",
)
@inproceedings(Tchoupaeva04,
 author       = "{I. Tchoupaeva}",
 year         = "{2004}",
 title        = "{A symbolic approach to bernstein expansion for program analysis and optimization}",
 booktitle    = "{13th International Conference on Compiler Construction, CC 2004}",
 publisher    = "{Springer}",
 pages        = "{120--133}",
 doi          = "10.1007/978-3-540-24723-4\_9",
)
@inproceedings(Garloff99,
 author       = "{J. Garloff}",
 year         = "{2004}",
 title        = "{Application of Bernstein Expansion to the Solution of Control Problems}",
 editor       = "{J. Vehi and M. A. Sainz}",
 booktitle    = "{Workshop on Applications of Interval Analysis to Systems and Control}",
 pages        = "{421--430}",
)
@inproceedings(Garloff2005,
 author       = "{J. Garloff and A.P. Smith}",
 year         = "{2005}",
 title        = "{A comparison of methods for the computation of affine lower bound functions for polynomials}",
 editor       = "C. Jermann and A. Neumaier and D. Sam",
 booktitle    = "{Global Optimization and Constraint Satisfaction}",
 series       = "{LNCS}",
 publisher    = "{Springer}",
 pages        = "{71--85}",
 doi          = "10.1007/11425076\_6",
)
@inproceedings(PrajnaJadbabaie04,
 author       = "Stephen Prajna and Ali Jadbabaie",
 year         = "2004",
 title        = "Safety Verification of Hybrid Systems Using Barrier Certificates.",
 editor       = "Rajeev Alur and George J. Pappas",
 booktitle    = "Hybrid Systems: Computation and Control",
 series       = "Lecture Notes in Computer Science",
 volume       = "2993",
 publisher    = "Springer",
 pages        = "477--492",
 doi          = "10.1007/978-3-540-24743-2\_32",
)
@book(Boyd2004,
 author       = "{S. Boyd and S. Vandenberghe}",
 year         = "2004",
 title        = "{Convex optimization}",
 publisher    = "{Cambridge Uni. Press}",
)
@inproceedings(SriramVMCAI05,
 author       = "S. Sankaranarayanan and H. Sipma and Z. Manna",
 year         = "2005",
 title        = "Scalable analysis of linear systems using mathematical programming",
 booktitle    = "Verification, Model-Checking and Abstract-Interpretation (VMCAI 2005)",
 series       = "LNCS 3385",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-30579-8\_2",
)
@inproceedings(Dang2006,
 author       = "{Thao Dang}",
 year         = "{2006}",
 title        = "{Approximate Reachability Computation for Polynomial Systems}",
 editor       = "{Jo{\~a}o P. Hespanha and Ashish Tiwari}",
 booktitle    = "{Hybrid Systems: Computation and Control HSCC}",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "{3927}",
 publisher    = "{Springer}",
 pages        = "{138--152}",
 doi          = "10.1007/11730637\_13",
)