MATEC Web of Conferences

A Method for Cyber-Physical System Behavior Modeling and Safety Verification Based on Extended Hybrid System Description Language

Ming Fu Tuo, Xing She Zhou, Zheng Xin Guo and Li Jun Shan

MATEC Web of Conferences, 44 (2016) 02092

Published online: 08 March 2016

DOI: 10.1051/matecconf/20164402092

Ming Fu Tuo

Xing She Zhou

Zheng Xin Guo

Li Jun Shan

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)