Coordinated corrective control for model matching of asynchronous sequential machines

Abstract

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.

Keywords:

• Asynchronous sequential machines (ASMs)
• dynamic corrective control
• coordinated control
• model matching

Disclosure statement

No potential conflict of interest was reported by the author(s).

Additional information

Funding

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).

Notes on contributors

Jung-Min Yang

Jung-Min Yang received the B.S., M.S., and Ph.D. degrees in Electrical Engineering from Korea Advanced Institute of Science and Technology (KAIST), Korea, in 1993, 1995, and 1999, respectively. Since 2013, he has been with the School of Electronics Engineering, Kyungpook National University, Daegu, Korea, where he is currently a professor. His research interests are in control of asynchronous sequential machines, supervisory control of discrete-event systems, and control of complex networks.

Dong-Eun Lee

Dong-Eun Lee worked for School of Engineering at Southern Illinois University Edwardsville (SIUE) in USA as an assistant professor. He is a full professor with tenure in both the School of Architecture and Civil Engineering and the Robot and Smart System Engineering at Kyungpook National University, Korea. He is also the chief of Intelligent Construction Automation Center nominated by Ministry of Science and ICT. His specialty includes automation in construction, construction robots, optimization, stochastic simulation, and quantitative analysis.

Seong-Jin Park

Seong-Jin Park received the B.S., M.S., and Ph.D. degrees in Electrical Engineering from Korea Advanced Institute of Science and Technology (KAIST), Korea, in 1994, 1997, and 2001, respectively. From September 2001 to February 2004, he was a senior engineer in the Telecommunication Division, Samsung Electronics, Korea. In March 2004, he joined the Department of Electrical and Computer Engineering, Ajou University, Korea, where he is currently a professor. His research interest is in supervisory control of discrete-event systems.