![](/img/cover-not-exists.png)
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Waez, Md Tawhid Bin, Wąsowski, Andrzej, Dingel, Juergen, Rudie, KarenVolume:
27
Language:
english
Journal:
Discrete Event Dynamic Systems
DOI:
10.1007/s10626-017-0240-2
Date:
June, 2017
File:
PDF, 2.14 MB
english, 2017