TY - GEN
T1 - GTAexpress: A software package to handle Kronecker descriptors
AU - Czekster, R.M.
AU - Fernandes, P.
AU - Webber, T.
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.
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
BT - QEST - 6th International Conference on the Quantitative Evaluation of Systems
PB - IEEE
ER -