Publications (23)
A Theorem Prover for Quantum Hoare Logic and Its Applications
Tao Liu, Yangjia Li, Shuling Wang +2
Quantum Hoare Logic (QHL) was introduced in Ying's work to specify and reason about quantum programs. In this paper, we implement a theorem prover for QHL based on Isabelle/HOL. By…
6G Network Business Support System
Ye Ouyang, Yaqin Zhang, Peng Wang +7
6G is the next-generation intelligent and integrated digital information infrastructure, characterized by ubiquitous interconnection, native intelligence, multi-dimensional percept…
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
Xiong Xu, Jean-Pierre Talpin, Shuling Wang +4
Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobil…
Self-supervised Visual-LiDAR Odometry with Flip Consistency
Bin Li, Mu Hu, Shuling Wang +2
Most learning-based methods estimate ego-motion by utilizing visual sensors, which suffer from dramatic lighting variations and textureless scenarios. In this paper, we incorporate…
Synthesizing SystemC Code from Delay Hybrid CSP
Gaogao Yan, Li Jiao, Shuling Wang +1
Delay is omnipresent in modern control systems, which can prompt oscillations and may cause deterioration of control performance, invalidate both stability and safety properties. T…
Approximate Bisimulation and Discretization of Hybrid CSP
Gaogao Yan, Li Jiao, Yangjia Li +2
Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for m…