Imagen de Portada

LLM-Enhanced Symbolic Control for Safety-Critical Applications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bayat, Amir, Abate, Alessandro, Ozay, Necmiye, Jungers, Raphael M.
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Simulation Preorder for Koopman-like Lifted Control Systems
por: Aspeel, Antoine, et al.
Publicado: (2024)

Safe Control of Multi-Agent Systems with Minimal Communication
por: Yang, Mo, et al.
Publicado: (2025)

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

Noise Sensitivity of the Semidefinite Programs for Direct Data-Driven LQR
por: Zeng, Xiong, et al.
Publicado: (2024)

Minimal L2-Consistent Data-Transmission
por: Aspeel, Antoine, et al.
Publicado: (2024)

Agile Temporal Discretization for Symbolic Optimal Control
por: Janssens, Adrien, et al.
Publicado: (2025)

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

On the Nonexistence of Continuous Immersions for Discrete-time Systems
por: Ristich, Eron, et al.
Publicado: (2026)

System Identification Under Bounded Noise: Optimal Rates Beyond Least Squares
por: Zeng, Xiong, et al.
Publicado: (2025)

Dionysos.jl: a Modular Platform for Smart Symbolic Control
por: Calbert, Julien, et al.
Publicado: (2024)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
por: Ren, Wei, et al.
Publicado: (2024)

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

Ordering and refining path-complete Lyapunov functions through composition lifts
por: Jongeneel, Wouter, et al.
Publicado: (2025)

A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles
por: Karagulle, Ruya, et al.
Publicado: (2023)

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

Identification and Adaptive Control of Markov Jump Systems: Sample Complexity and Regret Bounds
por: Sattar, Yahya, et al.
Publicado: (2021)

Can Transformers Learn Optimal Filtering for Unknown Systems?
por: Balim, Haldun, et al.
Publicado: (2023)

A Path-Complete Approach for Optimal Control of Switched Systems
por: Ninite, Léa, et al.
Publicado: (2026)

Characterizing simulation relations through control architectures in abstraction-based control
por: Calbert, Julien, et al.
Publicado: (2024)

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

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control
por: Della Rossa, Matteo, et al.
Publicado: (2023)

Safety-Critical Control on Lie Groups Using Energy-Augmented Zeroing Control Barrier Functions
por: Letti, Alessandro, et al.
Publicado: (2025)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
por: Liu, Shuo, et al.
Publicado: (2023)

Neural Proofs for Sound Verification and Control of Complex Systems
por: Abate, Alessandro
Publicado: (2025)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
por: Mukhi, Karan, et al.
Publicado: (2025)

Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids
por: Mukhi, Karan, et al.
Publicado: (2025)

SDC-Based Model Predictive Control: Enhancing Computational Feasibility for Safety-Critical Quadrotor Control
por: Omidi, Saber
Publicado: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
por: Riccardi, Alessandro, et al.
Publicado: (2026)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
por: Banse, Adrien, et al.
Publicado: (2025)

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

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
por: Badings, Thom, et al.
Publicado: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
por: Abate, Alessandro, et al.
Publicado: (2024)

A Review on Symbolic Regression in Power Systems: Methods, Applications, and Future Directions
por: Javadi, Amir Bahador, et al.
Publicado: (2025)

On Suboptimal Safety-Critical Tracking Controller Design
por: Batmani, Yazdan, et al.
Publicado: (2025)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
por: Butler, Brooks A., et al.
Publicado: (2023)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
por: Mukhi, Karan, et al.
Publicado: (2025)

Continuous-time Data-driven Barrier Certificate Synthesis
por: Rickard, Luke, et al.
Publicado: (2025)

Data-Driven Certificate Synthesis
por: Rickard, Luke, et al.
Publicado: (2025)

StocHy: automated verification and synthesis of stochastic processes
por: Cauchi, Nathalie, et al.
Publicado: (2019)

A Tunable Universal Formula for Safety-Critical Control
por: Li, Ming, et al.
Publicado: (2024)