| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume  |
Pages |
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems |
2012 |
Theoretical Aspects of Computing – ICTAC 2012 |
Springer Berlin Heidelberg |
|
978-3-642-32942-5 |
10.1007/978-3-642-32943-2_19 |
|
243-258 |
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Control Software Visualization |
2012 |
Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation |
ThinkMind |
978-1-61208-226-4 |
|
|
|
15-20 |
| Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On-the-Fly Control Software Synthesis |
2013 |
Proceedings of International SPIN Symposium on Model Checking of Software (SPIN 2013) |
Springer - Verlag |
0302-9743 |
978-3-642-39175-0 |
10.1007/978-3-642-39176-7_5 |
|
61-80 |
