DeepAI AI Chat
Log In Sign Up

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

by   Adrien Le Coënt, et al.

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.


page 1

page 2

page 3

page 4


Nonlinear Robust Filtering of Sampled-Data Dynamical Systems

This work is concerned with robust filtering of nonlinear sampled-data s...

Towards optimal space-time discretizations for reachable sets of nonlinear systems

Reachable sets of nonlinear control systems can in general only be appro...

Modeling and Simulation of a Point to Point Spherical Articulated Manipulator using Optimal Control

This paper aims to design an optimal stability controller for a point to...

Exponential Euler and backward Euler methods for nonlinear heat conduction problems

In this paper a variant of nonlinear exponential Euler scheme is propose...

New options for explicit all Mach number schemes by suitable choice of time integration methods

Many low-Mach or all-Mach number codes are based on space discretization...

A note about Euler's inequality and automated reasoning with dynamic geometry

Using implicit loci in GeoGebra Euler's R≥ 2r inequality can be investig...