Image de couverture de livre

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sibai, Hussein, Huriot, Sacha, Martin, Tyler, Arcak, Murat
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

Safe Decentralized Multi-Agent Control using Black-Box Predictors, Conformal Decision Policies, and Control Barrier Functions
par: Huriot, Sacha, et autres
Publié: (2024)

Safe Control using Learned Safety Filters and Adaptive Conformal Inference
par: Huriot, Sacha, et autres
Publié: (2026)

Stability Margins of Neural Network Controllers
par: Junnarkar, Neelay, et autres
Publié: (2024)

Learning Neural Network Controllers with Certified Robust Performance via Adversarial Training
par: Junnarkar, Neelay, et autres
Publié: (2026)

Learning Ensembles of Vision-based Safety Control Filters
par: Tabbara, Ihab, et autres
Publié: (2024)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
par: Dietrich, Elizabeth, et autres
Publié: (2025)

Grouping of $N-1$ Contingencies for Controller Synthesis: A Study for Power Line Failures
par: Junnarkar, Neelay, et autres
Publié: (2024)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
par: Sonmez, Yasin, et autres
Publié: (2024)

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
par: Junnarkar, Neelay, et autres
Publié: (2024)

Learning Conservative Neural Control Barrier Functions from Offline Data
par: Tabbara, Ihab, et autres
Publié: (2025)

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
par: Junnarkar, Neelay, et autres
Publié: (2022)

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
par: Dietrich, Elizabeth, et autres
Publié: (2026)

Solving Monotone Variational Inequalities with Best Response Dynamics
par: Chen, Yu-Wen, et autres
Publié: (2024)

On Exact Solutions to the Linear Bellman Equation
par: Ohlin, David, et autres
Publié: (2025)

Set Invariance with Probability One for Controlled Diffusion: Score-based Approach
par: Wang, Wenqing, et autres
Publié: (2025)

Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
par: Tabbara, Ihab, et autres
Publié: (2025)

Controlled Invariant Sets for Gaussian Process State Space Models
par: Griffioen, Paul, et autres
Publié: (2024)

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
par: Huang, Zhiyuan, et autres
Publié: (2026)

Pre-Trained Vision Models as Perception Backbones for Safety Filters in Autonomous Driving
par: Yang, Yuxuan, et autres
Publié: (2024)

Hierarchical Decision-Making in Population Games
par: Chen, Yu-Wen, et autres
Publié: (2025)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
par: Dietrich, Elizabeth, et autres
Publié: (2025)

Importance Sampling for Statistical Certification of Viable Initial Sets
par: Dietrich, Elizabeth, et autres
Publié: (2026)

Intelligent Sailing Model for Open Sea Navigation
par: Krasowski, Hanna, et autres
Publié: (2025)

Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
par: Seiler, Peter, et autres
Publié: (2017)

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity
par: Anderson, Brendon G., et autres
Publié: (2023)

Fast Assignment in Asset-Guarding Engagements using Function Approximation
par: Junnarkar, Neelay, et autres
Publié: (2024)

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework
par: Jensen, Emily, et autres
Publié: (2023)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
par: Sivaramakrishnan, Vignesh, et autres
Publié: (2024)

Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
par: Tabbara, Ihab, et autres
Publié: (2025)

Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems
par: Certório, Jair, et autres
Publié: (2024)

Falsification-driven reinforcement learning for maritime motion planning
par: Müller, Marlon, et autres
Publié: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
par: Ren, Wei, et autres
Publié: (2024)

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
par: Samari, Behrad, et autres
Publié: (2024)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
par: Nazeri, Mahdi, et autres
Publié: (2025)

Congestion Reduction in EV Charger Placement Using Traffic Equilibrium Models
par: Kara, Semih, et autres
Publié: (2025)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2025)

Context-triggered Abstraction-based Control Design
par: Nayak, Satya Prakash, et autres
Publié: (2023)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
par: Wiltz, Adrian, et autres
Publié: (2025)

Designing Latent Safety Filters using Pre-Trained Vision Models
par: Tabbara, Ihab, et autres
Publié: (2025)

Bridging Abstraction-Based Hierarchical Control and Moment Matching: A Conceptual Unification
par: Niu, Zirui, et autres
Publié: (2025)