Copertina

Controlled Invariant Sets for Gaussian Process State Space Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Griffioen, Paul, Zhong, Bingzhuo, Arcak, Murat, Zamani, Majid, Caccamo, Marco
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Secure-by-Construction Synthesis for Control Systems
di: Zhong, Bingzhuo, et al.
Pubblicazione: (2023)

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
di: Huang, Zhiyuan, et al.
Pubblicazione: (2026)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2025)

Transfer Learning for Control Systems via Neural Simulation Relations
di: Nadali, Alireza, et al.
Pubblicazione: (2024)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
di: Zhong, Bingzhuo, et al.
Pubblicazione: (2024)

Stability Margins of Neural Network Controllers
di: Junnarkar, Neelay, et al.
Pubblicazione: (2024)

Importance Sampling for Statistical Certification of Viable Initial Sets
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2026)

Learning Neural Network Controllers with Certified Robust Performance via Adversarial Training
di: Junnarkar, Neelay, et al.
Pubblicazione: (2026)

Set Invariance with Probability One for Controlled Diffusion: Score-based Approach
di: Wang, Wenqing, et al.
Pubblicazione: (2025)

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
di: Junnarkar, Neelay, et al.
Pubblicazione: (2024)

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity
di: Anderson, Brendon G., et al.
Pubblicazione: (2023)

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
di: Sibai, Hussein, et al.
Pubblicazione: (2024)

Communication-Aware Synthesis of Safety Controller for Networked Control Systems
di: Liu, Yihan, et al.
Pubblicazione: (2026)

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2026)

Solving Monotone Variational Inequalities with Best Response Dynamics
di: Chen, Yu-Wen, et al.
Pubblicazione: (2024)

On Exact Solutions to the Linear Bellman Equation
di: Ohlin, David, et al.
Pubblicazione: (2025)

Intelligent Sailing Model for Open Sea Navigation
di: Krasowski, Hanna, et al.
Pubblicazione: (2025)

Grouping of $N-1$ Contingencies for Controller Synthesis: A Study for Power Line Failures
di: Junnarkar, Neelay, et al.
Pubblicazione: (2024)

Lure-and-Reveal: An Exposure Framework for Stealthy Deception Attack in Multi-sensor Uncertain Systems
di: Tian, Meiqi, et al.
Pubblicazione: (2026)

Hierarchical Decision-Making in Population Games
di: Chen, Yu-Wen, et al.
Pubblicazione: (2025)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2025)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
di: Sonmez, Yasin, et al.
Pubblicazione: (2024)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
di: Ajeleye, Daniel, et al.
Pubblicazione: (2024)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
di: Galarza-Jimenez, Felipe, et al.
Pubblicazione: (2026)

Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
di: Seiler, Peter, et al.
Pubblicazione: (2017)

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
di: Junnarkar, Neelay, et al.
Pubblicazione: (2022)

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
di: Nadali, Alireza, et al.
Pubblicazione: (2024)

Recursive Gaussian Process State Space Model
di: Zheng, Tengjie, et al.
Pubblicazione: (2024)

On Approximate Opacity of Stochastic Control Systems
di: Liu, Siyuan, et al.
Pubblicazione: (2024)

Fast Assignment in Asset-Guarding Engagements using Function Approximation
di: Junnarkar, Neelay, et al.
Pubblicazione: (2024)

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework
di: Jensen, Emily, et al.
Pubblicazione: (2023)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
di: Sivaramakrishnan, Vignesh, et al.
Pubblicazione: (2024)

Control Closure Certificates
di: Murali, Vishnu, et al.
Pubblicazione: (2025)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
di: Oumer, Mohammed Adib, et al.
Pubblicazione: (2025)

Vector Certificates for $ω$-regular Specifications
di: Oumer, Mohammed Adib, et al.
Pubblicazione: (2026)

Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems
di: Certório, Jair, et al.
Pubblicazione: (2024)

Learning Quasi-LPV Models and Robust Control Invariant Sets with Reduced Conservativeness
di: Mulagaleti, Sampath Kumar, et al.
Pubblicazione: (2025)

Failure-Aware Iterative Learning of State-Control Invariant Sets
di: Amine, Ahmad, et al.
Pubblicazione: (2026)

Falsification-driven reinforcement learning for maritime motion planning
di: Müller, Marlon, et al.
Pubblicazione: (2025)

Combined Learning of Linear Parameter-Varying Models and Robust Control Invariant Sets
di: Mulagaleti, Sampath Kumar, et al.
Pubblicazione: (2024)