G. Ciardo, Distributed and Structured Analysis Approaches to Study Large and Complex Systems, Springer Verlag New York Inc., pages 344-374, 2002.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Model-Checking Large Structured Markov Chains - Buchholz, Katoen, Kemper, Tepper (2002) (Correct)
....approaches. The idea of these approaches is to represent the huge generator or transition matrix as a sum of Kronecker products of small component matrices. The approach has been rst developed for networks of stochastic automata [42,43] and has been subsequently extended in various directions [14,8,19,24,38]. Structured analysis approaches allow the ecient analysis of large Markov chains and, due to the compositional description of the transition matrix, several other steps exploiting the model structure like aggregation due to equivalence or local elimination of vanishing states can be performed ....
....that we conducted. Section 9 concludes the paper. The appendix summarizes the Kronecker operations. 2 Basic De nitions and Notations Structured descriptions have been proposed in di erent forms and notations vary signi cantly. This paper uses the model class and most of the notation of [14,19]. For the representation of the state space we exploit the extensions given in [16] The structured model checking approach we present here can be easily extended to other Kronecker representations of the generator matrix like the hierarchical approach [8,12,17] or matrix diagrams [19,20] ....
[Article contains additional citation context not shown here]
G. Ciardo. Distributed and structured analysis approaches to study large and complex systems. In E. Brinksma, H. Hermanns, and J.-P. Katoen (eds), Lectures on Formal Methods and Perf. Analysis, LNCS 2090.
High level Hardware/Software Communication.. - Pandey, Zimmer.. (2005) (Correct)
No context found.
G. Ciardo, Distributed and Structured Analysis Approaches to Study Large and Complex Systems, Springer Verlag New York Inc., pages 344-374, 2002.
An Efficient Symbolic Out-of-Core Solution Method for.. - Mehmood, Parker.. (2003) (Correct)
No context found.
Gianfranco Ciardo. Distributed and structured analysis approaches to study large and complex systems. Lecture Notes in Computer Science, 2090:344-374, 2001.
An Efficient Symbolic Out-of-Core Solution Method for.. - Mehmood, Parker.. (2003) (Correct)
No context found.
Gianfranco Ciardo. Distributed and structured analysis approaches to study large and complex systems. Lecture Notes in Computer Science, 2090:344-374, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC