Optimal and robust controller synthesis using energy timed automata with uncertainty
Bacci, Giovanni, Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim G., Markey, Nicolas, Reynier, Pierre-AlainЖурнал:
Formal Aspects of Computing
DOI:
10.1007/s00165-020-00521-4
Date:
October, 2020
Файл:
PDF, 875 KB
2020