The equivalent sample theory and its application in analysis of networked control system （NCS） are presented. After analyzing NCS＇s scheduling in master-slave mode, the characteristics of time delay and sample are ...The equivalent sample theory and its application in analysis of networked control system （NCS） are presented. After analyzing NCS＇s scheduling in master-slave mode, the characteristics of time delay and sample are summarized. Looking on master station visiting the slave station as a special sample process, the theory of equivalent sample is presented. And based on it, the stability of a kind of NCS is analyzed. The criterion to determine the upper bound of transmission delay is introduced, which guarantees the stability. Finally, an example with simulation shows the availability and usability of this analysis method.展开更多
Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when int...Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures （SF） equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.展开更多
基金supported by the National Natural Science Foundation of China (90605007).
文摘The equivalent sample theory and its application in analysis of networked control system （NCS） are presented. After analyzing NCS＇s scheduling in master-slave mode, the characteristics of time delay and sample are summarized. Looking on master station visiting the slave station as a special sample process, the theory of equivalent sample is presented. And based on it, the stability of a kind of NCS is analyzed. The criterion to determine the upper bound of transmission delay is introduced, which guarantees the stability. Finally, an example with simulation shows the availability and usability of this analysis method.
基金supported by the National Natural Science Foundation of China(1137100311461006)+4 种基金the Natural Science Foundation of Guangxi(2011GXNSFA0181542012GXNSFGA060003)the Science and Technology Foundation of Guangxi(10169-1)the Scientific Research Project from Guangxi Education Department(201012MS274)Open Research Fund Program of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis(HCIC201301)
文摘Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures （SF） equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.
基金Supported by National Natural Science Foundation of China（60574011）
Acknowledgement The authors would like to thank Professor YANG Guang-Hong for his guidance.
