Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method

Abstract

In this paper, we propose a symbolic control synthesis method for nonlinear sampled switched systems whose vector fields are one-sided Lipschitz. The main idea is to use an approximate model obtained from the forward Euler method to build a guaranteed control. The benefit of this method is that the error introduced by symbolic modeling is bounded by choosing suitable time and space discretizations. The method is implemented in the interpreted language Octave. Several examples of the literature are performed and the results are compared with results obtained with a previous method based on the Runge-Kutta integration method.

In Proceedings SNR 2017, arXiv:1704.02421

Cited by in corpus (6)

• SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
• Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants
• Robust optimal periodic control using guaranteed Euler's method
• Robust optimal control using dynamic programming and guaranteed Euler's method
• Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems
• Constructing invariant tori using guaranteed Euler method