TY - GEN
T1 - ASM and controller synthesis
AU - Banach, Richard
AU - Zhu, Huibiao
AU - Su, Wen
AU - Wu, Xiaofeng
PY - 2012
Y1 - 2012
N2 - While many systems are naturally viewed as the interaction between a controller subsystem and a controlled, or plant subsystem, they are often most easily understood and designed monolithically. A practical implementation needs to separate controller from plant. We study the problem of when a monolithic ASM system can be split into controller and plant subsystems along syntactic lines derived from variables' natural affiliations. We give restrictions that enable the split to be carried out cleanly, and we give conditions that ensure that the resulting pair of controller and plant subsystems have the same behaviours as the original design. We illustrate the theory with a case study concerning eating with chopsticks. This leads to an extension of controller synthesis for continuous ASM systems, which are briefly covered. The case study is then extended into the continuous sphere.
AB - While many systems are naturally viewed as the interaction between a controller subsystem and a controlled, or plant subsystem, they are often most easily understood and designed monolithically. A practical implementation needs to separate controller from plant. We study the problem of when a monolithic ASM system can be split into controller and plant subsystems along syntactic lines derived from variables' natural affiliations. We give restrictions that enable the split to be carried out cleanly, and we give conditions that ensure that the resulting pair of controller and plant subsystems have the same behaviours as the original design. We illustrate the theory with a case study concerning eating with chopsticks. This leads to an extension of controller synthesis for continuous ASM systems, which are briefly covered. The case study is then extended into the continuous sphere.
UR - https://www.scopus.com/pages/publications/84863957886
U2 - 10.1007/978-3-642-30885-7_4
DO - 10.1007/978-3-642-30885-7_4
M3 - 会议稿件
AN - SCOPUS:84863957886
SN - 9783642308840
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 51
EP - 64
BT - Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings
T2 - 3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012
Y2 - 18 June 2012 through 21 June 2012
ER -