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


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… (More)
DOI: 10.4204/EPTCS.247.2


10 Figures and Tables