Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems.

Xudong He, Dewan Mohammad Moksedul Alam

Browse the full QRS paper archive.