|   | 
Details
   web
Records
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 IEEE Transactions on Power Systems Abbreviated Journal
Volume (down) 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 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 European Journal of Control Abbreviated Journal
Volume (down) 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 Levchenko, Sergei
Title From Smart energy grids to Smart Cities Type
Year 2012 Publication Energy strategy Abbreviated Journal
Volume (down) 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 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 Proc. of IAC 2012 Abbreviated Journal
Volume (down) 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
 

 
Author Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Title Synthesizing Control Software from Boolean Relations Type
Year 2012 Publication International Journal on Advances in Software Abbreviated Journal
Volume (down) 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 Levchenko, S. A.; Pluyta, S. V.
Title Smart grids concept for sustainable development of Belarus energy system Type
Year 2014 Publication Proceedings of the National academy of sciences of Belarus Abbreviated Journal
Volume (down) 3 Issue Pages 91-97
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 44
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 Mobile Information Systems Abbreviated Journal
Volume (down) 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 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 Conference on Decision and Control, CDC Abbreviated Journal
Volume (down) 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 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Title Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems Type
Year 2012 Publication Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances Abbreviated Journal
Volume (down) Issue Pages 664-671
Keywords
Abstract
Address
Corporate Author Thesis
Publisher ThinkMind 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 @ Mari_etal2012 Serial 15
Permanent link to this record
 

 
Author Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Title Control Software Visualization Type
Year 2012 Publication Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation Abbreviated Journal
Volume (down) Issue Pages 15-20
Keywords
Abstract
Address
Corporate Author Thesis
Publisher ThinkMind 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 @ Mari_etal2012_2 Serial 16
Permanent link to this record