Verifying provable stability domains for discrete-time systems using ellipsoidal state enclosures

QR kód

Verifying provable stability domains for discrete-time systems using ellipsoidal state enclosures

Stability contractors, based on interval analysis, were introduced in recent work as a tool to verify stability domains for nonlinear dynamic systems. These contractors rely on the property that - in case of provable asymptotic stability - a certain domain in a multi-dimensional state space is mappe...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Rauh Andreas Bourgois Auguste Jaulin Luc
Dokumentumtípus:	Cikk
Megjelent:	University of Szeged, Institute of Informatics Szeged 2023
Sorozat:	Acta cybernetica 26 No. 2
Kulcsszavak:	Intervallum-analízis, Irányításelmélet, Robotika, Matematikai optimalizálás
Tárgyszavak:	Természettudományok Matematika Számítás- és információtudomány Műszaki és technológiai tudományok Villamosmérnöki és informatikai tudományok
doi:	10.14232/actacyb.293871
Online Access:	http://acta.bibl.u-szeged.hu/86974

Hasonló tételek

Proving the stability of the rolling navigation
Szerző: Bourgois Auguste, et al.
Megjelent: (2023)

Verified interval enclosure techniques for robust gain scheduling controllers
Szerző: Kersten Julia, et al.
Megjelent: (2020)

Verified integration of differential equations with discrete delay
Szerző: Rauh Andreas, et al.
Megjelent: (2022)

Exponential state enclosure techniques for the implementation of validated model predictive control
Szerző: Fnadi Mohamed, et al.
Megjelent: (2024)

Unlabeled data does provably help
Szerző: Darnstädt Malte, et al.
Megjelent: (2013)

About stability on bounded domains of the state space
Szerző: Răsvan Vladimir
Megjelent: (2008)

Quantification of time-domain truncation errors for the reinitialization of fractional integrators
Szerző: Rauh Andreas, et al.
Megjelent: (2023)

Verified bit and power allocation for MIMO systems a comparison of SVD based techniques with GMD /
Szerző: Auer Ekaterina, et al.
Megjelent: (2024)

On ellipsoids circumscribed and inscribed to polyhedra
Szerző: Fejes Tóth László
Megjelent: (1948)

From verified parameter identification to the design of interval observers and cooperativity-preserving controllers an experimental case study /
Szerző: Rauh Andreas, et al.
Megjelent: (2020)

Stability in discrete equations with variable delays
Szerző: Yankson Ernest
Megjelent: (2009)

Certain operations with the sets of discrete states
Szerző: Gavrilov M. A.
Megjelent: (1978)

Necessary and sufficient condition for the global stability of a delayed discrete-time neuron model
Szerző: Bartha Ferenc Ágoston, et al.
Megjelent: (2014)

Real-Time Vehicle Classification System Using a Single Magnetometer
Szerző: Sarcevic Péter, et al.
Megjelent: (2022)

Discrete Lyapunov functional for cyclic systems of differential equations with time-variable or state-dependent delay
Szerző: Balázs István, et al.
Megjelent: (2026)

Asymptotically minimal contractors based on the centered form application to the stability analysis of linear systems /
Szerző: Jaulin Luc
Megjelent: (2024)

Set-valued approach for the online identification of the open-circuit voltage of lithium-ion batteries
Szerző: Lahme Marit, et al.
Megjelent: (2024)

Towards verifiable design patterns [abstract] /
Szerző: Petri Dániel
Megjelent: (2002)

Symmetric solutions to minimization of a p-energy functional with ellipsoid value
Szerző: Lei Yutian
Megjelent: (2003)

RealTime-AT improved online anomaly detection in streaming multidimensional time series : [abstract] /
Szerző: Colak Burak, et al.
Megjelent: (2024)

Interval predictors for a class of uncertain discrete-time systems
Szerző: Meslem Nacim, et al.
Megjelent: (2020)

Robust control and actuator fault detection based on an iterative LMI approach application on a quadrotor /
Szerző: Benzinane Oussama, et al.
Megjelent: (2024)

Extending a system with verified components [abstract] /
Szerző: Dávid Ákos, et al.
Megjelent: (2006)

Formation of Precipitation Ellipsoidal Disks and Spheres in the Wake of a Planar Diffusion Front
Szerző: Farkas Szabolcs, et al.
Megjelent: (2023)

Fooling a Complete Neural Network Verifier
Szerző: Zombori Dániel, et al.
Megjelent: (2021)

Enhanced Time-Domain Detection of the Activation Frequency of Atrial Fibrillation
Szerző: Zölei-Szénási Ráhel, et al.
Megjelent: (2014)

An online change detection test for parametric discrete-time stochastic processes
Szerző: K. Nedényi Fanni
Megjelent: (2018)

Parameter estimation for the subcritical Heston model based on discrete time observations
Szerző: Barczy Mátyás, et al.
Megjelent: (2016)

Global stability of discrete dynamical systems via exponent analysis applications to harvesting population models /
Szerző: Franco Daniel, et al.
Megjelent: (2018)

Ellipsoid Localization Microscopy Infers the Size and Order of Protein Layers in Bacillus Spore Coats
Szerző: Manetsberger Julia, et al.
Megjelent: (2015)

Verified mobile code repository in the intelligent space [abstract] /
Szerző: Tejfel Máté, et al.
Megjelent: (2008)

Parabolic partial differential equations with discrete state-dependent delay Classical solutions and solution manifold /
Szerző: Krisztin Tibor, et al.
Megjelent: (2016)

Applications of stability criteria to time delay systems
Szerző: Popescu Dan, et al.
Megjelent: (2004)

Transient stabilization of unstable states why a stick balanced at the fingertip always falls? /
Szerző: Milton John
Megjelent: (2014)

On the continuity of the state constrained minimal time function
Szerző: Cârjă Ovidiu, et al.
Megjelent: (2014)

Solution manifolds of differential systems with discrete stated-dependent delays are almost graphs
Szerző: Krisztin Tibor, et al.
Megjelent: (2023)

Preface + In memoriam of Nicolas Delanoue 1980-2023 /
Szerző: Jaulin Luc, et al.
Megjelent: (2024)

Fixed-time and state-dependent time discontinuities in the theory of Stieltjes differential equations
Szerző: Satco Bianca
Megjelent: (2022)

RISC-V based hardware acceleration of interval contractor primitives in the context of mobile robotics
Szerző: Filiol Pierre, et al.
Megjelent: (2024)

Stability, convergence and periodicity for equations with state-dependent delay
Szerző: Bartha Mária
Megjelent: (2002)