关键词：
vector type
摘要：
This thesis discusses supervisory control for Vector Discrete-Event Systems (VDES) and Discrete-Event Systems of Mixed Structural Type, or simply, Mixed Event Systems (MDES). The thesis begins with controller synthesis of VDES. This is a continuation and further development of the author's previous research on VDES. Important structures like unstable loops and maximal strongly connected components are exploited to facilitate controller synthesis. Nonblocking supervisory control is addressed for a class of VDES. Then structural analysis and controller synthesis techniques are extended to MDES. MDES models combine finite automaton models (RW models) and Vector Discrete-Event System (VDES) models into a unifying framework. Each MDES has two subplants, namely, an RW subplant called symbolic subplant and a VDES subplant called numerical subplant. Control specifications are given as dynamic predicates, static predicates and state predicates. The control objective is to synthesize controllers enforcing the supremal controllable sublanguages of given specifications. Structural properties of MDES models are exploited to facilitate controller synthesis. Synthesis procedures are designed and provided. Our research result shows that MDES models have certain advantages over the existing models with respect to modeling compactness and computational efficiency.
欢迎来到三峡大学图书馆！
中文科技期刊
详细信息
