17 citations · 81 across the 44 of their papers we have counts for
5 papers · 1 filter
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
Qiuye Wang, Mingshuai Chen, Bai Xue +2
A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid s…
Reach-avoid Verification Based on Convex Optimization
Bai Xue, Naijun Zhan, Martin Fränzle +2
In this paper we propose novel optimization-based methods for verifying reach-avoid (or, eventuality) properties of continuous-time systems modelled by ordinary differential equati…
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations
Bai Xue, Naijun Zhan, Martin Fränzle
In this paper we propose a novel semi-definite programming approach that solves reach-avoid problems over open (i.e., not bounded a priori) time horizons for dynamical systems mode…
Machine-checked executable semantics of Stateflow
Shicheng Yi, Shuling Wang, Bohua Zhan +1
Simulink is a widely used model-based development environment for embedded systems. Stateflow is a component of Simulink for modeling event-driven control via hierarchical state ma…
Defensive Design of Saturating Counters Based on Differential Privacy
Depeng Liu, Lutan Zhao, Pengfei Yang +4
The saturating counter is the basic module of the dynamic branch predictor, which involves the core technique to improve instruction level parallelism performance in modern process…