Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control / Benerecetti, Massimo; Faella, Marco. - In: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. - ISSN 1539-9087. - 16:4(2017), pp. 1-27. [10.1145/3047500]
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control
BENERECETTI, MASSIMO;FAELLA, MARCO
2017
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.