Controller synthesis for dynamic hierarchical real-time plants using timed automata
Crossref DOI link: https://doi.org/10.1007/s10626-017-0240-2
Published Online: 2017-04-05
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Waez, Md Tawhid Bin
WÄ…sowski, Andrzej
Dingel, Juergen
Rudie, Karen
Funding for this research was provided by:
NSERC
NECSIS
License valid from 2017-04-05