Proceedings of the 2013 International Conference on Software Engineering and Computer Science

Approximation of Homogeneous Linear Algebraic Transition Systems

Authors
Yi Liang, Hao Yang, Hongyan Tan, Jinzhao Wu
Corresponding Author
Yi Liang
Available Online September 2013.
DOI
10.2991/icsecs-13.2013.27How to use a DOI?
Keywords
approximate; labeled transition system; homogeneous linear algebraic transition system
Abstract

In terms of approximation of labeled transition systems, it is inefficient to simplify system actions. This paper proposed approximation of homogeneous linear algebraic transition systems. In order to extend the system actions, homogeneous linear algebraic programs are applied to describe system actions. Then it proposed the theory and algorithm of approximation of homogeneous linear algebraic transition systems. Under certain conditions, approximation of homogeneous linear algebraic transition systems can optimize homogeneous linear algebraic transition systems efficiently. Finally, above view is verified by a simple example.

Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2013 International Conference on Software Engineering and Computer Science
Series
Advances in Intelligent Systems Research
Publication Date
September 2013
ISBN
978-90786-77-82-6
ISSN
1951-6851
DOI
10.2991/icsecs-13.2013.27How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Yi Liang
AU  - Hao Yang
AU  - Hongyan Tan
AU  - Jinzhao Wu
PY  - 2013/09
DA  - 2013/09
TI  - Approximation of Homogeneous Linear Algebraic Transition Systems
BT  - Proceedings of the 2013 International Conference on Software Engineering and Computer Science
PB  - Atlantis Press
SP  - 128
EP  - 131
SN  - 1951-6851
UR  - https://doi.org/10.2991/icsecs-13.2013.27
DO  - 10.2991/icsecs-13.2013.27
ID  - Liang2013/09
ER  -