NDLI: Lumping and reversed processes in cooperating automata

Content Provider	Springer Nature Link
Author	Balsamo, Simonetta Dei Rossi, Gian Luca Marin, Andrea
Copyright Year	2014
Abstract	Performance evaluation of computer software or hardware architectures may rely on the analysis of a complex stochastic model whose specification is usually given in terms of a high level formalism such as queueing networks, stochastic Petri nets, stochastic automata or Markovian process algebras. Compositionality is a key-feature of many of these formalisms and allows the modeller to combine several (simple) components to form a complex architecture. However, although these formalisms lead to relative compact specifications of possibly complex models, the derivation of the performance indices may be computationally very time and space consuming since the set of possible states of the model tends to grow exponentially (or even faster) with the number of components. In this paper we focus on models with underlying continuous time Markov chains (CTMCs) and we introduce a notion of typed lumpability, which gives sufficient conditions under which a lumping of the process can be derived, allowing the exact computation of marginal stationary probabilities of the cooperating components. The peculiarity of our method relies on the fact that lumping is applied at the component-level rather than to the CTMC underlying the joint process, thus reducing both the memory requirements and the computational cost of the subsequent solution of the model. Moreover, we investigate the properties of the lumping of reversed automata and we prove that, if these are reversible, a conditional product-form solution of their cooperation with other non-blocking automata can be derived. Although conditional product-forms have been previously investigated by other authors with the aim of approximating non-product-form models, the contribution of this paper consists in giving sufficient conditions for this approach to yield exact results and providing examples to support the modeller’s intuition.
Starting Page	695
Ending Page	722
Page Count	28
File Format	PDF
ISSN	02545330
Journal	Annals of Operations Research
Volume Number	239
Issue Number	2
e-ISSN	15729338
Language	English
Publisher	Springer US
Publisher Date	2014-08-22
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Stochastic modelling Product forms Lumping Performance evaluation Operation Research/Decision Theory Combinatorics Theory of Computation
Content Type	Text
Resource Type	Article
Subject	Management Science and Operations Research

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Analytical and stochastic modelling techniques

Modelling support for stochastic programs

Normal Forms in One-Parametric Optimization

Stochastic programs and statistical data

Scenarios for Multistage Stochastic Programs

Hybrid Modelling for Robust Solving

Uncertain Product Quality, Optimal Pricing and Product Development

Stochastic integer programming:General models and algorithms

Modelling Teams and Workgroups in Manufacturing

Lumping and reversed processes in cooperating automata

Similar Documents

Analytical and stochastic modelling techniques

Modelling support for stochastic programs

Normal Forms in One-Parametric Optimization

Stochastic programs and statistical data

Scenarios for Multistage Stochastic Programs

Hybrid Modelling for Robust Solving

Uncertain Product Quality, Optimal Pricing and Product Development

Stochastic integer programming:General models and algorithms

Modelling Teams and Workgroups in Manufacturing

Lumping and reversed processes in cooperating automata