최적 감독 제어 합성

논문은 먼저 페트리 넷(PN)이 이산 이벤트 시스템(DES) 제어에 적합한 모델임을 강조하고, 금지 상태를 방지하기 위한 전통적인 장소 불변량 방법을 소개한다. 기존 방법은 금지 상태마다 하나의 제어 장소를 삽입해 선형 제약식을 구성하지만, 금지 상태가 많아지면 제어 구조가 복잡해진다. 이를 해결하기 위해 저자는 안전하고 보존적인 PN을 가정하고, 두 가지 핵심 가정을 설정한다. 첫째, 같은 불변량에 속하는 두 장소는 동시에 마킹될 수 없으며, 둘째, 금지 상태는 ‘오버‑스테이트’(상위 상태) 개념을 통해 부분 집합으로 표현될 수 있다. 다음으로 금지 상태를 선형 제약식으로 변환하는 과정을 설명한다. 금지 상태 f_i에 포함된 마킹된 장소 집합 {P_i1,…,P_in}에 대해 “∑ m_ik ≤ n‑1” 형태의 부등식을 만든다. 예를 들어, (P2 P5 P7) 가 금지 상태라면 m2+m5+m7 ≤ 2 가 된다. 이렇게 얻은 제약식들은 제어 장소를 설계하는 데 직접 사용된다. 그 후 제약식의 수와 크기를 줄이는 ‘제약식 축소’ 절차를 제시한다. Property 1은 동일한 불변량에 속하는 r개의 금지 상태가 있을 때, 각각의 제약식을 합쳐 공통 부분만 남기는 단일 제약식으로 변환한다. 이때 새로운 경계값은 n‑2 로 감소한다. 예시로 (P1 P4 P7), (P1 P4 P8), (P1 P4 P9) 세 금지 상태가 있을 때, 각각의 제약식 m1+m4+m7 ≤ 2 등은 “m1+m4 ≤ 1” 로 압축될 수 있다. Property 2는 서로 다른 불변량에 속하지만 전체 마킹 합이 1 이하인 경우에 적용된다. 여기서는 “∑ m_i ≤ 1” 과 기존 제약식들을 결합해 “∑ m_i + 공통 부분 ≤ k” 형태의 하나의 제약식으로 통합한다. 또한 저자는 도달 불가능 상태(Unreachable states)를 인위적으로 금지 상태에 포함시켜 제약식 집합을 확대한다. 이러한 상태는 실제 시스템에서 발생하지 않지만, 포함함으로써 제약식 간의 중복을 줄이고 더 큰 압축을 가능하게 한다. 제약식 축소 후, 최종 제어 장소는 최소화된 제약식 집합에 대응하는 곳에만 삽입된다. 각 제어 장소는 해당 제약식의 계수를 갖는 가중치를 가지고, 원래 PN에 연결되어 금지 상태를 방지한다. 이 과정은 최대 허용성(MPC)을 유지하면서도 제어 구조를 단순화한다. 논문은 마지막에 제조 라인 예제를 통해 방법을 시연한다. 두 대의 독립적인 기계와 로봇, 테스트 벤치로 구성된 시스템에서 금지 상태를 도출하고, 제약식 축소 과정을 적용해 제어 장소 수를 크게 줄인다. 결과적으로 원래 필요했던 다수의 제어 장소가 몇 개로 압축되었으며, 시스템의 동작은 사양을 완전히 만족하면서도 구현 복잡도가 낮아졌다.