|
Author |
Title |
Year |
Publication |
Volume |
Pages |
Links |
|
Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico |
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems |
2013 |
European Journal of Control |
19 |
14-36 |
|
|
Terkelsen, Anders Franz |
The Lost Children of Smart Grid |
2013 |
Pan European Networks: Government |
|
p- 230 |
|
|
Levchenko, Sergei |
Modern trends and technology for energy efficiency based on integrated smart grids in Belarus |
2012 |
Proc. of International conference “Energy of Moldova – 2012. Aspects of regional development” |
|
|
|
|
Levchenko, Sergei |
From Smart energy grids to Smart Cities |
2012 |
Energy strategy |
n. 6 |
c. 23-27 |
|
|
Levchenko, Sergei; Plyuta, Sergey |
Aspects of creating a library of production rules in Decision Support Systems for smart grids based on fuzzy mathematics logic libraries |
2013 |
Proceedings of the International Humboldt conference: Magnetic resonance as a tool for interdisciplinary research |
|
p. 18 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesizing Control Software from Boolean Relations |
2012 |
International Journal on Advances in Software |
vol. 5, nr 3&4 |
212-223 |
|
|
Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni |
Collaboration on ISS Experiment Data and Knowledge Representation |
2012 |
Proc. of IAC 2012 |
D.5.11 |
|
|
|
Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET |
2013 |
Mobile Information Systems |
3 |
261-280 |
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems |
2012 |
Conference on Decision and Control, CDC |
|
|
|
|
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 |
|
15-20 |
|