Tsinghua Science and Technology Open Access Editor-in-Chief: Jiaguang SUN
Home Tsinghua Science and Technology Keyword
Keyword: hybrid system
Open Access
Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant
Hui Kong, Fei He, Xiaoyu Song, [...], Ming Gu, Hongyan Tan, Jiaguang Sun << Fewer
Published: 15 April 2014
2014, 19 (2): 211-222
Open Access
SCStore: Managing Scientific Computing Packages for Hybrid System with Containers
Wusheng Zhang, Jiao Lin, Weiping Xu, [...], Haohuan Fu, Guangwen Yang << Fewer
Published: 14 December 2017
2017, 22 (6): 675-681
Total 2