Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach
File(s)2012-cca.pdf (227.4 KB)
Accepted version
Author(s)
Filieri, A
Ghezzi, C
Leva, A
Maggio, M
Type
Conference Paper
Abstract
Discrete Time Markov Chains (DTMCs) and Continuous Time Markov Chains (CTMCs) are often used to model various types of phenomena, such as, for example, the behavior of software products. In that case, Markov chains are widely used to describe possible time-varying behavior of “self-adaptive” software systems, where the transition from one state to another represents alternative choices at the software code level, taken according to a certain probability distribution. From a control-theoretical standpoint, some of these probabilities can be interpreted as control signals and others can just be observed. However, the translation between a DTMC or CTMC model and a corresponding first principle model, that can be used to design a control system is not immediate. This paper investigates a possible solution for translating a CTMC model into a dynamic system, with focus on the control of computing systems components. Notice that DTMC models can be translated as well, providing additional information.
Date Issued
2012-10-05
Date Acceptance
2012-10-03
Citation
Proceedings of the IEEE International Conference on Control Applications, 2012, pp.557-562
ISBN
978-1-4673-4503-3
ISSN
1085-1992
Publisher
IEEE
Start Page
557
End Page
562
Journal / Book Title
Proceedings of the IEEE International Conference on Control Applications
Copyright Statement
© 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Source
CCA 2012
Notes
acronym: CCA
Publication Status
Published
Start Date
2012-10-03
Finish Date
2012-10-05
Coverage Spatial
Dubrovnik, Crotia