Symbolic computation of nonblocking control function for timed discrete event systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson. Symbolic computation of nonblocking control function for timed discrete event systems. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 7352-7359, IEEE, 2012. [doi]

This author has not been identified. Look up 'Sajed Miremadi' in GoogleThis author has not been identified. Look up 'Zhennan Fei' in GoogleThis author has not been identified. Look up 'Knut Åkesson' in GoogleThis author has not been identified. Look up 'Bengt Lennartson' in Google

runs on WebDSL