:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhou, Jingyuan, Wu, Haoze, Yu, Haokun, Yang, Kaidi
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2509.10118
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2026)

Interaction-Aware Parameter Privacy-Preserving Data Sharing in Coupled Systems via Particle Filter Reinforcement Learning
by: Yu, Haokun, et al.
Published: (2025)

Parameter Privacy-Preserving Data Sharing: A Particle-Belief MDP Formulation
by: Yu, Haokun, et al.
Published: (2026)

Enhancing System-Level Safety in Mixed-Autonomy Platoon via Safe Reinforcement Learning
by: Zhou, Jingyuan, et al.
Published: (2024)

A Parameter Privacy-Preserving Strategy for Mixed-Autonomy Platoon Control
by: Zhou, Jingyuan, et al.
Published: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Fostering Data Collaboration in Digital Transportation Marketplaces: The Role of Privacy-Preserving Mechanisms
by: Wang, Qiqing, et al.
Published: (2026)

Enforcing Cooperative Safety for Reinforcement Learning-based Mixed-Autonomy Platoon Control
by: Zhou, Jingyuan, et al.
Published: (2024)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)

Platoon-Centric Green Light Optimal Speed Advisory Using Safe Reinforcement Learning
by: Yang, Ruining, et al.
Published: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
by: Li, Yonghan, et al.
Published: (2024)

An Input-Output Data-Driven Dissipativity Approach for Compositional Stability Certification of Interconnected LTI MIMO Systems
by: Sandoval-Carranza, Alejandra, et al.
Published: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
by: Zaker, Mahdieh, et al.
Published: (2025)

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

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
by: Basu, Ahan, et al.
Published: (2025)

Panel-Scale Reconfigurable Photonic Interconnects for Scalable AI Computation
by: Hsueh, Tzu-Chien, et al.
Published: (2025)

Data-Driven Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
by: Cui, Bohan, et al.
Published: (2026)

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Scalable Neural Dynamic Equivalence for Power Systems
by: Shen, Qing, et al.
Published: (2023)

On Incremental Stability of Interconnected Switched Systems
by: Dey, Bhabani Shankar, et al.
Published: (2023)

Multiple Control Functionals for Interconnected Time-Delay Systems
by: Pan, Zhuo-Rui, et al.
Published: (2023)

Interconnection of (Q,S,R)-Dissipative Systems in Discrete Time
by: Martinelli, Andrea, et al.
Published: (2023)

Interconnection-based Model Reduction for Linear Hybrid Systems
by: Niu, Zirui, et al.
Published: (2026)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
by: Henzinger, Thomas A., et al.
Published: (2025)

3D Electronic-Photonic Heterogenous Interconnect Platforms Enabling Energy-Efficient Scalable Architectures For Future HPC Systems
by: Samanta, Anirban, et al.
Published: (2025)

A Scalable Design Approach to Resilient Architectures for Interconnected Cyber-Physical Systems: Safety Guarantees under Multiple Attacks
by: Badr, Eman, et al.
Published: (2025)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
by: Wu, Hao, et al.
Published: (2023)

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

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Safe Control of Feedback-Interconnected Systems via Singular Perturbations
by: Di Gregorio, Stefano, et al.
Published: (2026)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
by: Cai, Feiyang, et al.
Published: (2024)

Observer-Based Distributed Model Predictive Control for String-Stable Multi-vehicle Systems with Markovian Switching Topology
by: Que, Wenwei, et al.
Published: (2025)

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