|
Records |
Links |
|
Author  |
Alimguzhin, V.; Mari, F.; Melatti, I.; Tronci, E.; Ebeid, E.; Mikkelsen, S.A.; Jacobsen, R.H.; Gruber, J.K.; Hayes, B.; Huerta, F.; Prodanovic, M. |

|
|
Title |
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure |
Type |
|
|
Year |
2015 |
Publication |
Digital System Design (DSD), 2015 Euromicro Conference on |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
225-232 |
|
|
Keywords |
Batteries;Control systems;Databases;Production;Sensors;Servers;Smart grids;Grid State Estimation;Peak Shaving;Policy Robustness Verification;Price Policy Synthesis |
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ ref7302274 |
Serial |
57 |
|
Permanent link to this record |
|
|
|
|
Author  |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |

|
|
Title |
On-the-Fly Control Software Synthesis |
Type |
|
|
Year |
2013 |
Publication |
Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
61-80 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
Springer - Verlag |
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
Lecture Notes in Computer Science |
Abbreviated Series Title |
|
|
|
Series Volume |
7976 |
Series Issue |
|
Edition |
|
|
|
ISSN |
978-3-642-39175-0 |
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ Alimguzhin_etal2013 |
Serial |
18 |
|
Permanent link to this record |
|
|
|
|
Author  |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |

|
|
Title |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software |
Type |
|
|
Year |
2013 |
Publication |
Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
43-60 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
Springer - Verlag |
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
Lecture Notes in Computer Science |
Abbreviated Series Title |
|
|
|
Series Volume |
7976 |
Series Issue |
|
Edition |
|
|
|
ISSN |
978-3-642-39175-0 |
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ Alimguzhin_etal2013_2 |
Serial |
19 |
|
Permanent link to this record |
|
|
|
|
Author  |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |

|
|
Title |
On Model Based Synthesis of Embedded Control Software |
Type |
|
|
Year |
2012 |
Publication |
International Conference on Embedded Software, EMSOFT |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
ACM |
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ mari @ Alimguzhin_etal2012_2 |
Serial |
14 |
|
Permanent link to this record |
|
|
|
|
Author  |
B. Hayes; M. Prodanovic |

|
|
Title |
State Estimation Techniques for Electric Power Distribution Systems |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of the 2014 UKSim-AMSS 8th European Modelling Symposium (EMS 2014) |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
46 |
|
Permanent link to this record |
|
|
|
|
Author  |
B. Hayes; M. Prodanovic |

|
|
Title |
Short-term Operational Planning and State Estimation in Power Distribution Networks |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of the CIRED Electricity Distribution Workshop |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
45 |
|
Permanent link to this record |
|
|
|
|
Author  |
Ebeid, E. ; Griful, S.; Mikkelsen, S.; Jacobsen, R. |

|
|
Title |
A Methodology to Evaluate Demand Response Communication Protocols for the Smart Grid. |
Type |
|
|
Year |
2015 |
Publication |
IEEE International Conference on Communications (ICC), UK |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
48 |
|
Permanent link to this record |
|
|
|
|
Author  |
Hayes, B. P.; Gruber, J. K.; Prodanovic, M. |

|
|
Title |
A closed-loop state estimation tool for MV network monitoring and operation |
Type |
|
|
Year |
2015 |
Publication |
IEEE Transactions on Smart Grid |
Abbreviated Journal |
|
|
|
Volume |
PP |
Issue |
99 |
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
50 |
|
Permanent link to this record |
|
|
|
|
Author  |
Hayes, B. P.; Gruber, J.K.; Prodanovic, M. |

|
|
Title |
Short-term load forecasting at the local level using smart meter data |
Type |
|
|
Year |
2015 |
Publication |
IEEE PES Europe Conference (PowerTech), Eindhoven, Netherlands |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
51 |
|
Permanent link to this record |
|
|
|
|
Author  |
Hayes, B. P.; Prodanovic, M. |

|
|
Title |
A comparison of MV distribution system state estimation methods using field data |
Type |
|
|
Year |
2015 |
Publication |
IEEE PES General Meeting, Denver, CO, United States |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
52 |
|
Permanent link to this record |