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]
Abstract is missing.