Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
Fuente:
arXiv
Salvato in:
| Autori principali: | Su, Han, Zhu, Jiyu, Feng, Shenghua, Bai, Yunjun, Gu, Bin, Liu, Jiang, Yang, Mengfei, Zhan, Naijun |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
di: Su, Han, et al.
Pubblicazione: (2024)
di: Su, Han, et al.
Pubblicazione: (2024)
Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
di: Feng, Shenghua, et al.
Pubblicazione: (2025)
di: Feng, Shenghua, et al.
Pubblicazione: (2025)
Exact Moment Estimation of Stochastic Differential Dynamics
di: Feng, Shenghua, et al.
Pubblicazione: (2026)
di: Feng, Shenghua, et al.
Pubblicazione: (2026)
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
di: Wu, Hao, et al.
Pubblicazione: (2023)
di: Wu, Hao, et al.
Pubblicazione: (2023)
Derivative-Agnostic Inference of Nonlinear Hybrid Systems
di: Yu, Hengzhi, et al.
Pubblicazione: (2025)
di: Yu, Hengzhi, et al.
Pubblicazione: (2025)
Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
di: Xue, Bai
Pubblicazione: (2024)
di: Xue, Bai
Pubblicazione: (2024)
Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
di: Wu, Taoran, et al.
Pubblicazione: (2025)
di: Wu, Taoran, et al.
Pubblicazione: (2025)
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
di: Ding, Jianqiang, et al.
Pubblicazione: (2025)
di: Ding, Jianqiang, et al.
Pubblicazione: (2025)
Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
di: Xue, Bai
Pubblicazione: (2024)
di: Xue, Bai
Pubblicazione: (2024)
Runtime Enforcement of CPS against Signal Temporal Logic
di: Su, Han, et al.
Pubblicazione: (2025)
di: Su, Han, et al.
Pubblicazione: (2025)
Uncertainty Propagation in Stochastic Hybrid Systems with Dimension-Varying Resets
di: C., Tejaswi K., et al.
Pubblicazione: (2026)
di: C., Tejaswi K., et al.
Pubblicazione: (2026)
Analysis and Design of Reset Control Systems via Base Linear Scaled Graphs
di: de Groot, T., et al.
Pubblicazione: (2026)
di: de Groot, T., et al.
Pubblicazione: (2026)
Frequency Domain Stability and Convergence Analysis for General Reset Control Systems Architecture
di: Hosseini, S. Ali, et al.
Pubblicazione: (2025)
di: Hosseini, S. Ali, et al.
Pubblicazione: (2025)
Robust Performance Analysis and Nonlinearity Shaping for Closed-loop Reset Control Systems
di: Hosseini, S. Ali, et al.
Pubblicazione: (2025)
di: Hosseini, S. Ali, et al.
Pubblicazione: (2025)
Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation
di: Chung, Long Kiu, et al.
Pubblicazione: (2024)
di: Chung, Long Kiu, et al.
Pubblicazione: (2024)
Reach-avoid games for players with damped double integrator dynamics
di: Lyu, Mengxin, et al.
Pubblicazione: (2025)
di: Lyu, Mengxin, et al.
Pubblicazione: (2025)
Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
di: Chen, Yu, et al.
Pubblicazione: (2025)
di: Chen, Yu, et al.
Pubblicazione: (2025)
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
di: Chen, Yu, et al.
Pubblicazione: (2025)
di: Chen, Yu, et al.
Pubblicazione: (2025)
Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
di: Serry, Mohamed, et al.
Pubblicazione: (2024)
di: Serry, Mohamed, et al.
Pubblicazione: (2024)
Enhancing the Reliability of Closed-Loop Describing Function Analysis for Reset Control Applied to Precision Motion Systems
di: Zhang, Xinxin, et al.
Pubblicazione: (2024)
di: Zhang, Xinxin, et al.
Pubblicazione: (2024)
Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2026)
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2026)
Reset Controller Analysis and Design for Unstable Linear Plants using Scaled Relative Graphs
di: Krebbekx, Julius P. J., et al.
Pubblicazione: (2025)
di: Krebbekx, Julius P. J., et al.
Pubblicazione: (2025)
Scaled Graph Bounding Techniques for Reset Systems
di: de Groot, Timo, et al.
Pubblicazione: (2026)
di: de Groot, Timo, et al.
Pubblicazione: (2026)
Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
di: Begzadić, Azra, et al.
Pubblicazione: (2025)
di: Begzadić, Azra, et al.
Pubblicazione: (2025)
Higher-Order Harmonics Reduction in Reset-Based Control Systems: Application to Precision Positioning Systems
di: Hosseini, S. Ali, et al.
Pubblicazione: (2025)
di: Hosseini, S. Ali, et al.
Pubblicazione: (2025)
A Stochastic Hybrid Approach to Decentralized Networked Control: Stochastic Network Delays and Poisson Pulsing Attacks
di: Zhang, Dandan, et al.
Pubblicazione: (2024)
di: Zhang, Dandan, et al.
Pubblicazione: (2024)
Enhancing Reset Control Phase with Lead Shaping Filters: Applications to Precision Motion Systems
di: Zhang, Xinxin, et al.
Pubblicazione: (2025)
di: Zhang, Xinxin, et al.
Pubblicazione: (2025)
Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
di: Cao, Zhipeng, et al.
Pubblicazione: (2025)
di: Cao, Zhipeng, et al.
Pubblicazione: (2025)
Stability Analysis and Stabilization of Continuous-Time Linear Systems with Distributed Delays
di: Feng, Qian, et al.
Pubblicazione: (2022)
di: Feng, Qian, et al.
Pubblicazione: (2022)
Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
di: Schmid, Niklas, et al.
Pubblicazione: (2026)
di: Schmid, Niklas, et al.
Pubblicazione: (2026)
Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
di: Xue, Bai, et al.
Pubblicazione: (2025)
di: Xue, Bai, et al.
Pubblicazione: (2025)
Contraction Analysis of Time-Delay Systems
di: Watanabe, Rintaro, et al.
Pubblicazione: (2026)
di: Watanabe, Rintaro, et al.
Pubblicazione: (2026)
Robust Control of General Linear Delay Systems under Dissipativity: Part I -- A KSD-based Framework
di: Feng, Qian, et al.
Pubblicazione: (2025)
di: Feng, Qian, et al.
Pubblicazione: (2025)
The Analysis and the Performance of the Parallel-Partial Reset Control System
di: Zhang, Xinxin, et al.
Pubblicazione: (2024)
di: Zhang, Xinxin, et al.
Pubblicazione: (2024)
Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
di: Upadhyay, Siddhartha, et al.
Pubblicazione: (2025)
di: Upadhyay, Siddhartha, et al.
Pubblicazione: (2025)
Multiple Control Functionals for Interconnected Time-Delay Systems
di: Pan, Zhuo-Rui, et al.
Pubblicazione: (2023)
di: Pan, Zhuo-Rui, et al.
Pubblicazione: (2023)
Optimal Control of Multi-Agent Systems with Processing Delays
di: Kashyap, Mruganka, et al.
Pubblicazione: (2022)
di: Kashyap, Mruganka, et al.
Pubblicazione: (2022)
Higher-Order Sinusoidal Input Describing Functions for Open-Loop and Closed-Loop Reset Control with Application to Mechatronics Systems
di: Zhang, Xinxin, et al.
Pubblicazione: (2024)
di: Zhang, Xinxin, et al.
Pubblicazione: (2024)
Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
di: Sawarkar, Shubham, et al.
Pubblicazione: (2025)
di: Sawarkar, Shubham, et al.
Pubblicazione: (2025)
Dynamical State Feedback Control for Linear Input Delay Systems, Part I: Dissipative Stabilization via Semidefinite Programming
di: Feng, Qian, et al.
Pubblicazione: (2023)
di: Feng, Qian, et al.
Pubblicazione: (2023)
Documenti analoghi
-
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
di: Su, Han, et al.
Pubblicazione: (2024) -
Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
di: Feng, Shenghua, et al.
Pubblicazione: (2025) -
Exact Moment Estimation of Stochastic Differential Dynamics
di: Feng, Shenghua, et al.
Pubblicazione: (2026) -
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
di: Wu, Hao, et al.
Pubblicazione: (2023) -
Derivative-Agnostic Inference of Nonlinear Hybrid Systems
di: Yu, Hengzhi, et al.
Pubblicazione: (2025)