Nonlinear observer design for one-sided Lipschitz systems

M. Abbaszadeh H.J. Marquez 2010 Nonlinear observer design for one-sided Lipschitz systems Proceedings of the American Control Conference (ACC) IEEE 799–806 10.1109/ACC.2010.5530715 Matthias Althoff 2013 Reachability Analysis of Nonlinear Systems Using Conservative Polynomialization and Non-convex Sets Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control HSCC '13 ACM

New York, NY, USA

173–182 10.1145/2461328.2461358 A Giovanni Beccuti Georgios Papafotiou Manfred Morari 2005 Optimal control of the boost dc-dc converter Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC'05. 44th IEEE Conference on IEEE 4457–4462 10.1109/CDC.2005.1582864 W.-J. Beyn J. Rieger 1998 The implicit Euler scheme for one-sided Lipschitz differential inclusions Discr. and Cont. Dynamical Systems B 14 409–428 10.3934/dcdsb.2010.14.409 Olivier Bouissou Alexandre Chapoutot Adel Djoudi 2013 Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods NASA Formal Methods LNCS 7871 Springer 108–123 10.1007/978-3-642-38088-4_8 Olivier Bouissou Samuel Mimram Alexandre Chapoutot 2012 HySon: Set-Based Simulation of Hybrid Systems Rapid System Prototyping IEEE 10.1109/RSP.2012.6380694 Xiushan Cai Zhenyun Wang Leipo Liu 2015 Control Design for One-side Lipschitz Nonlinear Differential Inclusion Systems with Time-delay Neurocomput. 165 C 182–189 10.1016/j.neucom.2015.03.008 Xin Chen Erika Abraham Sriram Sankaranarayanan 2012 Taylor Model Flowpipe Construction for Non-linear Hybrid Systems IEEE 33rd Real-Time Systems Symposium IEEE Computer Society 183–192 10.1109/RTSS.2012.70 Xin Chen Erika Ábrahám Sriram Sankaranarayanan 2013 Flow*: An analyzer for non-linear hybrid systems Computer Aided Verification Springer 258–263 10.1007/978-3-642-39799-8_18 A. Le Coënt J. Alexandre dit Sandretto A. Chapoutot L. Fribourg 2016 Control of nonlinear switched systems based on validated simulation 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) 1–6 10.1109/SNR.2016.7479377 Jerry Ding Eugene Li Haomiao Huang Claire J Tomlin 2011 Reachability-based synthesis of feedback policies for motion planning under bounded disturbances Robotics and Automation (ICRA), 2011 IEEE International Conference on IEEE 2160–2165 10.1109/ICRA.2011.5980268 Tzanko Donchev Elza Farkhi 1998 Stability and Euler Approximation of One-sided Lipschitz Differential Inclusions SIAM J. Control Optim. 36 2 780–796 10.1137/S0363012995293694 Laurent Fribourg Ulrich Kühne Romain Soulat 2014 Finite controlled invariants for sampled switched systems Formal Methods in System Design 45 3 303–329 10.1007/s10703-014-0211-2 Antoine Girard 2005 Reachability of uncertain linear systems using zonotopes Hybrid Systems: Computation and Control Springer 291–305 10.1007/978-3-540-31954-2_19 Antoine Girard Giordano Pola Paulo Tabuada 2010 Approximately bisimilar symbolic models for incrementally stable switched systems IEEE Transactions on Automatic Control 55 1 116–126 10.1007/978-3-540-78929-1_15 Ian A Hiskens 2001 Stability of limit cycles in hybrid systems System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on IEEE 10.1109/HICSS.2001.926280 Fabian Immler 2015 Verified reachability analysis of continuous systems Tools and Algorithms for the Construction and Analysis of Systems Springer 37–51 10.1007/978-3-662-46681-0_3 Frank Lempio 1995 Set-Valued Interpolation, Differential Inclusions, and Sensitivity in Optimization Recent Developments in Well-Posed Variational Problems Kluwer Academic Publishers 137–169 10.1007/978-94-015-8472-2_6 Jun Liu Necmiye Ozay Ufuk Topcu Richard M Murray 2013 Synthesis of reactive switching protocols from temporal logic specifications Automatic Control, IEEE Transactions on 58 7 1771–1785 10.1109/TAC.2013.2246095 Kyoko Makino Martin Berz 2009 Rigorous Integration of Flows and ODEs Using Taylor Models Proceedings of the 2009 Conference on Symbolic Numeric Computation SNC '09 ACM

New York, USA

79–84 10.1145/1577190.1577206 Pierre-Jean Meyer 2015 Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings Thèse Université Grenoble Alpes Ramon Moore 1966 Interval Analysis Prentice Hall Nedialko S. Nedialkov K. Jackson Georges Corliss 1999 Validated solutions of initial value problems for ordinary differential equations Appl. Math. and Comp. 105 1 21 – 68 10.1016/S0096-3003(98)10083-8 J. Alexandre dit Sandretto A. Chapoutot 2015 Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes Research Report ENSTA ParisTech Julien Alexandre dit Sandretto Alexandre Chapoutot 2015 DynIbex library Http://perso.ensta-paristech.fr/~chapoutot/dynibex/ Julien Alexandre dit Sandretto Alexandre Chapoutot 2016 Validated explicit and implicit runge-kutta methods Reliable Computing 22 79–103 J. Stolfi L. H. de Figueiredo 1997 Self-Validated Numerical Methods and Applications Brazilian Mathematics Colloquium monographs IMPA/CNPq