Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Mari, Federico"'
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:
Sinisi, Stefano, Alimguzhin, Vadim, Mancini, Toni, Tronci, Enrico, Mari, Federico, Leeners, Brigitte
Publikováno v:
Fundamenta Informaticae, 174(3-4):283-310, 2020
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 efficacy assessment of pharmacological treatments, reduce the need for
Externí odkaz:
http://arxiv.org/abs/2106.10684
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming April 2021 120
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
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
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. This motivates investigation on Formal Model Based Design approaches f
Externí odkaz:
http://arxiv.org/abs/1207.4474
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 motivates investigation on Formal Model Based Design approaches for autom
Externí odkaz:
http://arxiv.org/abs/1207.4098
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 motivates investigation on Formal Model Based Design approaches for autom
Externí odkaz:
http://arxiv.org/abs/1107.5638
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 context a fundamental step in the software (hardware) synthesis process
Externí odkaz:
http://arxiv.org/abs/1106.0468