MINOPOLI, STEFANO
MINOPOLI, STEFANO
DIPARTIMENTO DI FISICA "ETTORE PANCINI"
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
Towards Efficient Exact Synthesis for Linear Hybrid Systems
2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Reachability games for linear hybrid systems.
2012 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Revisiting synthesis of switching controllers for Linear Hybrid systems
2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
2013 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Towards Efficient Exact Synthesis for Linear Hybrid Systems | 4.1 Articoli in Atti di convegno | 2011 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
Reachability games for linear hybrid systems. | 4.1 Articoli in Atti di convegno | 2012 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
Revisiting synthesis of switching controllers for Linear Hybrid systems | 4.1 Articoli in Atti di convegno | 2011 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
Automatic synthesis of switching controllers for linear hybrid systems: Safety control | 1.1 Articolo in rivista | 2013 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano |