21 citations · 115 across the 16 of their papers we have counts for
7 papers · 1 filter
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification
Toni Mancini, Igor Melatti, Enrico Tronci
Model-based approaches to the verification of non-terminating Cyber-Physical Systems (CPSs) usually rely on numerical simulation of the System Under Verification (SUV) model under…
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…
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
Quian Matteo Chen, Alberto Finzi, Toni Mancini +2
In critical infrastructures like airports, much care has to be devoted in protecting radio communication networks from external electromagnetic interference. Protection of such mis…
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…
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems
Filippo Maggioli, Toni Mancini, Enrico Tronci
Motivation: SBML is the most widespread language for the definition of biochemical models. Although dozens of SBML simulators are available, there is a general lack of support to t…
Reconciling interoperability with efficient Verification and Validation within open source simulation environments
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini +1
A Cyber-Physical System (CPS) comprises physical as well as software subsystems. Simulation-based approaches are typically used to support design and Verification and Validation (V…