Modelling and Analysis of Hybrid Systems
《Modelling and Analysis of Hybrid Systems》,作者:Duan Zhenhua著 出版社:科学出版社 ISBN:7030139674。This book presents a Hybrid Projection Temporal Logic (HPTL) and Hybrid Machine notations to model, analyze and co
