GTAexpress: A software package to handle Kronecker descriptors

Ricardo M. Czekster; Paulo Fernandes; Thais Webber

doi:10.1109/QEST.2009.26

GTAexpress: A software package to handle Kronecker descriptors

Ricardo M. Czekster, Paulo Fernandes, Thais Webber

Research output: Chapter in Book/Published conference output › Conference publication

Abstract

This paper presents a software package, called GTAexpress, to handle structured continuous-time Markovian models expressed using generalized tensor algebra, also known as, Kronecker descriptors. The proposed software package has the most advanced methods to provide stationary and transient solutions as well as some basic structural properties of models represented as a sum of generalized tensor products. Other software tools already provide some approaches based on tensor representation, like, PEPS and SMART. However, such tools are bounded to a specific modeling formalism. The basic idea of GTAexpress is to provide Kronecker descriptor-based solutions that can be easily used as a package in new tools or as a library in the existing high-level formalisms tools.

Original language	English
Title of host publication	QEST - 6th International Conference on the Quantitative Evaluation of Systems
Publisher	IEEE
Pages	281-282
Number of pages	2
ISBN (Print)	978-0-7695-3808-2
DOIs	https://doi.org/10.1109/QEST.2009.26
Publication status	Published - 23 Oct 2009
Event	QEST - 6th International Conference on the Quantitative Evaluation of Systems - Budapest, Hungary Duration: 13 Sept 2009 → 16 Sept 2009

Conference

Conference	QEST - 6th International Conference on the Quantitative Evaluation of Systems
Country/Territory	Hungary
City	Budapest
Period	13/09/09 → 16/09/09

Keywords

Kronecker descriptors
Numerical solution

Access to Document

10.1109/QEST.2009.26

Cite this

@inproceedings{618efa0f1c6c4184b702987803c75348,

title = "GTAexpress: A software package to handle Kronecker descriptors",

abstract = "This paper presents a software package, called GTAexpress, to handle structured continuous-time Markovian models expressed using generalized tensor algebra, also known as, Kronecker descriptors. The proposed software package has the most advanced methods to provide stationary and transient solutions as well as some basic structural properties of models represented as a sum of generalized tensor products. Other software tools already provide some approaches based on tensor representation, like, PEPS and SMART. However, such tools are bounded to a specific modeling formalism. The basic idea of GTAexpress is to provide Kronecker descriptor-based solutions that can be easily used as a package in new tools or as a library in the existing high-level formalisms tools.",

keywords = "Kronecker descriptors, Numerical solution",

author = "Czekster, {Ricardo M.} and Paulo Fernandes and Thais Webber",

year = "2009",

month = oct,

day = "23",

doi = "10.1109/QEST.2009.26",

language = "English",

isbn = "978-0-7695-3808-2",

pages = "281--282",

booktitle = "QEST - 6th International Conference on the Quantitative Evaluation of Systems",

publisher = "IEEE",

address = "United States",

note = "QEST - 6th International Conference on the Quantitative Evaluation of Systems ; Conference date: 13-09-2009 Through 16-09-2009",

}

TY - GEN

T1 - GTAexpress: A software package to handle Kronecker descriptors

AU - Czekster, Ricardo M.

AU - Fernandes, Paulo

AU - Webber, Thais

PY - 2009/10/23

Y1 - 2009/10/23

N2 - This paper presents a software package, called GTAexpress, to handle structured continuous-time Markovian models expressed using generalized tensor algebra, also known as, Kronecker descriptors. The proposed software package has the most advanced methods to provide stationary and transient solutions as well as some basic structural properties of models represented as a sum of generalized tensor products. Other software tools already provide some approaches based on tensor representation, like, PEPS and SMART. However, such tools are bounded to a specific modeling formalism. The basic idea of GTAexpress is to provide Kronecker descriptor-based solutions that can be easily used as a package in new tools or as a library in the existing high-level formalisms tools.

AB - This paper presents a software package, called GTAexpress, to handle structured continuous-time Markovian models expressed using generalized tensor algebra, also known as, Kronecker descriptors. The proposed software package has the most advanced methods to provide stationary and transient solutions as well as some basic structural properties of models represented as a sum of generalized tensor products. Other software tools already provide some approaches based on tensor representation, like, PEPS and SMART. However, such tools are bounded to a specific modeling formalism. The basic idea of GTAexpress is to provide Kronecker descriptor-based solutions that can be easily used as a package in new tools or as a library in the existing high-level formalisms tools.

KW - Kronecker descriptors

KW - Numerical solution

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-74049159083&partnerID=MN8TOARS

UR - https://ieeexplore.ieee.org/document/5290659

U2 - 10.1109/QEST.2009.26

DO - 10.1109/QEST.2009.26

M3 - Conference publication

SN - 978-0-7695-3808-2

SP - 281

EP - 282

BT - QEST - 6th International Conference on the Quantitative Evaluation of Systems

PB - IEEE

T2 - QEST - 6th International Conference on the Quantitative Evaluation of Systems

Y2 - 13 September 2009 through 16 September 2009

ER -

GTAexpress: A software package to handle Kronecker descriptors

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this