20 citations · 53 across the 10 of their papers we have counts for
10 papers
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
Igor Melatti, Federico Mari, Toni Mancini +2
Within electrical distribution networks, substation constraints management requires that aggregated power demand from residential users is kept within suitable bounds. Efficiency o…
Parallel Statistical Model Checking for Safety Verification in Smart Grids
T. Mancini, F. Mari, I. Melatti +6
By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This…
Optimal personalised treatment computation through in silico clinical trials on patient digital twins
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini +3
In Silico Clinical Trials (ISTC), i.e., clinical experimental campaigns carried out by means of computer simulations, hold the promise to decrease time and cost for the safety and…
Simulator Semantics for System Level Formal Verification
Toni Mancini, Federico Mari, Annalisa Massini +2
Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators…
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivat…
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This mot…
On Model Based Synthesis of Embedded Control Software
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device.…
Model Based Synthesis of Control Software from System Level Formal Specifications
Federico Mari, Igor Melatti, Ivano Salvo +1
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This mot…
From Boolean Functional Equations to Control Software
Federico Mari, Igor Melatti, Ivano Salvo +1
Many software as well digital hardware automatic synthesis methods define the set of implementations meeting the given system specifications with a boolean relation K. In such a co…
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
Federico Mari, Igor Melatti, Ivano Salvo +1
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device.…