1261.12 연속 행동과 이산 행동의 차이

1. 연속 행동과 이산 행동의 정의

로봇 행동 제어에서 연속 행동(continuous behavior)과 이산 행동(discrete behavior)의 구분은 행동의 출력 신호 특성과 상태 공간의 성질에 기반한 근본적인 분류이다. 이 구분은 수학적 모형화, 제어 알고리즘의 설계, 그리고 통신 인터페이스의 구조에 본질적인 영향을 미친다.

연속 행동은 시간에 대하여 연속적으로 변화하는 출력을 생성하는 행동을 의미한다. 관절 각도의 부드러운 변화, 이동 로봇의 연속적 속도 조절, 매니퓰레이터의 궤적 추종(trajectory tracking) 등이 이에 해당한다. 연속 행동의 상태 공간은 실수 공간 \mathbb{R}^n의 부분집합으로 표현되며, 행동의 전개는 미분방정식에 의해 기술된다.

이산 행동은 유한 개의 구별 가능한 상태 사이에서 전이(transition)가 발생하는 행동을 지칭한다. 그립퍼의 개폐, 행동 모드의 전환, 비상 정지 명령의 발동 등이 이산 행동의 사례이다. 이산 행동의 상태 공간은 유한 집합 Q = \{q_1, q_2, \ldots, q_m\}으로 표현되며, 상태 전이는 이벤트(event)에 의해 촉발된다.

2. 연속 행동의 수학적 특성

2.1 상태 공간 표현

연속 행동은 연속 시간 동역학 시스템(continuous-time dynamical system)으로 모형화된다. 상태 벡터 \mathbf{x}(t) \in \mathbb{R}^n, 입력 벡터 \mathbf{u}(t) \in \mathbb{R}^p, 출력 벡터 \mathbf{y}(t) \in \mathbb{R}^q에 대하여, 연속 행동의 동역학은 다음과 같이 기술된다.

\dot{\mathbf{x}}(t) = f(\mathbf{x}(t), \mathbf{u}(t))

\mathbf{y}(t) = g(\mathbf{x}(t), \mathbf{u}(t))

여기서 f는 상태 전이 함수(state transition function), g는 출력 함수(output function)이다. 선형 시스템의 경우 이는 \dot{\mathbf{x}} = A\mathbf{x} + B\mathbf{u}, \mathbf{y} = C\mathbf{x} + D\mathbf{u}로 단순화된다.

2.2 실행 특성

연속 행동은 다음의 특성을 나타낸다.

첫째, 시간적 연속성(temporal continuity)이다. 행동의 출력이 시간에 대하여 연속 함수이며, 불연속적 도약(discontinuous jump)이 발생하지 않는다.

둘째, 무한 자유도(infinite degrees of freedom)이다. 연속 상태 공간에서의 행동은 이론적으로 무한히 많은 중간 상태를 가질 수 있으며, 이는 제어 입력의 연속적 조절을 통해 실현된다.

셋째, 미분 가능성(differentiability)이다. 연속 행동의 상태 궤적은 일반적으로 미분 가능하며, 이는 경사 기반 최적화(gradient-based optimization)와 궤적 계획(trajectory planning) 기법의 적용을 가능하게 한다.

2.3 대표적 사례

연속 행동의 대표적 사례로는 다음을 들 수 있다.

• PID 제어기에 의한 관절 위치 제어
• 궤적 추종 제어(trajectory tracking control)
• 임피던스 제어(impedance control)에 의한 힘-위치 복합 제어
• 이동 로봇의 속도 프로파일 생성
• 시각 서보잉(visual servoing)에 의한 연속 자세 보정

3. 이산 행동의 수학적 특성

3.1 상태 공간 표현

이산 행동은 이산 이벤트 시스템(Discrete Event System, DES)으로 모형화된다. Ramadge와 Wonham(1989)이 정립한 감독 제어 이론(Supervisory Control Theory)에 기반하여, 이산 행동은 다음의 오순서쌍(quintuple)으로 정의되는 유한 오토마톤(finite automaton)으로 표현할 수 있다.

G = (Q, \Sigma, \delta, q_0, Q_m)

여기서 Q는 유한 상태 집합, \Sigma는 유한 이벤트 집합, \delta : Q \times \Sigma \rightarrow Q는 상태 전이 함수, q_0 \in Q는 초기 상태, Q_m \subseteq Q는 표시 상태(marked states)의 집합이다.

3.2 실행 특성

이산 행동은 다음의 특성을 나타낸다.

첫째, 상태의 구별 가능성(distinguishability)이다. 각 상태는 명확히 구분되며, 두 상태 사이의 중간 상태는 존재하지 않는다.

둘째, 이벤트 구동성(event-driven nature)이다. 상태 전이는 시간의 경과가 아닌 특정 이벤트의 발생에 의해 촉발된다.

셋째, 비결정적 타이밍(nondeterministic timing)이다. 이벤트의 발생 시점은 사전에 결정되지 않으며, 외부 환경이나 내부 조건의 충족에 의존한다.

3.3 대표적 사례

이산 행동의 대표적 사례로는 다음을 들 수 있다.

• 유한 상태 머신(FSM)에 의한 임무 상태 전이
• 그립퍼의 개방/폐합 전환
• 행동 모드의 전환 (대기→탐색→추적→복귀)
• 비상 정지 명령의 발동과 해제
• 센서 활성화/비활성화 제어

4. 연속 행동과 이산 행동의 비교

5. 혼합 행동과 하이브리드 시스템

실제 로봇 시스템에서는 연속 행동과 이산 행동이 독립적으로 존재하기보다는 상호 결합된 형태로 나타난다. 이러한 결합 체계를 하이브리드 시스템(hybrid system)이라 하며, Henzinger(1996)가 제안한 하이브리드 오토마톤(hybrid automaton) 모형에 의해 정식화된다.

하이브리드 오토마톤은 다음과 같이 정의된다.

H = (Q, X, f, \text{Init}, D, E, G, R)

여기서 Q는 이산 상태 집합, X \subseteq \mathbb{R}^n는 연속 상태 공간, f는 각 이산 상태에서의 연속 동역학, \text{Init}는 초기 조건, D는 각 이산 상태에서의 도메인(domain), E는 이산 전이 집합, G는 가드 조건(guard condition), R는 리셋 사상(reset map)이다.

로봇 행동 제어에서 하이브리드 시스템의 사례로는 다음을 들 수 있다.

보행 로봇의 보행 제어: 각 보행 위상(stance phase, swing phase)에서는 연속적인 관절 궤적 제어가 수행되며, 위상 간 전이는 접촉 이벤트(contact event)에 의한 이산적 전환으로 이루어진다.

자율 주행 로봇의 주행 모드 전환: 직진, 회전, 정지 등의 이산 모드 사이에서 전환이 발생하며, 각 모드 내에서는 연속적인 속도 및 조향 제어가 수행된다.

매니퓰레이터의 작업 시퀀스: 접근(approach)→접촉(contact)→파지(grasp)→이동(transport)→배치(place)의 이산적 작업 단계에서 각 단계 내의 동작은 연속 궤적 제어로 실현된다.

6. 행동 제어 아키텍처에서의 설계 함의

연속 행동과 이산 행동의 구분은 행동 제어 아키텍처의 설계에 다음과 같은 함의를 제공한다.

첫째, 제어 루프의 설계에 관한 함의이다. 연속 행동은 고정 주기(fixed-rate)의 주기적 제어 루프를 필요로 하며, 이산 행동은 이벤트 기반(event-triggered)의 비주기적 실행 구조를 요구한다. ROS2에서 이는 타이머 콜백(timer callback)과 서비스/액션 콜백의 구분으로 구현된다.

둘째, 통신 대역폭의 배분에 관한 함의이다. 연속 행동은 센서 데이터와 제어 명령의 지속적인 스트리밍을 필요로 하여 토픽 통신의 대역폭을 점유하는 반면, 이산 행동은 이벤트 발생 시에만 통신 자원을 사용한다.

셋째, 안전성 검증에 관한 함의이다. 연속 행동의 안전성은 리아프노프 안정성(Lyapunov stability) 등의 연속 수학적 도구로 검증하며, 이산 행동의 안전성은 모형 검증(model checking) 등의 형식적 방법(formal methods)으로 검증한다. 하이브리드 시스템의 안전성 검증에는 양자 모두의 통합적 적용이 요구된다.

연속 행동과 이산 행동의 명확한 이해와 적절한 결합은 안정적이고 신뢰성 있는 로봇 행동 제어 시스템의 구축을 위한 이론적 기반이 된다.