SmartHG Project Publications -- Query Results

	SmartHG Project Publications Home \| Show All \| Simple Search \| Advanced Search	Login Quick Search: Field: contains: ...
	1-10 of 28 records found matching your query:

Search & Display Options

Select All Deselect All

<< 1 2 3 >>

List View

Citations

Details

	Records
	Author	Mikkelsen, S.A.; Jacobsen, R.H.
	Title	Consumer-Centric and Service-Oriented Architecture for the Envisioned Energy Internet			Type
	Year	2015	Publication	Digital System Design (DSD), 2015 Euromicro Conference on	Abbreviated Journal
	Volume		Issue		Pages	301-305
	Keywords	Authorization;Computer architecture;Data privacy;Home appliances;Privacy;Protocols;Smart grids;data privacy;smart grid;web services
	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 @ ref7302289			Serial	56
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	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



	Author	Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E.
	Title	Simulator Semantics for System Level Formal Verification			Type
	Year	2015	Publication	Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015),	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	54
Permanent link to this record



	Author	Jacobsen, R.H.; Mikkelsen, S.A.; Rasmussen, N.H.
	Title	Towards the Use of Pairing-Based Cryptography for Resource-Constrained Home Area Networks			Type
	Year	2015	Publication	Digital System Design (DSD), 2015 Euromicro Conference on	Abbreviated Journal
	Volume		Issue		Pages	233-240
	Keywords	Authentication;Elliptic curve cryptography;Logic gates;Prototypes;constrained devices;home area network;identity-based cryptography;network bootstrap;pairing-based cryptography;security
	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 @ ref7302275			Serial	55
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, 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	Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico
	Title	System Level Formal Verification via Model Checking Driven Simulation			Type
	Year	2013	Publication	Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 13–19, 2013, Saint Petersburg, Russia	Abbreviated Journal
	Volume		Issue		Pages	296-312
	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	8044	Series Issue		Edition
	ISSN	978-3-642-39798-1	ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ Mancini_etal2013			Serial	21
Permanent link to this record



	Author	Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
	Title	Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems			Type
	Year	2013	Publication	International Journal on Advances in Software	Abbreviated Journal
	Volume	vol. 6, nr 1&2	Issue		Pages	155-169
	Keywords	Model-based software design; Linear predicates; Hybrid systems
	Abstract	Model based design is particularly appealing insoftware based control systems (e.g., embeddedsoftware) design, since in such a case systemlevel specifications are much easier to definethan the control software behavior itself. Inturn, model based design of embedded systemsrequires modeling both continuous subsystems(typically, the plant) as well as discretesubsystems (the controller). This is typicallydone using hybrid systems. Mixed Integer LinearProgramming (MILP) based abstraction techniqueshave been successfully applied to automatically synthesize correct-by-construction controlsoftware for discrete time linear hybrid systems,where plant dynamics is modeled as a linearpredicate over state, input, and next statevariables. Unfortunately, MILP solvers requiresuch linear predicates to be conjunctions oflinear constraints, which is not a natural way ofmodeling hybrid systems. In this paper we showthat, under the hypothesis that each variableranges over a bounded interval, any linearpredicate built upon conjunction and disjunction of linear constraints can be automaticallytranslated into an equivalent conjunctivepredicate. Since variable bounds play a key rolein this translation, our algorithm includes aprocedure to compute all implicit variable boundsof the given linear predicate. Furthermore, weshow that a particular form of linear predicates,namely guarded predicates, are a natural andpowerful language to succinctly model discretetime linear hybrid systems dynamics. Finally, weexperimentally show the feasibility of ourapproach on an important and challenging casestudy taken from the literature, namely themulti-input Buck DC-DC Converter. As an example,the guarded predicate that models (with 57constraints) a 6-inputs Buck DC-DC Converter istranslated in a conjunctive predicate (with 102linear constraints) in about 40 minutes.
	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_etal2013			Serial	22
Permanent link to this record