The IPA Calculus for Hybrid Systems
[A124]Cassandras, C.G., and Wardi, Y.,
The IPA Calculus for Hybrid Systems
Stochastic Simulation Optimization for Discrete Event Systems – Perturbation Analysis, Ordinal Optimization, and Beyond (C. Chen and Jia. Q., Eds), pp. 3-23, World Scientific Publishing, 2013.