This paper proposes coordinated corrective control of input/state asynchronous sequential machines (ASMs). The states of the considered ASM are physically or logically separated to which complete observation by a single controller is impossible. A number of local dynamic controllers that have access to local states cooperate to match the stable-state behaviour of the closed-loop system to that of a reference model. We investigate reachability description of ASMs in the configuration of coordinated control and present the existence condition and design procedure for local controllers that solve the model matching problem. An illustrative example is provided to validate the proposed coordinated corrective control scheme.
The research of J.-M. Yang and D.-E. Lee was supported in part by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (no. NRF-2018R1D1A1A09082016), and in part by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (no. NRF-2018R1A5A1025137). The research of S.-J. Park was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science and ICT (no. NRF-2019R1F1A1060024).
