:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bayat, Amir, Abate, Alessandro, Ozay, Necmiye, Jungers, Raphael M.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control
Online-Zugang:	https://arxiv.org/abs/2505.11077
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Simulation Preorder for Koopman-like Lifted Control Systems
von: Aspeel, Antoine, et al.
Veröffentlicht: (2024)

Safe Control of Multi-Agent Systems with Minimal Communication
von: Yang, Mo, et al.
Veröffentlicht: (2025)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
von: Banse, Adrien, et al.
Veröffentlicht: (2024)

Noise Sensitivity of the Semidefinite Programs for Direct Data-Driven LQR
von: Zeng, Xiong, et al.
Veröffentlicht: (2024)

Minimal L2-Consistent Data-Transmission
von: Aspeel, Antoine, et al.
Veröffentlicht: (2024)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
von: Karagulle, Ruya, et al.
Veröffentlicht: (2025)

On the Nonexistence of Continuous Immersions for Discrete-time Systems
von: Ristich, Eron, et al.
Veröffentlicht: (2026)

Agile Temporal Discretization for Symbolic Optimal Control
von: Janssens, Adrien, et al.
Veröffentlicht: (2025)

System Identification Under Bounded Noise: Optimal Rates Beyond Least Squares
von: Zeng, Xiong, et al.
Veröffentlicht: (2025)

Dionysos.jl: a Modular Platform for Smart Symbolic Control
von: Calbert, Julien, et al.
Veröffentlicht: (2024)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
von: Ren, Wei, et al.
Veröffentlicht: (2024)

Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings
von: Liu, Zexiang, et al.
Veröffentlicht: (2023)

A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles
von: Karagulle, Ruya, et al.
Veröffentlicht: (2023)

Ordering and refining path-complete Lyapunov functions through composition lifts
von: Jongeneel, Wouter, et al.
Veröffentlicht: (2025)

On the Generalization Properties of Selective State-Space Models for Filtering Tasks for Unknown Systems
von: Tang, Alex, et al.
Veröffentlicht: (2026)

Identification and Adaptive Control of Markov Jump Systems: Sample Complexity and Regret Bounds
von: Sattar, Yahya, et al.
Veröffentlicht: (2021)

Can Transformers Learn Optimal Filtering for Unknown Systems?
von: Balim, Haldun, et al.
Veröffentlicht: (2023)

A Path-Complete Approach for Optimal Control of Switched Systems
von: Ninite, Léa, et al.
Veröffentlicht: (2026)

Characterizing simulation relations through control architectures in abstraction-based control
von: Calbert, Julien, et al.
Veröffentlicht: (2024)

Mode-Prefix-Based Control of Switched Linear Systems with Applications to Fault Tolerance
von: Padmanabhan, Ram, et al.
Veröffentlicht: (2025)

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control
von: Della Rossa, Matteo, et al.
Veröffentlicht: (2023)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)

Safety-Critical Control on Lie Groups Using Energy-Augmented Zeroing Control Barrier Functions
von: Letti, Alessandro, et al.
Veröffentlicht: (2025)

Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids
von: Mukhi, Karan, et al.
Veröffentlicht: (2025)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
von: Liu, Shuo, et al.
Veröffentlicht: (2023)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
von: Mukhi, Karan, et al.
Veröffentlicht: (2025)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
von: Banse, Adrien, et al.
Veröffentlicht: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
von: Badings, Thom, et al.
Veröffentlicht: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

On the Completeness and Ordering of Path-Complete Barrier Functions
von: Anand, Mahathi, et al.
Veröffentlicht: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
von: Riccardi, Alessandro, et al.
Veröffentlicht: (2026)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
von: Badings, Thom, et al.
Veröffentlicht: (2024)

SDC-Based Model Predictive Control: Enhancing Computational Feasibility for Safety-Critical Quadrotor Control
von: Omidi, Saber
Veröffentlicht: (2025)

Context-triggered Abstraction-based Control Design
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2023)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
von: Mukhi, Karan, et al.
Veröffentlicht: (2025)

Continuous-time Data-driven Barrier Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

Data-Driven Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

StocHy: automated verification and synthesis of stochastic processes
von: Cauchi, Nathalie, et al.
Veröffentlicht: (2019)

Learning-based Rigid Tube Model Predictive Control
von: Gao, Yulong, et al.
Veröffentlicht: (2023)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
von: Butler, Brooks A., et al.
Veröffentlicht: (2023)