Hybridization methods for the analysis of nonlinear systems

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