Discrete abstraction for a class of stochastic hybrid systems based on bounded bisimulation

Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi. Discrete abstraction for a class of stochastic hybrid systems based on bounded bisimulation. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 2641-2646, IEEE, 2013. [doi]

Authors

Koichi Kobayashi

This author has not been identified. Look up 'Koichi Kobayashi' in Google

Yasuhito Fukui

This author has not been identified. Look up 'Yasuhito Fukui' in Google

Kunihiko Hiraishi

This author has not been identified. Look up 'Kunihiko Hiraishi' in Google