Approximation of Homogeneous Linear Algebraic Transition Systems

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)

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  -