확률적 사이버물리 시스템 계산법

초록

본 논문은 사이버물리 시스템(CPS)을 모델링하고 분석하기 위해 확률적 라벨 전이 시스템을 기반으로 한 하이브리드 프로세스 계산법(pCCPS)을 제안한다. 약한 확률적 동형성, 두 종류의 비동형성 거리(metric) 및 그 합성 특성을 정의하고, 실제 엔지니어링 사례를 통해 이론을 검증한다.

상세 분석

pCCPS는 물리 구성 요소와 사이버(논리) 구성 요소를 명확히 구분하는 설계가 특징이다. 물리 구성 요소는 상태 변수, 센서, 액추에이터 및 그들의 확률적 진화·측정 함수를 포함하는 ‘물리 상태’와 ‘물리 환경’으로 정의된다. 물리 환경의 evol·meas 함수는 각각 상태와 센서 값을 확률 분포로 반환함으로써 불확실성·노이즈를 자연스럽게 모델링한다. 사이버 구성 요소는 Hennessy‑Regev의 시간 프로세스 언어(TPL)를 기반으로 하며, 채널 기반 통신, 센서 읽기(read), 액추에이터 쓰기(write), 그리고 확률적 선택(L_i p_i : P_i)이라는 세 가지 연산자를 추가한다. 이러한 연산자는 CPS에서 물리와 논리 사이의 인터페이스를 명시적으로 표현한다는 점에서 기존 하이브리드 프로세스 대수와 차별화된다.

시맨틱 측면에서는 Plotkin 스타일의 SOS 규칙을 이용해 확률 라벨 전이 시스템(pLTS)을 정의한다. 전이 라벨은 τ, tick, snd, rcv, read, write 등으로 구성되며, 각 라벨은 확률 분포 위에서 동작한다. 저자들은 시간 결정성(time determinism), 인내(patience), 최대 진행(maximal progress), 그리고 적시성(well‑timedness) 등 표준 시간 특성을 만족함을 증명한다.

동형성 정의에서는 약한 확률적 동형성(≈)을 도입하고, 이는 컨텍스트 보존성(contextual preservation)을 통해 합성 가능성을 확보한다. 그러나 ≈는 정확히 동일한 행동만을 식별하므로 미세한 확률 차이를 구분하지 못한다. 이를 보완하기 위해 두 종류의 비동형성 거리(metric)를 제시한다. 첫 번째는 전역적인 약한 비동형성 거리 ≈_p 로, p∈