• Home
  • About
  • News
  • People
  • Events
  • Selected Publications
  • Join
  • Home
  • About
  • News
  • People
  • Events
  • Selected Publications
  • Join

Search publications

Filter by category

  • pub-cat-1
  • pub-cat-2
« Show all publications

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

More

« A mathematical model to study the dynamics of Epithelial cellular networks
Exponential stabilization of discrete-time switched linear systems »

OXFORD AND THE TURING

For further information about Oxford and
the Turing Institute, including joining or for
potential partnerships please contact:

petrona.winton@maths.ox.ac.uk

THE ALAN TURING INSTITUTE

For further information about The
Alan Turing Institute, please email:

info@turing.ac.uk

© 2016 Oxford and the Alan Turing Institute

Cookies | Terms and conditions | Accessibility | Site by One