Title :
STSLib and its application to two benchmarks
Author :
Ma, Chuan ; Wonham, W.M.
Author_Institution :
Dept. of Comput. & Software, McMaster Univ., Hamilton, ON
Abstract :
State tree structures (STS) are an adaptation of statecharts to supervisory control theory. STSLib is a C++ library that we have developed to support the symbolic analysis and synthesis of STS. This paper presents a short introduction to the library, and then applies the library to two benchmarks: (1) cat and mouse tower (CMT), (2) dining philosophers (DP). We demonstrate that STSLib can design optimal nonblocking supervisors for systems of state size up to 10626, and the resulting controllers are tractable and readily comprehensible.
Keywords :
C++ language; control system analysis computing; control system synthesis; software libraries; tree data structures; C++ library; STS synthesis; STSLib; cat-and-mouse tower benchmark; complex system; dining philosopher benchmark; state chart; state tree structure; supervisory control theory; symbolic analysis; Control system synthesis; Control systems; Libraries; Mice; Optimal control; Poles and towers; Size control; Sociotechnical systems; Supervisory control; Tree data structures; Cat and Mouse Tower; Dining Philosophers; State Tree Structure (STS); Symbolic Computation;
Conference_Titel :
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on
Conference_Location :
Goteborg
Print_ISBN :
978-1-4244-2592-1
Electronic_ISBN :
978-1-4244-2593-8
DOI :
10.1109/WODES.2008.4605932
