Image de couverture de livre

How Deduction Systems Can Help You To Verify Stability Properties

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gleirscher, Mario, Massoud, Rehab, Hutter, Dieter, Lüth, Christoph
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
par: Foster, Simon, et autres
Publié: (2020)

Solvability of Approximate Reach-Avoid Games
par: Gleirscher, Mario
Publié: (2025)

Safety Controller Synthesis for Collaborative Robots
par: Gleirscher, Mario, et autres
Publié: (2020)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
par: Gleirscher, Mario, et autres
Publié: (2017)

A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees
par: Gleirscher, Mario, et autres
Publié: (2025)

Maintaining driver attentiveness in shared-control autonomous driving
par: Calinescu, Radu, et autres
Publié: (2021)

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
par: Gleirscher, Mario, et autres
Publié: (2023)

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
par: Gleirscher, Mario, et autres
Publié: (2021)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
par: Liu, Jun, et autres
Publié: (2024)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
par: Basu, Ahan, et autres
Publié: (2025)

LMI Properties and Applications in Systems, Stability, and Control Theory
par: Caverly, Ryan James, et autres
Publié: (2019)

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems
par: Basu, Ahan, et autres
Publié: (2025)

Small-Signal Stability Analysis of Power Systems by Implicit Multilinear Models
par: Kaufmann, Christoph, et autres
Publié: (2025)

Stability Properties of the Impulsive Goodwin's Oscillator in 1-cycle
par: Proskurnikov, Anton V., et autres
Publié: (2024)

EMT and RMS Modeling of Thyristor Rectifiers for Stability Analysis of Converter-Based Systems
par: Stanojev, Ognjen, et autres
Publié: (2026)

Inverse Learning-Based Output Feedback Control of Nonlinear Systems with Verifiable Guarantees
par: Jang, Yeongjun, et autres
Publié: (2026)

Dynamic System Stability Verification Using Numerical Simulator
par: Kim, Jongrae
Publié: (2023)

Inferring Global Exponential Stability Properties using Lie-bracket Approximations
par: Weber, Marc, et autres
Publié: (2024)

The FABRIC Strategy for Verifying Neural Feedback Systems
par: Akinwande, Samuel I., et autres
Publié: (2026)

Stability Analysis and Stabilization of Continuous-Time Linear Systems with Distributed Delays
par: Feng, Qian, et autres
Publié: (2022)

Local Stability and Stabilization of Quadratic-Bilinear Systems using Petersen's Lemma
par: Kafshgarkolaei, Amir Enayati, et autres
Publié: (2025)

Stabilization of Strictly Pre-Dissipative Receding Horizon Linear Quadratic Control by Terminal Costs
par: Zanon, Mario, et autres
Publié: (2025)

Stabilizing Rate of Stochastic Control Systems
par: Jia, Hui, et autres
Publié: (2025)

Vibrational Stabilization of Complex Network Systems
par: Nobili, Alberto Maria, et autres
Publié: (2023)

Matrix-Valued Passivity Indices: Foundations, Properties, and Stability Implications
par: Ru, Xi, et autres
Publié: (2026)

A Verifiable Computing Scheme for Encrypted Control Systems
par: Stabile, Francesca, et autres
Publié: (2024)

Symmetry Is Almost All You Need: Robust Stability with Uncertainty Induced by Symmetric SRG Regions
par: Zhang, Ding, et autres
Publié: (2026)

On the Stability of Datatic Control Systems
par: Yang, Yujie, et autres
Publié: (2024)

Stability Analysis of Compartmental and Cooperative Systems
par: Wiersdalen, Sondre, et autres
Publié: (2023)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2023)

Verifiable Mission Planning For Space Operations
par: Rommel, Quentin, et autres
Publié: (2025)

Stabilization of Nonlinear Systems through Control Barrier Functions
par: Mestres, Pol, et autres
Publié: (2024)

Self-triggered Stabilization of Contracting Systems under Quantization
par: Wakaiki, Masashi
Publié: (2023)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
par: Reinpold, Lasse M., et autres
Publié: (2024)

Stability of Ecological Systems: A Theoretical Review
par: Chen, Can, et autres
Publié: (2023)

On Incremental Stability of Interconnected Switched Systems
par: Dey, Bhabani Shankar, et autres
Publié: (2023)

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
par: Schnittka, Till, et autres
Publié: (2024)

Properties of Eventually Positive Linear Input-Output Systems
par: Sootla, Aivar
Publié: (2015)

Harnessing Membership Function Dynamics for Stability Analysis of T-S Fuzzy Systems
par: Lee, Donghwan, et autres
Publié: (2024)

A Geometric Approach to Feedback Stabilization of Nonlinear Systems with Drift
par: Michalska, Hannah, et autres
Publié: (2026)