Zobrazeno 1 - 10
of 126
pro vyhledávání: '"P Melatti"'
Publikováno v:
IEEE Transactions on Software Engineering, 2023
Cyber-Physical Systems (CPSs), comprising both software and physical components, arise in many industry-relevant domains and are often mission- or safety-critical. System-Level Verification (SLV) of CPSs aims at certifying that given (e.g., safety or
Externí odkaz:
http://arxiv.org/abs/2307.15383
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 input scenarios of possibly varying duration, chosen among those satis
Externí odkaz:
http://arxiv.org/abs/2109.03330
Publikováno v:
IEEE Transactions on Industrial Electronics, 2021
Within electrical distribution networks, substation constraints management requires that aggregated power demand from residential users is kept within suitable bounds. Efficiency of substation constraints management can be measured as the reduction o
Externí odkaz:
http://arxiv.org/abs/2108.06735
Autor:
Mancini, T., Mari, F., Melatti, I., Salvo, I., Tronci, E., Gruber, J. K., Hayes, B., Prodanovic, M., Elmegaard, L.
By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This allows end-users to save on their electricity bill and Distribution Sy
Externí odkaz:
http://arxiv.org/abs/2106.10692
Publikováno v:
Fundamenta Informaticae, 174(3-4):229-258, 2020
In critical infrastructures like airports, much care has to be devoted in protecting radio communication networks from external electromagnetic interference. Protection of such mission-critical radio communication networks is usually tackled by explo
Externí odkaz:
http://arxiv.org/abs/2106.10685
Publikováno v:
Dietetics, Vol 2, Iss 2, Pp 150-160 (2023)
Recent evidence suggests a link between Inflammatory Bowel Disease (IBD) and eating disorders, an emerging complex bidirectional association. Indeed, the overlap of symptoms and signs can lead to delayed diagnosis and misdiagnosis of both conditions,
Externí odkaz:
https://doaj.org/article/d71ce95b2a554591be68e0a832733a8f
Publikováno v:
EPTCS 193, 2015, pp. 86-99
Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators to save computation time by saving and restoring the state of the sys
Externí odkaz:
http://arxiv.org/abs/1509.07201
Autor:
Linda Cingolani, Brigida Barberio, Fabiana Zingone, Antonio Ferronato, Lorenzo Bertani, Francesco Costa, Giorgia Bodini, Maria Giulia Demarzo, Piera Melatti, Alessandro Gubbiotti, Davide Massimi, Cesare Casadei, Renata D’Incà, Edoardo Vincenzo Savarino
Publikováno v:
Scientific Reports, Vol 11, Iss 1, Pp 1-8 (2021)
Abstract To date, data on effectiveness and safety of Adalimumab (ADA) biosimilars in inflammatory bowel diseases (IBDs) are lacking. Therefore, we aimed to verify the ability of ABP501 and SB5 to maintain the clinical and biochemical response induce
Externí odkaz:
https://doaj.org/article/e1df2d0bb34a4efe88e26cf19e6d58b1
Publikováno v:
Applied Artificial Intelligence, Vol 35, Iss 5, Pp 353-372 (2021)
A Sense and Respond (SaR) system endows a Business Intelligence system with the intelligence needed to react timely to exogenous as well as endogenous events. To this end, a SaR system needs to know the Key Performance Indicators (KPIs) that must be
Externí odkaz:
https://doaj.org/article/f2ffd3b9c4eb41208ee2b308641e13ba
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 motivates investigation on Formal Model Based Design approaches for automatic
Externí odkaz:
http://arxiv.org/abs/1210.2276