[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Deadlock-free discrete controller synthesis for infinite state systems
Berthier, Nicolas, Marchand, HerveYear:
2015
Language:
english
DOI:
10.1109/cdc.2015.7402003
File:
PDF, 413 KB
english, 2015