References

  1. M. Abbaszadeh & H.J. Marquez (2010): Nonlinear observer design for one-sided Lipschitz systems. In: Proceedings of the American Control Conference (ACC). IEEE, pp. 799–806, doi:10.1109/ACC.2010.5530715.
  2. Matthias Althoff (2013): Reachability Analysis of Nonlinear Systems Using Conservative Polynomialization and Non-convex Sets. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, HSCC '13. ACM, New York, NY, USA, pp. 173–182, doi:10.1145/2461328.2461358.
  3. A Giovanni Beccuti, Georgios Papafotiou & Manfred Morari (2005): Optimal control of the boost dc-dc converter. In: Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC'05. 44th IEEE Conference on. IEEE, pp. 4457–4462, doi:10.1109/CDC.2005.1582864.
  4. W.-J. Beyn & J. Rieger (1998): The implicit Euler scheme for one-sided Lipschitz differential inclusions. Discr. and Cont. Dynamical Systems B(14), pp. 409–428, doi:10.3934/dcdsb.2010.14.409.
  5. Olivier Bouissou, Alexandre Chapoutot & Adel Djoudi (2013): Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. In: NASA Formal Methods, LNCS 7871. Springer, pp. 108–123, doi:10.1007/978-3-642-38088-4_8.
  6. Olivier Bouissou, Samuel Mimram & Alexandre Chapoutot (2012): HySon: Set-Based Simulation of Hybrid Systems. In: Rapid System Prototyping. IEEE, doi:10.1109/RSP.2012.6380694.
  7. Xiushan Cai, Zhenyun Wang & Leipo Liu (2015): Control Design for One-side Lipschitz Nonlinear Differential Inclusion Systems with Time-delay. Neurocomput. 165(C), pp. 182–189, doi:10.1016/j.neucom.2015.03.008.
  8. Xin Chen, Erika Abraham & Sriram Sankaranarayanan (2012): Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In: IEEE 33rd Real-Time Systems Symposium. IEEE Computer Society, pp. 183–192, doi:10.1109/RTSS.2012.70.
  9. Xin Chen, Erika Ábrahám & Sriram Sankaranarayanan (2013): Flow*: An analyzer for non-linear hybrid systems. In: Computer Aided Verification. Springer, pp. 258–263, doi:10.1007/978-3-642-39799-8_18.
  10. A. Le Coënt, J. Alexandre dit Sandretto, A. Chapoutot & L. Fribourg (2016): Control of nonlinear switched systems based on validated simulation. In: 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), pp. 1–6, doi:10.1109/SNR.2016.7479377.
  11. Jerry Ding, Eugene Li, Haomiao Huang & Claire J Tomlin (2011): Reachability-based synthesis of feedback policies for motion planning under bounded disturbances. In: Robotics and Automation (ICRA), 2011 IEEE International Conference on. IEEE, pp. 2160–2165, doi:10.1109/ICRA.2011.5980268.
  12. Tzanko Donchev & Elza Farkhi (1998): Stability and Euler Approximation of One-sided Lipschitz Differential Inclusions. SIAM J. Control Optim. 36(2), pp. 780–796, doi:10.1137/S0363012995293694.
  13. Laurent Fribourg, Ulrich Kühne & Romain Soulat (2014): Finite controlled invariants for sampled switched systems. Formal Methods in System Design 45(3), pp. 303–329, doi:10.1007/s10703-014-0211-2.
  14. Antoine Girard (2005): Reachability of uncertain linear systems using zonotopes. In: Hybrid Systems: Computation and Control. Springer, pp. 291–305, doi:10.1007/978-3-540-31954-2_19.
  15. Antoine Girard, Giordano Pola & Paulo Tabuada (2010): Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control 55(1), pp. 116–126, doi:10.1007/978-3-540-78929-1_15.
  16. Ian A Hiskens (2001): Stability of limit cycles in hybrid systems. In: System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on. IEEE, doi:10.1109/HICSS.2001.926280.
  17. Fabian Immler (2015): Verified reachability analysis of continuous systems. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 37–51, doi:10.1007/978-3-662-46681-0_3.
  18. Frank Lempio (1995): Set-Valued Interpolation, Differential Inclusions, and Sensitivity in Optimization. In: Recent Developments in Well-Posed Variational Problems. Kluwer Academic Publishers, pp. 137–169, doi:10.1007/978-94-015-8472-2_6.
  19. 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), pp. 1771–1785, doi:10.1109/TAC.2013.2246095.
  20. Kyoko Makino & Martin Berz (2009): Rigorous Integration of Flows and ODEs Using Taylor Models. In: Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC '09. ACM, New York, USA, pp. 79–84, doi:10.1145/1577190.1577206.
  21. Pierre-Jean Meyer (2015): Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings. Thèse. Université Grenoble Alpes.
  22. Ramon Moore (1966): Interval Analysis. Prentice Hall.
  23. Nedialko S. Nedialkov, K. Jackson & Georges Corliss (1999): Validated solutions of initial value problems for ordinary differential equations. Appl. Math. and Comp. 105(1), pp. 21 – 68, doi:10.1016/S0096-3003(98)10083-8.
  24. 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.
  25. Julien Alexandre dit Sandretto & Alexandre Chapoutot (2015): DynIbex library. Http://perso.ensta-paristech.fr/~chapoutot/dynibex/.
  26. Julien Alexandre dit Sandretto & Alexandre Chapoutot (2016): Validated explicit and implicit runge-kutta methods. Reliable Computing 22, pp. 79–103.
  27. J. Stolfi & L. H. de Figueiredo (1997): Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium monographs. IMPA/CNPq.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org