Controller synthesis for dynamic hierarchical real-time plants using timed automata

Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Controller synthesis for dynamic hierarchical real-time plants using timed automata'. Sammen danner de et unikt fingeraftryk.

Computer Science

Keyphrases