Symbolic computation of nonblocking control function for timed discrete event systems

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.