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

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

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Controller synthesis for dynamic hierarchical real-time plants using timed automata'. Together they form a unique fingerprint.

Computer Science

Keyphrases