Titlebook: Nonblocking Supervisory Control of State Tree Structures; Chuan Ma,W. Murray Wonham Book 2005 Springer-Verlag Berlin Heidelberg 2005 Nonbl

guzzle

2 State Tree Structures: Basics,ral model. Having this in mind, Bing Wang in 1995 introduced State Tree Structures (STS) having both hierarchy and concurrency [Wan95], and showed them to be a powerful modelling tool. For example, both automaton and synchronous product models are special STS. However, Wang’s STS framework was given

vitreous-humor

3 Nonblocking Supervisory Control of State Tree Structures,apter, we will move on to deal with the control of STS. The setup of this chapter is the following. First, we compare the state trees of our STS with predicates in section 3.1. Then we handle controllability and nonblocking in section 3.2 and 3.3, respectively. In outline, this chapter follows a sim

賭博

6 The AIP Example,as applied to the synthesis. The AIP system is illustrated in Figure 6.1. There are .ve conveyor loops. The central loop (CL) communicates with each external loop (L., . = 1, 2 , 3 , 4) by a transfer unit (TU., . = 1, 2 , 3 , 4), respectively. There are three assembly stations AS., . = 1, 2 , 3 link

Collar

外科醫(yī)生

Chuan Ma,W. Murray WonhamPresents a formalized State Tree Structure model.Gives new answers to: How to model and control complex systems? How to make the controller more transparent?

閃光你我

Lecture Notes in Control and Information Scienceshttp://image.papertrans.cn/n/image/667174.jpg

手榴彈

https://doi.org/10.1007/b105592Nonblocking Supervisory Control; State Tree Structures; Supervisory Control Theory; artificial intellig

Contort

978-3-540-25069-2Springer-Verlag Berlin Heidelberg 2005

DUST

Evocative

7 Conclusions and Future Research,design efficiently, we employed a symbolic representation of STS and developed a recursive symbolic algorithm that succeeds with the AIP example having state space of order 10.. The state space explosion problem is effectively controlled. Furthermore the resulting controllers are tractable and highly comprehensible.