6 citations · 11 across the 13 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
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…
eess.SY2025
Derivative-Agnostic Inference of Nonlinear Hybrid Systems
Hengzhi Yu, Bohan Ma, Mingshuai Chen +5
This paper addresses the problem of inferring a hybrid automaton from a set of input-output traces of a hybrid system exhibiting discrete mode switching between continuously evolvi…
eess.SY2023★ 1 cited
Online Causation Monitoring of Signal Temporal Logic
Zhenya Zhang, Jie An, Paolo Arcaini +1
Online monitoring is an effective validation approach for hybrid systems, that, at runtime, checks whether the (partial) signals of a system satisfy a specification in, e.g., Signa…