:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gleirscher, Mario, Massoud, Rehab, Hutter, Dieter, Lüth, Christoph
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2404.10747
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Solvability of Approximate Reach-Avoid Games
by: Gleirscher, Mario
Published: (2025)

Safety Controller Synthesis for Collaborative Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
by: Gleirscher, Mario, et al.
Published: (2017)

A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees
by: Gleirscher, Mario, et al.
Published: (2025)

Maintaining driver attentiveness in shared-control autonomous driving
by: Calinescu, Radu, et al.
Published: (2021)

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
by: Gleirscher, Mario, et al.
Published: (2023)

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
by: Gleirscher, Mario, et al.
Published: (2021)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
by: Basu, Ahan, et al.
Published: (2025)

LMI Properties and Applications in Systems, Stability, and Control Theory
by: Caverly, Ryan James, et al.
Published: (2019)

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems
by: Basu, Ahan, et al.
Published: (2025)

Stability Properties of the Impulsive Goodwin's Oscillator in 1-cycle
by: Proskurnikov, Anton V., et al.
Published: (2024)

EMT and RMS Modeling of Thyristor Rectifiers for Stability Analysis of Converter-Based Systems
by: Stanojev, Ognjen, et al.
Published: (2026)

Small-Signal Stability Analysis of Power Systems by Implicit Multilinear Models
by: Kaufmann, Christoph, et al.
Published: (2025)

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
by: Schnittka, Till, et al.
Published: (2024)

Stabilization of Strictly Pre-Dissipative Receding Horizon Linear Quadratic Control by Terminal Costs
by: Zanon, Mario, et al.
Published: (2025)

The FABRIC Strategy for Verifying Neural Feedback Systems
by: Akinwande, Samuel I., et al.
Published: (2026)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

Inferring Global Exponential Stability Properties using Lie-bracket Approximations
by: Weber, Marc, et al.
Published: (2024)

Stability Analysis and Stabilization of Continuous-Time Linear Systems with Distributed Delays
by: Feng, Qian, et al.
Published: (2022)

Local Stability and Stabilization of Quadratic-Bilinear Systems using Petersen's Lemma
by: Kafshgarkolaei, Amir Enayati, et al.
Published: (2025)

Inverse Learning-Based Output Feedback Control of Nonlinear Systems with Verifiable Guarantees
by: Jang, Yeongjun, et al.
Published: (2026)

Symmetry Is Almost All You Need: Robust Stability with Uncertainty Induced by Symmetric SRG Regions
by: Zhang, Ding, et al.
Published: (2026)

Stabilizing Rate of Stochastic Control Systems
by: Jia, Hui, et al.
Published: (2025)

Vibrational Stabilization of Complex Network Systems
by: Nobili, Alberto Maria, et al.
Published: (2023)

A Verifiable Computing Scheme for Encrypted Control Systems
by: Stabile, Francesca, et al.
Published: (2024)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
by: Liu, Jun, et al.
Published: (2023)

Matrix-Valued Passivity Indices: Foundations, Properties, and Stability Implications
by: Ru, Xi, et al.
Published: (2026)

Stability Analysis of Compartmental and Cooperative Systems
by: Wiersdalen, Sondre, et al.
Published: (2023)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
by: Reinpold, Lasse M., et al.
Published: (2024)

Verifiable Mission Planning For Space Operations
by: Rommel, Quentin, et al.
Published: (2025)

On the Stability of Datatic Control Systems
by: Yang, Yujie, et al.
Published: (2024)

Stabilization of Nonlinear Systems through Control Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

Self-triggered Stabilization of Contracting Systems under Quantization
by: Wakaiki, Masashi
Published: (2023)

Structural Stability Properties of Antithetic Integral (Rein) Control with Output Inhibition
by: Briat, Corentin, et al.
Published: (2022)

Why Change Your Controller When You Can Change Your Planner: Drag-Aware Trajectory Generation for Quadrotor Systems
by: Zhang, Hanli, et al.
Published: (2024)

Stability of Ecological Systems: A Theoretical Review
by: Chen, Can, et al.
Published: (2023)

Controlling Complex Systems
by: Coraggio, Marco, et al.
Published: (2025)

Properties of Eventually Positive Linear Input-Output Systems
by: Sootla, Aivar
Published: (2015)