1261.10 로봇 행동의 시간적 특성과 분류

1. 시간적 특성의 정의와 중요성

로봇 행동(robot behavior)은 그 실행에 소요되는 시간적 규모(temporal scale)에 따라 본질적으로 상이한 제어 전략과 통신 패러다임을 요구한다. 시간적 특성(temporal characteristics)이란 특정 행동이 개시(initiation)되어 종료(termination)에 이르기까지의 지속 시간(duration), 주기성(periodicity), 응답 지연(response latency), 그리고 시간적 제약 조건(temporal constraints)을 포괄하는 개념이다.

로봇 시스템에서 시간적 특성은 단순한 실행 시간의 측정을 넘어, 행동 제어 아키텍처의 설계 결정에 핵심적인 영향을 미친다. Arkin(1998)은 로봇 행동의 시간적 특성이 제어 아키텍처의 계층 구조와 직접적인 대응 관계를 형성한다고 지적하였다. 하위 계층의 반응형 행동(reactive behavior)은 밀리초(millisecond) 단위의 시간 규모에서 동작하는 반면, 상위 계층의 심의형 행동(deliberative behavior)은 초(second) 내지 분(minute) 단위의 시간 규모를 요구한다.

2. 시간 규모에 따른 행동 분류

2.1 반사적 행동 (Reflexive Behavior)

반사적 행동은 가장 짧은 시간 규모에서 발생하는 행동 유형으로, 수 밀리초 이내에 센서 입력으로부터 액추에이터 출력으로의 직접적인 사상(mapping)이 이루어진다. 이 범주에 속하는 행동으로는 충돌 회피 반사(collision avoidance reflex), 비상 정지(emergency stop), 그리고 관절 한계 보호(joint limit protection) 등이 있다.

반사적 행동의 시간적 특성은 다음과 같이 정식화할 수 있다.

\tau_{\text{reflex}} < \tau_{\text{control cycle}}

여기서 \tau_{\text{reflex}}는 반사 응답 시간이며, \tau_{\text{control cycle}}은 기본 제어 주기를 나타낸다. 통상적으로 반사적 행동의 응답 시간은 1~10 ms 범위 내에 있어야 한다.

2.2 반응적 행동 (Reactive Behavior)

반응적 행동은 센서 데이터에 대한 실시간 처리를 수반하되, 반사적 행동보다 복잡한 감각 운동 변환(sensorimotor transformation)을 포함한다. Brooks(1986)가 제안한 포섭 아키텍처(Subsumption Architecture)에서의 기본 행동 모듈이 이 범주에 해당하며, 실행 주기는 일반적으로 10~100 ms 범위이다.

반응적 행동은 외부 환경의 변화에 대한 즉각적인 대응을 목표로 하며, 내부 상태 표현(internal state representation)의 유지를 최소화한다. 벽면 추종(wall following), 장애물 회피(obstacle avoidance), 광원 추적(phototaxis) 등이 대표적인 반응적 행동의 사례이다.

2.3 전술적 행동 (Tactical Behavior)

전술적 행동은 수백 밀리초에서 수 초의 시간 규모를 가지며, 복수의 반응적 행동을 조합하거나 전환하는 방식으로 구현된다. 이 수준의 행동은 유한 상태 머신(Finite State Machine, FSM) 또는 행동 트리(Behavior Tree, BT)와 같은 명시적 상태 관리 메커니즘을 통해 조율된다.

전술적 행동의 시간적 특성은 다음과 같이 표현할 수 있다.

\tau_{\text{tactical}} = \sum_{i=1}^{n} \tau_{\text{reactive},i} + \sum_{j=1}^{m} \tau_{\text{transition},j}

여기서 \tau_{\text{reactive},i}는 i번째 반응적 행동의 실행 시간이고, \tau_{\text{transition},j}는 j번째 상태 전이에 소요되는 시간이다. 경유지 기반 자율 주행(waypoint navigation), 물체 파지(grasping) 시퀀스, 도킹(docking) 절차 등이 전술적 행동의 범주에 포함된다.

2.4 전략적 행동 (Strategic Behavior)

전략적 행동은 수 분에서 수 시간에 이르는 장기간의 시간 규모에서 전개된다. 이 범주의 행동은 임무 계획(mission planning), 경로 계획(path planning), 자원 배분(resource allocation) 등 고수준의 의사결정을 수반하며, 상당한 계산 시간(computational time)과 세계 모델(world model)의 유지를 필요로 한다.

Gat(1998)의 3계층 아키텍처(Three-Layer Architecture)에서 전략적 행동은 최상위 심의 계층(deliberative layer)에 위치하며, 하위 계층의 행동 실행에 대한 목표 설정(goal setting)과 계획 수립(plan generation)을 담당한다.

3. 시간적 분류의 다차원적 기준

3.1 지속 시간 기반 분류

지속 시간(duration)에 따른 분류는 가장 직관적인 시간적 분류 기준이다. 이 기준에 따라 행동은 순간적 행동(instantaneous behavior), 유한 지속 행동(finite-duration behavior), 그리고 지속적 행동(persistent behavior)으로 구분된다.

3.2 주기성 기반 분류

행동의 주기성(periodicity)에 따라 주기적 행동(periodic behavior)과 비주기적 행동(aperiodic behavior)으로 분류할 수 있다. 주기적 행동은 일정한 시간 간격으로 반복 실행되는 행동을 의미하며, 센서 데이터 수집, 상태 모니터링, 순찰 경로 순환 등이 이에 해당한다. 주기적 행동의 실행 주기 T는 다음의 조건을 만족해야 한다.

T \geq \tau_{\text{exec}} + \tau_{\text{comm}} + \tau_{\text{margin}}

여기서 \tau_{\text{exec}}는 행동 실행 시간, \tau_{\text{comm}}은 통신 지연, \tau_{\text{margin}}은 안전 여유 시간을 나타낸다.

비주기적 행동은 외부 이벤트(event)나 내부 조건의 충족에 의해 비정기적으로 촉발되는 행동으로, 이벤트 구동 아키텍처(event-driven architecture)에 의해 관리된다.

3.3 시간 제약 기반 분류

시간 제약(temporal constraints)의 엄격성에 따라 행동은 경성 실시간 행동(hard real-time behavior), 연성 실시간 행동(soft real-time behavior), 그리고 비실시간 행동(non-real-time behavior)으로 분류된다.

경성 실시간 행동은 정해진 기한(deadline) 내에 반드시 완료되어야 하며, 기한 위반 시 시스템의 안전성이 위협받는 행동을 말한다. 충돌 회피, 비상 정지, 관절 토크 제한 등이 이 범주에 해당한다. 연성 실시간 행동은 기한 위반이 시스템의 성능 저하를 초래하되 치명적 결과를 유발하지는 않는 행동이며, 경로 추종(path following), 물체 추적(object tracking) 등이 이에 속한다. 비실시간 행동은 임무 계획, 지도 구축(mapping), 학습(learning) 등 엄격한 시간 제약이 없는 고수준 인지 행동을 포함한다.

4. 시간적 특성과 통신 패러다임의 관계

로봇 행동의 시간적 특성은 ROS2 통신 패러다임의 선택에 직접적인 영향을 미친다. 짧은 시간 규모의 반사적·반응적 행동은 토픽(Topic) 기반의 발행-구독(publish-subscribe) 통신을 통해 저지연(low-latency) 데이터 스트리밍 방식으로 구현하는 것이 적합하다. 전술적 행동 수준에서는 서비스(Service) 통신의 요청-응답(request-response) 패턴이 상태 질의와 파라미터 설정에 활용되며, 전략적 행동 수준에서는 액션(Action) 통신이 장시간 실행 행동의 목표 전달, 진행 상황 피드백, 결과 수신을 위한 적합한 패러다임으로 기능한다.

이러한 대응 관계를 정리하면 다음과 같다.

5. 시간적 계층 구조와 행동 통합

로봇 행동 제어에서 상이한 시간 규모의 행동들은 계층적 구조(hierarchical structure) 내에서 통합되어야 한다. 상위 계층의 저빈도(low-frequency) 행동은 하위 계층의 고빈도(high-frequency) 행동에 대한 목표와 제약 조건을 설정하고, 하위 계층은 상위 계층에 실행 상태와 결과를 보고한다. 이를 시간적 추상화(temporal abstraction)라 하며, Sutton 등(1999)이 제안한 옵션 프레임워크(Options Framework)에서 체계적으로 정식화된 바 있다.

옵션 o = \langle I, \pi, \beta \rangle에서 I는 개시 집합(initiation set), \pi는 옵션 내 정책(intra-option policy), \beta는 종료 조건(termination condition)을 나타내며, 각 옵션의 실행 시간은 가변적이다. 이러한 시간적 추상화는 복잡한 로봇 임무를 다양한 시간 규모의 행동 단위로 분해(decomposition)하고 재조합(recomposition)하는 데 이론적 기반을 제공한다.

시간적 특성에 기반한 행동 분류는 로봇 행동 제어 시스템의 설계, 구현, 검증 전반에 걸쳐 핵심적인 설계 지침으로 활용된다. 적절한 시간적 분류 체계의 수립은 실시간 안전 보장, 통신 자원의 효율적 배분, 그리고 계층적 행동 통합의 선결 조건이다.