Newsletter 1


SmartHG Newsletter #1

SmartHG Project logo

Energy Demand Aware Open Services for Smart Grid Intelligent Automation

SmartHG Newsletter #1

09 September 2013

Dear Visitor,

 

this is the first SmartHG Newsletter!
It contains news about the first year of the SmartHG Project.

From now, SmartHG Newsletter will be delivered monthly.

August 2013: SmartHG on Pan European Networks magazine

August 2013: “The Lost Children of Smart Grid”, an article of Anders Franz Terkelsen from GridManager, has appeared on Pan European Networks: Government magazine. It is available here.

The article is primarily about how to make Smart Grid profitable for all involved parties.

July 2013: SmartHG presented at DATA SIM summerschool

July 2013: SmartHG has been presented at the DATA SIM Summer School 2013 at University of Hasselt in Belgium. DATA SIM program is available here.

Søren Aagaard Mikkelsen from Aarhus University School of Engineering has given a talk about “SmartHG – Energy Demand Aware Open Services for Smart Grid Intelligent Automation”. The presentation slides can be found here.

July 2013: Paper presented at CAV 2013

July 2013: The paper “System Level Formal Verification via Model Checking Driven Simulation” of Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, and Enrico Tronci has been presented at the 25th International Conference on Computer Aided Verification (CAV 2013).

July 2013: Two papers presented at SPIN 2013

July 2013: The papers “On-the-Fly Control Software Synthesis” and “A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software” of Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci have been presented at the International SPIN Symposium on Model Checking of Software (SPIN 2013).

June 2013: Paper presented at ICSG 2013

June 2013: The paper “Supply mix optimization for decentralized energy systems” of Jorn Klaas Gruber and José Luis Fernández Mínguez has been presented at 2013 International Conference on Smart Grid (ICSG 2013) – Open Journal of Applied Sciences.

June 2013: Paper presented at International Humboldt conference

June 2013: The paper “Aspects of creating a library of production rules in Decision Support Systems for smart grids based on fuzzy mathematics logic libraries” of Sergei Levchenko and Sergey Plyuta has been presented at International Humboldt conference: Magnetic resonance as a tool for interdisciplinary research.

June 2013: SmartHG on Horizon 2020 Projects web page

June 2013: SmartHG has appeared in the GridManager profile on the Horizon 2020 Projects page.

May 2013: Paper presented at SMARTGREEN 2013

May 2013: The paper “Proactive Management for Smart Buildings – Resource Management Strategy” of Milan Prodanovic, Maria Belén Téllez Molina, Alessandro Gallo and José González Aguilar has been presented at the 2nd International Conference on Smart Grids and Green IT Systems (SMARTGREEN 2013).

May 2013: SmartHG presented at Workshop on Intelligent Infrastructure

May 2013: SmartHG has been presented at the Fifteenth Strategic Workshop (SW’13) on Intelligent Infrastructure in Marbella, Spain. Final program is available here.

Rune Hylsberg Jacobsen from Aarhus University School of Engineering has given a talk about “Infrastructure for Intelligent Automation Services in the Smart Grid”.

December 2012: Paper presented at CDC 2012

December 2012: The paper “Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems” of Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci has been presented at the 51th IEEE Conference on Decision and Control (CDC 2012).

Full paper details are available here.

November 2012: Paper presented at EMS 2012

November 2012: The paper “Residential Energy Load Profile Generation Using a Probabilistic Approach” of Jorn Klaas Gruber and Milan Prodanovic has been presented at the Sixth UKSim/AMSS European Symposium on Computer Modeling and Simulation (EMS 2012).

DOI: 10.1109/EMS.2012.30

Full paper details are available here.

November 2012: Paper presented at ICSEA 2012

November 2012: The paper “Linear Constraints as a Modeling Language for Discrete Time Hybrid System” of Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci has been presented at the Seventh International Conference on Software Engineering Advances (ICSEA 2012).

Full paper details are available here.

October 2012: Paper presented at INFOCOMP 2012

October 2012: The paper “Control Software Visualization” of Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci has been presented at the Second International Conference on Advanced Communications and Computation (INFOCOMP 2012).

Full paper details are available here.

October 2012: Paper presented at EMSOFT 2012

October 2012: The paper “On Model Based Synthesis of Embedded Control Software” of Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci has been presented at the 12th International Conference on Embedded Software (EMSOFT 2012), part of the Eighth Embedded Systems Week, ESWeek 2012.

DOI: 10.1145/2380356.2380398

Full paper details are available here.

October 2012: Invited lecture at EM 2012

October 2012: Sergei Levchenko has given an invited lecture about “Modern trends and technology for energy efficiency based on integrated smart grids in Belarus” at Energy of Moldova (EM 2012). Aspects of regional development conference.

Full details are available here.

October 2012: Paper presented at IAC 2012

October 2012: The paper “Collaboration on ISS Experiment Data and Knowledge Representation” of Ed Kuijpers, Luigi Carotenuto, Jean-Cristophe Malapert, Daniela Markov-Vetter, Igor Melatti, Andrea Orlandini, and Ranni Pinchuk has been presented at the 63rd International Astronautical Congress (IAC 2012).

Full paper details are available here.