2 citations · 4 across the 8 of their papers we have counts for
5 papers · 1 filter
Exact Moment Estimation of Stochastic Differential Dynamics
Shenghua Feng, Jie An, Naijun Zhan +1
Moment estimation for stochastic differential equations (SDEs) is fundamental to the formal reasoning and verification of stochastic dynamical systems, yet remains challenging and…
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
Han Su, Shenghua Feng, Sinong Zhan +1
Switching controllers play a pivotal role in directing hybrid systems (HSs) towards the desired objective, embodying a ``correct-by-construction'' approach to HS design. Identifyin…
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
Hao Wu, Shenghua Feng, Ting Gan +3
Barrier certificates, serving as differential invariants that witness system safety, play a crucial role in the verification of cyber-physical systems (CPS). Prevailing computation…
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
Han Su, Jiyu Zhu, Shenghua Feng +5
A reset controller plays a crucial role in designing hybrid systems. It restricts the initial set and redefines the reset map associated with discrete transitions, in order to guar…
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations
Bai Xue, Qiuye Wang, Shenghua Feng +1
This note explores reach set computations for perturbed delay differential equations (DDEs). The perturbed DDEs of interest in this note is a class of DDEs whose dynamics are subje…