Enclosing of the Image of a Sphere by a Nonlinear Function Using Parallelepipeds

  Рет қаралды 36

Interval methods in control engineering

Interval methods in control engineering

Күн бұрын

Speaker:
Maël Godard (ENSTA, Lab-STICC, Brest, France)
Abstract:
In this presentation, we propose to use parallelepipeds to enclose the image of a sphere by a nonlinear function, with examples in two and three dimensions.
We will consider the cases where the function is known, and when it is the flow function of a dynamical system. The CAPD library will be used for guaranteed integration when needed, in combination with the CODAC library.

Пікірлер
A New Chapter in the Quest for Dark Matter and its Connection to Gravitational Waves
1:10:43
Laboratoire Astroparticule & Cosmologie (APC)
Рет қаралды 54
When ur grandma sneaks u money
00:32
Adam W
Рет қаралды 19 МЛН
Непосредственно Каха - бургер
00:27
К-Media
Рет қаралды 3,2 МЛН
Banana vs Sword on a Conveyor Belt
01:00
Mini Katana
Рет қаралды 77 МЛН
Don’t try this trick with a Squid Game Soldier 😉 #squidgame
00:15
Andrey Grechka
Рет қаралды 179 МЛН
Spring 2025 Colloquium Talk- Jose Castillo
53:21
SDSU Computational Science Research Center
Рет қаралды 22
Lecture 1: Introduction to Power Electronics
43:22
MIT OpenCourseWare
Рет қаралды 1 МЛН
UKAN+ Webinar: The Wiener--Hopf perspective on embedding formula in acoustics
40:02
Sub-ODEs Simplify Taylor Series Algorithms for Ordinary Differential Equations
57:00
Interval methods in control engineering
Рет қаралды 34
Bounding the Success Probability of a Set Event in a Probabilistic World
33:43
Interval methods in control engineering
Рет қаралды 38
Something Strange Happens When You Follow Einstein's Math
37:03
Veritasium
Рет қаралды 19 МЛН
Visualizing quaternions (4d numbers) with stereographic projection
31:51
The Closest We’ve Come to a Theory of Everything
32:44
Veritasium
Рет қаралды 10 МЛН
Robust Deterministic Abstractions of Discr.-Time Cont.-State Systems through Linear State Feedback
1:01:26
When ur grandma sneaks u money
00:32
Adam W
Рет қаралды 19 МЛН