Title :
Symbolic computation for discrete event systems
Author :
Xinhe, Xu ; Wendong, Xiao
Author_Institution :
Dept. of Autom. Control, Northeastern Univ., Shenyang, China
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;
Conference_Titel :
Decision and Control, 1995., Proceedings of the 34th IEEE Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-7803-2685-7
DOI :
10.1109/CDC.1995.478503
