Approximate model checking of stochastic hybrid systems

Date: 2010

Categories:

Reference

Abate, A., Katoen, J.-P., Lygeros, J. and Prandini, M. (2010) ‘Approximate model checking of stochastic hybrid systems’, European Journal of Control, 16(6), pp. 624–641.

Full text available at www.sciencedirect.com

Author

Prof. Alessandro Abate

« A mathematical model to study the dynamics of Epithelial cellular networks

Exponential stabilization of discrete-time switched linear systems »

Approximate model checking of stochastic hybrid systems

Reference

Author

More