CNR Author
operator:
and / or
Typology
operator:
and / or
Language
operator:
and / or
Date
operator:
and / or
Rights
operator:
and / or
2021
Journal article
Open Access
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems
Chiaradonna S., Di Giandomenico F., Masetti G.
This paper focuses on the generation of stochastic models for dependability and performability analysis, through mechanisms for the automatic replication of template models when identity of replicas cannot be anonymous. The major objective of this work is to support the modeler in selecting the most appropriate replication mechanism, given the characteristics of the system under analysis. To this purpose, three most used solutions to identity-aware replication are considered and a formal framework to allow representing them in a consistent way is first defined. Then, a comparison of their behavior is extensively carried out, with focus on efficiency, both from a theoretical perspective and from a quantitative viewpoint. For the latter, a specific implementation of the considered replication mechanisms in the Möbius modeling environment and a case study representative of realistic interconnected infrastructures are developed.Source: Performance evaluation 147 (2021). doi:10.1016/j.peva.2021.102192
DOI: 10.1016/j.peva.2021.102192
Metrics:
Chiaradonna S., Di Giandomenico F., Masetti G.
This paper focuses on the generation of stochastic models for dependability and performability analysis, through mechanisms for the automatic replication of template models when identity of replicas cannot be anonymous. The major objective of this work is to support the modeler in selecting the most appropriate replication mechanism, given the characteristics of the system under analysis. To this purpose, three most used solutions to identity-aware replication are considered and a formal framework to allow representing them in a consistent way is first defined. Then, a comparison of their behavior is extensively carried out, with focus on efficiency, both from a theoretical perspective and from a quantitative viewpoint. For the latter, a specific implementation of the considered replication mechanisms in the Möbius modeling environment and a case study representative of realistic interconnected infrastructures are developed.Source: Performance evaluation 147 (2021). doi:10.1016/j.peva.2021.102192
DOI: 10.1016/j.peva.2021.102192
Metrics:
See at:
ISTI Repository 
| Performance Evaluation 
| www.sciencedirect.com | CNR ExploRA
2020
Journal article
Open Access
Computing performability measures in Markov chains by means of matrix functions
Masetti G., Robol L.
We discuss the efficient computation of performance, reliability, and availability measures for Markov chains; these metrics - and the ones obtained by combining them, are often called performability measures. We show that this computational problem can be recasted as the evaluation of a bilinear form induced by appropriate matrix functions, and thus solved by leveraging the fast methods available for this task.Source: Journal of computational and applied mathematics 368 (2020). doi:10.1016/j.cam.2019.112534
DOI: 10.1016/j.cam.2019.112534
DOI: 10.48550/arxiv.1803.06322
Metrics:
Masetti G., Robol L.
We discuss the efficient computation of performance, reliability, and availability measures for Markov chains; these metrics - and the ones obtained by combining them, are often called performability measures. We show that this computational problem can be recasted as the evaluation of a bilinear form induced by appropriate matrix functions, and thus solved by leveraging the fast methods available for this task.Source: Journal of computational and applied mathematics 368 (2020). doi:10.1016/j.cam.2019.112534
DOI: 10.1016/j.cam.2019.112534
DOI: 10.48550/arxiv.1803.06322
Metrics:
See at:
arXiv.org e-Print Archive | Journal of Computational and Applied Mathematics | ISTI Repository | ISTI Repository | Journal of Computational and Applied Mathematics | doi.org | www.sciencedirect.com | CNR ExploRA
2020
Journal article
Open Access
Analysis of violin combination tones and their contribution to Tartini's third tone
Caselli G., Cecchi G., Malacarne M., Masetti G.
It is widely accepted that the famous Tartini's third tone, i.e., the appearance of an additional third tone of lower frequency when playing a dyad on the violin, is a subjective phenomenon generated by the listener's cochlear nonlinearity. However, the recent demonstration that additional tones of audible amplitude can also be generated by the violin itself during playing of a dyad (violin combination tones), raises the question if these tones might have influenced Tartini's third sound perception. The experiments reported here were made to ascertain this possibility. To this end, following Tartini experiments, several dyads played by either one violin or two violins playing one note of the dyad each, were recorded. The analysis of the spectra shows that violin combination tones are present in all the dyads investigated, but exclusively when the dyad is played by a single violin and not when the same dyad is played by two violins. Tartini found the third tones to be the same in both conditions, which means that violin combination tones in his experiments were either absent or too small to affect the perception of the subjective third tones arising from cochlear distortion.Source: Savart journal 1 (2020).
Caselli G., Cecchi G., Malacarne M., Masetti G.
It is widely accepted that the famous Tartini's third tone, i.e., the appearance of an additional third tone of lower frequency when playing a dyad on the violin, is a subjective phenomenon generated by the listener's cochlear nonlinearity. However, the recent demonstration that additional tones of audible amplitude can also be generated by the violin itself during playing of a dyad (violin combination tones), raises the question if these tones might have influenced Tartini's third sound perception. The experiments reported here were made to ascertain this possibility. To this end, following Tartini experiments, several dyads played by either one violin or two violins playing one note of the dyad each, were recorded. The analysis of the spectra shows that violin combination tones are present in all the dyads investigated, but exclusively when the dyad is played by a single violin and not when the same dyad is played by two violins. Tartini found the third tones to be the same in both conditions, which means that violin combination tones in his experiments were either absent or too small to affect the perception of the subjective third tones arising from cochlear distortion.Source: Savart journal 1 (2020).
See at:
ISTI Repository | www.savartjournal.org | CNR ExploRA
2019
Journal article
Open Access
On Extending and Comparing Newton-Raphson Variants for Solving Power-Flow Equations
Dutto S., Masetti G., Chiaradonna S., Di Giandomenico F.
This paper focuses on power-flow equations solutions, based on the Newton-Raphson method. Two major contributions are offered. First, the definition of novel solution variants, resorting to Wirtinger calculus, is attempted. The obtained developments, although original in their formulation, led to already known variants. Despite the impaired originality of the obtained solution, there are significant lessons learned from such an effort. The second major contribution consists of a deep comparison analysis of existing solution strategies, based on complex and real variables, and the Wirtinger based ones, all properly reformulated to allow direct comparison with each other. The goal is to investigate strengths and weaknesses of the addressed techniques in terms of computational effort and convergence rate, which are the most relevant aspects to consider while choosing the approach to employ to solve power-flow equations for a specific power system under study.Source: IEEE transactions on power systems 34 (2019): 2577–2587. doi:10.1109/TPWRS.2019.2897640
DOI: 10.1109/tpwrs.2019.2897640
Metrics:
Dutto S., Masetti G., Chiaradonna S., Di Giandomenico F.
This paper focuses on power-flow equations solutions, based on the Newton-Raphson method. Two major contributions are offered. First, the definition of novel solution variants, resorting to Wirtinger calculus, is attempted. The obtained developments, although original in their formulation, led to already known variants. Despite the impaired originality of the obtained solution, there are significant lessons learned from such an effort. The second major contribution consists of a deep comparison analysis of existing solution strategies, based on complex and real variables, and the Wirtinger based ones, all properly reformulated to allow direct comparison with each other. The goal is to investigate strengths and weaknesses of the addressed techniques in terms of computational effort and convergence rate, which are the most relevant aspects to consider while choosing the approach to employ to solve power-flow equations for a specific power system under study.Source: IEEE transactions on power systems 34 (2019): 2577–2587. doi:10.1109/TPWRS.2019.2897640
DOI: 10.1109/tpwrs.2019.2897640
Metrics:
See at:
ISTI Repository | IEEE Transactions on Power Systems | ieeexplore.ieee.org | CNR ExploRA
2019
Contribution to book
Open Access
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
Chiaradonna S., Di Giandomenico F., Masetti G., Basile D.
Awareness and efforts to moderate energy consumption, desirable from both economical and environmental perspectives, are nowadays increasingly pursued. However, when critical sectors are addressed, energy saving should be cautiously tackled, so to not impair stringent dependability properties such contexts typically require. This is the case of the railway transportation system, which is the critical infrastructure this paper focuses on. For this system category, the attitude has been typically to neglect efficient usage of energy sources, motivated by avoiding to put dependability in danger. The new directives, both at national and international level, are going to change this way of thinking. Our study intends to be a useful support to careful energy consumption. In particular, a refined stochastic modeling framework is offered, tailored to the railroad switch heating system, through which analyses can be performed to understand the sophisticated dynamics between the system (both the cyber and physical components) and the surrounding weather conditions.Source: From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, pp. 481–501, 2019
DOI: 10.1007/978-3-030-30985-5_28
Metrics:
Chiaradonna S., Di Giandomenico F., Masetti G., Basile D.
Awareness and efforts to moderate energy consumption, desirable from both economical and environmental perspectives, are nowadays increasingly pursued. However, when critical sectors are addressed, energy saving should be cautiously tackled, so to not impair stringent dependability properties such contexts typically require. This is the case of the railway transportation system, which is the critical infrastructure this paper focuses on. For this system category, the attitude has been typically to neglect efficient usage of energy sources, motivated by avoiding to put dependability in danger. The new directives, both at national and international level, are going to change this way of thinking. Our study intends to be a useful support to careful energy consumption. In particular, a refined stochastic modeling framework is offered, tailored to the railroad switch heating system, through which analyses can be performed to understand the sophisticated dynamics between the system (both the cyber and physical components) and the surrounding weather conditions.Source: From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, pp. 481–501, 2019
DOI: 10.1007/978-3-030-30985-5_28
Metrics:
See at:
ISTI Repository | doi.org | link.springer.com | CNR ExploRA
2019
Other
Open Access
Enhanced power grid evaluation through efficient stochastic model-based analysis
Masetti G.
The electrical infrastructure can be considered nowadays as a meta-critical infrastructure: in fact it is the basis for almost all the critical infrastructures a modern nation can have, such as water, oil, gas and transportation. This implies that its correct operation is a fundamental requirement to the correct operation of the critical infrastructures that depend on it. To allow pervasive control and monitoring towards resilience and performance enhancements, the Smart Grid is emerging as a convergence of information and commu- nication technology with power system engineering. In particular, the ever increasing level of distributed energy resources penetration calls for more and more sophisticated monitoring and control facilities. So, studying the influence of distributed energy resources, of new control policies and ICT on the dependability of distribution grids offers valuable insights on how to improve the design of Smart Grids. In addition to standard dependability measures such as reliability and availability, among greatly relevant measures specifically defined for electrical distribution systems there are the voltage quality and the energy required, but not supplied, by the distribution system. A popular approach to assess electrical distribution specific measures, in presence of failures or attacks to the ICT system and/or to the electric in- frastructure, is the stochastic model-based analysis. Although several studies have been already proposed, the research in this context still faces a number of challenges, mainly due to the need: i) to consider both the ICT sub- system and the controlled electrical infrastructure, to properly account for (inter)dependencies through which operations (and failures/attacks) propa- gate; ii) to model and analyze the SG components at a sufficiently detailed level of abstraction, targeting realistic representation of their structure and behavior in view of promoting accuracy of the assessment itself. Both nomi- nal and a variety of faulty behaviors are to be investigated, since the interest is on assessing resilience and quality related attributes; iii) to tackle realistic segments of SG in terms of topology size, to make the evaluation study of real interest to stakeholders involved in the field. To cope with all these needs results in huge and complex models, to be typically defined in a modular fashion and requiring sophisticated composi- tional operators. Moreover, model solution through simulation-based eval- uation becomes unavoidable in presence of non-Markovian behavior of the involved components, thus preventing the use of analytical approaches. Given the above premises, the stochastic model-based analysis of realistic SG topologies is a research area where further investigations and enhance- ments are highly desirable. In this context, this thesis offers contributions in the direction of promoting efficient evaluation of SG in realistic scenarios from a resilience perspective.
Masetti G.
The electrical infrastructure can be considered nowadays as a meta-critical infrastructure: in fact it is the basis for almost all the critical infrastructures a modern nation can have, such as water, oil, gas and transportation. This implies that its correct operation is a fundamental requirement to the correct operation of the critical infrastructures that depend on it. To allow pervasive control and monitoring towards resilience and performance enhancements, the Smart Grid is emerging as a convergence of information and commu- nication technology with power system engineering. In particular, the ever increasing level of distributed energy resources penetration calls for more and more sophisticated monitoring and control facilities. So, studying the influence of distributed energy resources, of new control policies and ICT on the dependability of distribution grids offers valuable insights on how to improve the design of Smart Grids. In addition to standard dependability measures such as reliability and availability, among greatly relevant measures specifically defined for electrical distribution systems there are the voltage quality and the energy required, but not supplied, by the distribution system. A popular approach to assess electrical distribution specific measures, in presence of failures or attacks to the ICT system and/or to the electric in- frastructure, is the stochastic model-based analysis. Although several studies have been already proposed, the research in this context still faces a number of challenges, mainly due to the need: i) to consider both the ICT sub- system and the controlled electrical infrastructure, to properly account for (inter)dependencies through which operations (and failures/attacks) propa- gate; ii) to model and analyze the SG components at a sufficiently detailed level of abstraction, targeting realistic representation of their structure and behavior in view of promoting accuracy of the assessment itself. Both nomi- nal and a variety of faulty behaviors are to be investigated, since the interest is on assessing resilience and quality related attributes; iii) to tackle realistic segments of SG in terms of topology size, to make the evaluation study of real interest to stakeholders involved in the field. To cope with all these needs results in huge and complex models, to be typically defined in a modular fashion and requiring sophisticated composi- tional operators. Moreover, model solution through simulation-based eval- uation becomes unavoidable in presence of non-Markovian behavior of the involved components, thus preventing the use of analytical approaches. Given the above premises, the stochastic model-based analysis of realistic SG topologies is a research area where further investigations and enhance- ments are highly desirable. In this context, this thesis offers contributions in the direction of promoting efficient evaluation of SG in realistic scenarios from a resilience perspective.
See at:
ISTI Repository | CNR ExploRA