Epistemic Uncertainty Propagation in Power Models

Gribaudo, Marco; Pinciroli, Riccardo; Trivedi, Kishor S.

doi:10.1016/j.entcs.2018.03.034

Search citation statements

Order By: Relevance

Paper Sections

Select...

Quantitative Analysis1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

2023

Publication Types

Select...

Article3

Book2

Relationship

Self Cite1

Independent4

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [18], we relate our modelling language to Queueing Networks (QNs) [20], a widely used mathematical model to study waiting lines of systems represented as a network of queues [12,13,16]. Customers and service centres are two main elements of QN.…”

Section: Quantitative Analysismentioning

confidence: 99%

Comparing perfomance abstractions for collective adaptive systems

Murgia,

Pinciroli,

Trubiani

et al. 2023

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

Non-functional properties of collective adaptive systems (CAS) are of paramount relevance practically in any application. This paper compares two recently proposed approaches to quantitative modelling that exploit different system abstractions: the first is based on generalised stochastic Petri nets, and the second is based on queueing networks. Through a case study involving autonomous robots, we analyse and discuss the relative merits of the approaches. This is done by considering three scenarios which differ on the architecture used to coordinate the distributed components. Our experimental results assess a high accuracy when comparing model-based performance analysis results derived from two different quantitative abstractions for CAS.

show abstract