DocumentCode
294276
Title
Symbolic computation for discrete event systems
Author
Xinhe, Xu ; Wendong, Xiao
Author_Institution
Dept. of Autom. Control, Northeastern Univ., Shenyang, China
Volume
3
fYear
1995
fDate
13-15 Dec 1995
Firstpage
2618
Abstract
The application of symbolic computation to 2D domain theory of discrete event systems (DES) is presented. A symbolic computation software named DESMATH for manipulating γδ expressions and matrices, for solving dioid equations, and for DES modelling and analysis is implemented on the basis of the mathematical system MATHEMATICA. The basic functions of DESMATH are explained and their usage for solving DES problem is demonstrated by an example
Keywords
algebra; computer software; control system analysis computing; discrete event simulation; discrete event systems; mathematics computing; process algebra; symbol manipulation; 2D domain theory; DES modelling; DESMATH; MATHEMATICA; dioid equations; discrete event systems; symbolic computation software; Algebra; Application software; Computer aided analysis; Computer applications; Counting circuits; Discrete event systems; Equations; Linear systems; Mathematical model; Time domain analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1995., Proceedings of the 34th IEEE Conference on
Conference_Location
New Orleans, LA
ISSN
0191-2216
Print_ISBN
0-7803-2685-7
Type
conf
DOI
10.1109/CDC.1995.478503
Filename
478503
Link To Document