Imagen de Portada

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Galarza-Jimenez, Felipe, Zamani, Majid, Jafarpour, Saber
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

Monotone Neural Barrier Certificates
por: Jafarpour, Saber, et al.
Publicado: (2025)

Monotonicity and Contraction on Polyhedral Cones
por: Jafarpour, Saber, et al.
Publicado: (2022)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
por: Liu, Zishun, et al.
Publicado: (2024)

Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
por: Liu, Zishun, et al.
Publicado: (2025)

Probabilistic Reachability Analysis of Stochastic Control Systems
por: Jafarpour, Saber, et al.
Publicado: (2024)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
por: Harapanahalli, Akash, et al.
Publicado: (2024)

Forward Invariance in Neural Network Controlled Systems
por: Harapanahalli, Akash, et al.
Publicado: (2023)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
por: Harapanahalli, Akash, et al.
Publicado: (2023)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
por: Ajeyemi, Damola, et al.
Publicado: (2025)

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

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
por: Liu, Zishun, et al.
Publicado: (2024)

Geometric Reachability for Attitude Control Systems via Contraction Theory
por: Xu, Chencheng, et al.
Publicado: (2025)

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

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
por: Oumer, Mohammed Adib, et al.
Publicado: (2025)

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

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
por: Jafarpour, Saber, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
por: Samari, Behrad, et al.
Publicado: (2024)

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

Non-Euclidean Monotone Operator Theory and Applications
por: Davydov, Alexander, et al.
Publicado: (2023)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
por: Wang, Han, et al.
Publicado: (2023)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
por: Omidi, Saber, et al.
Publicado: (2025)

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

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

On Robust Controlled Invariants for Continuous-time Monotone Systems
por: Wembe, Emmanuel Junior Wafo, et al.
Publicado: (2024)

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

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

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
por: Agrawal, Devansh R, et al.
Publicado: (2022)

TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
por: Gardner, Jamie, et al.
Publicado: (2025)

Verification and Synthesis of Discrete-Time Control Barrier Functions
por: Shakhesi, Erfan, et al.
Publicado: (2025)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
por: Akbarzadeh, Omid, et al.
Publicado: (2026)

Safety in Admittance Control using Reference Trajectory Shaping
por: Paul, Chayan Kumar, et al.
Publicado: (2026)

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
por: Zenati, Abdelhafid, et al.
Publicado: (2022)