[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - Symbolic computation of nonblocking control function for timed discrete event systems
Miremadi, S.; Fei, Z.; Akesson, K.; Lennartson, B.
- 作者Miremadi, S.; Fei, Z.; Akesson, K.; Lennartson, B.
- 文件大小232.88KB
- 发表时间2012
- DOI10.1109/cdc.2012.6426079
- 页码7352-7359