Home

QKS

Details
Category: Software
Last Updated on Friday, 22 March 2019 14:15

Current version: QKS 4.1QKS [TOSEM14] is a tool for automatic synthesis of correct-by-construction control software (as C code) for Discrete Time Linear Hybrid Systems. More in detail, QKS outputs a control software for software-based control systems like the following:

where we highlight the fact that:

  1. measures from plant sensors go through an Analog-to-Digital (AD) conversion (quantization) before being processed;
  2. the control software is typically executed by a microcontroller.

Read more...

PAEON (FP7-ICT-2011-9, ICT-2011.5.2)

Details
Category: Projects
Last Updated on Thursday, 01 August 2019 15:16

Project Title: Model Driven Computation of Treatments for Infertility Related Endocrinological Diseases

Project Acronym: PAEON

Project Website: http://paeon.di.uniroma1.it

Funding Scheme: EC Seventh Framework Programme (FP7)

  • Call (part) identifier: FP7-ICT-2011-9
  • Objective: ICT-2011.5.2 (Virtual Physiological Human)
  • Project Type: Collaborative Project

Coordinating Person: Enrico Tronci, MCLab Sapienza University of Rome (UNIROMA1)

Project Total Funding: € 2,453,997.00

UNIROMA1 Unit Funding: € 708,687.00

Read more...

SmartHG (FP7-ICT-2011-8, ICT-2011.6.1)

Details
Category: Projects
Last Updated on Thursday, 01 August 2019 15:14

Project Title: Energy Demand Aware Open Services for Smart Grid Intelligent Automation

Project Acronym: SmartHG

Project Website: http://smarthg.di.uniroma1.it

Funding Scheme: EC Seventh Framework Programme (FP7)

  • Call (part) identifier: FP7-ICT-2011-8
  • Objective: ICT-2011.6.1 (Smart Energy Grids)
  • Project Type: Collaborative Project

Coordinating Person: Enrico Tronci, MCLab Sapienza University of Rome (UNIROMA1)

Project Total Funding: € 3,299,998.00

UNIROMA1 Unit Funding: € 674,712.57

Read more...

Tesi di Laurea Magistrale in Informatica

Details
Category: News
Last Updated on Monday, 10 September 2018 14:07

Nel framework dei progetti di ricerca finanziati da ESA e dalla Comunità Europea sono disponibili tesi di laurea specialistica su algoritmi e tools per la verifica e sintesi automatica di sistemi reattivi.

Il focus attuale è Smart Grids e System Biology.

Read more...