Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S).

Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu

Browse the full SEKE paper archive.