|   | 
Details
   web
Records
Author Gruber, Jorn Klaas; Fernández Mínguez, José Luis
Title Supply mix optimization for decentralized energy systems Type
Year 2013 Publication (up) 2013 International Conference on Smart Grid (ICSG 2013) – Open Journal of Applied Sciences Abbreviated Journal
Volume Issue Pages 5-11
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 38
Permanent link to this record
 

 
Author Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Title Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems Type
Year 2012 Publication (up) Conference on Decision and Control, CDC Abbreviated Journal
Volume Issue Pages
Keywords
Abstract
Address
Corporate Author Thesis
Publisher IEEE 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 To Appear. A preliminary version can be found at http://arxiv.org/abs/1207.4098 Approved
Call Number UNIROMA1 @ mari @ Alimguzhin_etal2012 Serial 13
Permanent link to this record
 

 
Author Levchenko, Sergei
Title From Smart energy grids to Smart Cities Type
Year 2012 Publication (up) Energy strategy Abbreviated Journal
Volume n. 6 Issue Pages c. 23-27
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 28
Permanent link to this record
 

 
Author Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico
Title CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems Type
Year 2013 Publication (up) European Journal of Control Abbreviated Journal
Volume 19 Issue 1 Pages 14-36
Keywords
Abstract
Address
Corporate Author Thesis
Publisher Elsevier North-Holland, Inc. Place of Publication Editor
Language Summary Language Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 0947-3580 ISBN Medium
Area Expedition Conference
Notes Approved
Call Number UNIROMA1 @ davi @ DellaPenna_etal2013 Serial 31
Permanent link to this record
 

 
Author Hayes, B; Hernando-Gil, I.; Collin, A.; Harrison, G.; Djokic, S.
Title Optimal Power Flow for Maximizing Network Benefits From Demand-Side Management Type
Year 2014 Publication (up) IEEE Transactions on Power Systems Abbreviated Journal
Volume 29 Issue 4 Pages 1739-1747
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 39
Permanent link to this record
 

 
Author Jacobsen, R.H.; Torring, N.; Danielsen, B.V.; Hansen, M.T.; Pedersen, E.B.
Title Towards an app platform for data concentrators Type
Year 2014 Publication (up) Innovative Smart Grid Technologies Conference (ISGT), 2014 IEEE PES Abbreviated Journal
Volume Issue Pages 1-5
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 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Title Synthesizing Control Software from Boolean Relations Type
Year 2012 Publication (up) International Journal on Advances in Software Abbreviated Journal
Volume vol. 5, nr 3&4 Issue Pages 212-223
Keywords Control Software Synthesis; Embedded Systems; Model Checking
Abstract Many software as well digital hardware automaticsynthesis methods define the set ofimplementations meeting the given systemspecifications with a boolean relation K. Insuch a context a fundamental step in the software(hardware) synthesis process is finding effectivesolutions to the functional equation defined byK. This entails finding a (set of) booleanfunction(s) F (typically represented usingOBDDs, Ordered Binary Decision Diagrams)such that: 1) for all x for which K issatisfiable, K(x, F(x)) = 1 holds; 2) theimplementation of F is efficient with respectto given implementation parameters such as codesize or execution time. While this problem hasbeen widely studied in digital hardware synthesis,little has been done in a software synthesiscontext. Unfortunately, the approaches developedfor hardware synthesis cannot be directly used ina software context. This motivates investigationof effective methods to solve the above problemwhen F has to be implemented with software. Inthis paper, we present an algorithm that, from anOBDD representation for K, generates a C codeimplementation for F that has the same size asthe OBDD for F and a worst case execution timelinear in nr, being n = |x| the number ofinput arguments for functions in F and r thenumber of functions in F. Moreover, a formalproof of the proposed algorithm correctness isalso shown. Finally, we present experimentalresults showing effectiveness of the proposedalgorithm.
Address
Corporate Author Thesis
Publisher Iaria Place of Publication Editor
Language Summary Language Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 1942-2628 ISBN Medium
Area Expedition Conference
Notes Approved
Call Number UNIROMA1 @ davi @ Mari_etal2012 Serial 26
Permanent link to this record
 

 
Author Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto
Title A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET Type
Year 2013 Publication (up) Mobile Information Systems Abbreviated Journal
Volume 3 Issue 9 Pages 261-280
Keywords
Abstract
Address
Corporate Author Thesis
Publisher IOS Press Place of Publication Editor
Language Summary Language Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 1574-017x (Print) 1875-905X (Online) ISBN Medium
Area Expedition Conference
Notes Approved
Call Number UNIROMA1 @ davi @ Mari_etal2013_4 Serial 24
Permanent link to this record
 

 
Author Terkelsen, Anders Franz
Title The Lost Children of Smart Grid Type
Year 2013 Publication (up) Pan European Networks: Government Abbreviated Journal
Volume Issue 07 Pages p- 230
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 30
Permanent link to this record
 

 
Author Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni
Title Collaboration on ISS Experiment Data and Knowledge Representation Type
Year 2012 Publication (up) Proc. of IAC 2012 Abbreviated Journal
Volume D.5.11 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 @ Kuijpers_etal2012 Serial 25
Permanent link to this record