Approximate Analyzing of Labeled Transition SystemsReport as inadecuate




Approximate Analyzing of Labeled Transition Systems - Download this document for free, or read online. Document in PDF available to download.

Mathematical Problems in Engineering - Volume 2015 2015, Article ID 963597, 9 pages -

Research Article

School of Science, Guangxi University for Nationalities, No. 188, East Daxue Road, Nanning, Guangxi 530006, China

School of Information Science and Engineering, Guangxi University for Nationalities, No. 188, East Daxue Road, Nanning, Guangxi 530006, China

Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, No. 188, East Daxue Road, Nanning, Guangxi 530006, China

Received 11 June 2015; Accepted 6 July 2015

Academic Editor: Xiaoyu Song

Copyright © 2015 Qiong Yu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

As the most important formal semantic model, labeled transition systems arewidely used, which can describe the general concurrent systems or control systemswithout disturbance. However, under normal circumstance, transition systemsare complex and difficult to use due to large amount of calculation and the statespace explosion problems. In order to overcome these problems, approximateequivalent labeled transition systems are proposed by means of incomplete low-upmatrix decomposition factorization. This technique can reduce the complexity ofcomputation and calculate under the allowing errors. As for continuous-time linearsystems, we develop a modeling method of approximated transition system basedon the approximate solution of matrix, which provides a facility for approximatelyformal semantic modeling for linear systems and to effectively analyze errors. An example of application in the context of linear systems without disturbances isstudied.





Author: Qiong Yu, Shihan Yang, and Jinzhao Wu

Source: https://www.hindawi.com/



DOWNLOAD PDF




Related documents