유한 상태 머신으로 표현되는 비동기 머신의 안정 상태 동작은 피드백 제어를 통해서 원하는 목적에 맞게 교정될 수 있다. 본 논문에서는 불확실한 상태 천이를 가지는 입력/상태 비동기 머신을 위한 상태 피드백 제어기를 제안한다. 비동기 머신은 결정적인 동작 특성을 가지고 있으나 모델 불확실성, 내부 고장 등으로 인해서 일부 영역의 상태 천이 함수가 불확실하다. 교정 제어의 목적은 불확실한 상태 천이를 고려하면서 머신의 폐루프 동작이 주어진 정상적인 모델 동작의 부분 집합이 되도록하는 일이다. 또 제어기는 실제 교정 동작을 수행하면서 획득하는 머신의 정확한 상태 천이를 그 다음 제어 동작에 반영한다. 즉 학습을 통해서 폐루프 시스템이 이룰 수 있는 모델의 부분 동작의 범위가 더 확대된다. 사례 연구를 제안된 제어기의 설계 과정을 예시한다.
Stable-state behaviors of asynchronous sequential machines represented as finite state machines can be corrected by feedback control schemes. In this paper, we propose a state feedback control scheme for input/state asynchronous machines with uncertain transitions. The considered asynchronous machine is deterministic, but its state transition function is partially known due to model uncertainty or inner logic errors. The control objective is to compensate the behavior of the closed-loop system so that it matches a sub-behavior of a prescribed model despite uncertain transitions. Furthermore, during the execution of corrective action, the controller reflects the exact knowledge of transitions into the next step, i.e., the range of the behavior of the closed-loop system can be enlarged through learning. The design procedure for the proposed controller is described in a case study.
