Approximation of Homogeneous Linear Algebraic Transition Systems
- 10.2991/icsecs-13.2013.27How to use a DOI?
- approximate; labeled transition system; homogeneous linear algebraic transition system
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.
- © 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 -