Imagen de Portada

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Huang, Zhiyuan, Li, Shuo, Arcak, Murat, Zamani, Majid, Zhong, Bingzhuo
Formato:	Preprint
Publicado:	2026
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

Controlled Invariant Sets for Gaussian Process State Space Models
por: Griffioen, Paul, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Approximate Simulation-based Hierarchical Control of Nonlinear Systems
por: Niu, Zirui, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
por: Murali, Vishnu, et al.
Publicado: (2023)

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

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

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

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

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
por: Delimpaltadakis, Giannis, et al.
Publicado: (2024)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
por: Murali, Vishnu, et al.
Publicado: (2026)

Control Closure Certificates
por: Murali, Vishnu, et al.
Publicado: (2025)

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

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

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