A formal structure for symbolic reachability analysis of rectangular hybrid systems
Hits:
Affiliation of Author(s):网络与信息安全学院
Title of Paper:A formal structure for symbolic reachability analysis of rectangular hybrid systems
Journal:SCIENCE CHINA-TECHNOLOGICAL SCIENCES
First Author:Zhang HaiBin^Zhao Cheng^Li Rong
Indexed by:Article
Document Code:SCI WOS:000371281000016
Volume:59
Issue:2
Page Number:347-356
ISSN No.:1674-7321
Translation or Not:no
Date of Publication:2016-01-01
Included Journals:SCI