Run-time efficient probabilistic model checking
File(s)2011-icse.pdf (1014.09 KB)
Accepted version
Author(s)
Filieri, A
Ghezzi, C
Tamburrelli, G
Type
Conference Paper
Abstract
Since the inception of discontinuous Galerkin (DG) methods for elliptic problems, there has existed a question of whether DG methods can be made more computationally efficient than continuous Galerkin (CG) methods. Fewer degrees of freedom, approximation properties for elliptic problems together with the number of optimization techniques, such as static condensation, available within CG framework made it challenging for DG methods to be competitive until recently. However, with the introduction of a static-condensation-amenable DG method—the hybridizable discontinuous Galerkin (HDG) method—it has become possible to perform a realistic comparison of CG and HDG methods when applied to elliptic problems. In this work, we extend upon an earlier 2D comparative study, providing numerical results and discussion of the CG and HDG method performance in three dimensions. The comparison categories covered include steady-state elliptic and time-dependent parabolic problems, various element types and serial and parallel performance. The postprocessing technique, which allows for superconvergence in the HDG case, is also discussed. Depending on the direct linear system solver used and the type of the problem (steady-state vs. time-dependent) in question the HDG method either outperforms or demonstrates a comparable performance when compared with the CG method. The HDG method however falls behind performance-wise when the iterative solver is used, which indicates the need for an effective preconditioning strategy for the method.
Date Issued
2011-05-21
Date Acceptance
2011-05-21
Citation
Proceedings of the 33rd International Conference on Software Engineering, 2011, pp.341-350
ISBN
978-1-4503-0445-0
Publisher
ACM
Start Page
341
End Page
350
Journal / Book Title
Proceedings of the 33rd International Conference on Software Engineering
Copyright Statement
© 2011 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ICSE 2011, http://doi.acm.org/10.1145/1985793.1985840
Identifier
http://doi.acm.org/10.1145/1985793.1985840
Source
ICSE 2011
Notes
location: Waikiki, Honolulu, HI, USA numpages: 10 acmid: 1985840 keywords: discrete time markov chains, run-time model checking acceptance: 62/441, 14.1% acronym: ICSE notes: ACM SigSoft Distinguished Paper Award
Publication Status
Published
Start Date
2011-05-21
Finish Date
2011-05-28
Coverage Spatial
Honolulu, Hawaii