[논문 리뷰] A category of hybrid systems

Eugene Lerman|arXiv (Cornell University)|2016. 12. 06.

Distributed and Parallel Computing Systems참고 문헌 4인용 수 8

한 줄 요약

이 논문은 실행을 유지하는 사상이 있는 구조적 객체로서 하이브리드 동역계를 정의하는 범주론적 프레임워크를 제안한다. 이는 사상이 하이브리드 시스템 간의 실행을 매핑함으로써 시스템 연결 및 네트워크의 통합적 처리를 가능하게 하며, 비결정론적 및 연속-이산 시스템에의 적용을 가능하게 한다.

ABSTRACT

We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions. We plan to use this result to define and study networks of hybrid systems.

연구 동기 및 목표

• 하이브리드 동역계를 범주 내의 객체로 형식화하여 시스템 행동의 구조적 분석을 가능하게 한다.
• 실행의 역학을 유지하는 하이브리드 시스템 간의 사상 정의를 통해 시스템 변환 간의 일관성을 확보한다.
• 범주적 합성과 구조를 이용한 하이브리드 시스템 네트워크 모델링을 위한 기반을 제공한다.
• 비결정론적 행동과 모서리가 있는 다양체를 포함시켜 기존 정의를 일반화한다.
• 라벨된 전이 시스템을 활용한 향후 작업을 위한 열린 시스템, 상호연결 및 병렬 합성의 기초를 마련한다.

제안 방법

• 하이브리드 시스템을 하이브리드 위상공간(영역으로 가는 그래프 사상)과 하이브리드 벡터장으로 구성된 것으로 정의한다.
• 벡터장과 위상공간 구조와 가환하는 그래프 사상과 영역 사상의 쌍으로 하이브리드 시스템의 사상을 도입한다.
• 실행을 하이브리드 시간 동역계에서 연구 중인 하이브리드 시스템으로의 사상으로 표현하여 시간 진화를 형식화한다.
• 사상의 합성이 실행을 유지함을 증명하여, 유효한 궤적이 원천 시스템에서 유효한 궤적으로 사상된다는 것을 보장한다.
• 다중 구성 요소를 가진 시스템 간의 상호연결과 사상을 모델링하기 위해 가짜 더블 범주를 사용한다.
• 모서리가 있는 다양체 위의 벡터장과 이산 점프를 나타내는 부분 함수를 포함한 예시에 프레임워크를 적용한다.

실험 결과

연구 질문

• RQ1 하이브리드 동역계를 어떤 방식으로 범주 내의 객체로 형식화할 수 있을까? 이는 시스템의 구조적 분석을 가능하게 한다.
• RQ2 하이브리드 시스템 간의 사상이 실행의 역학을 유지하기 위해 만족해야 할 조건은 무엇인가?
• RQ3 실행은 하이브리드 시스템의 범주 내에서 자연스럽게 사상으로 해석될 수 있는가?
• RQ4 이 범주론적 프레임워크는 하이브리드 시스템 네트워크의 구성과 분석을 어떻게 지원하는가?
• RQ5 라벨된 전이 시스템에서와 같이 병렬 합성과 동기화를 통합하기 위해 어떤 수정이 필요한가?

주요 결과

• 하이브리드 시스템 간의 사상은 실행을 유지한다. 즉, 원천 시스템에서 유효한 궤적이면, 그 사상에 의한 상대적 궤적도 목표 시스템에서 유효한 궤적이 된다.
• 하이브리드 시스템의 실행은 하이브리드 시간 동역계에서 연구 중인 시스템으로의 사상으로서 공식적으로 정의될 수 있다.
• 하이브리드 시스템의 범주는 합성에 대해 닫혀 있으며, 이는 사상의 복합체가 항상 사상이 되고 역학을 유지함을 보장한다.
• 부분 함수와 관계를 允허함으로써 이 프레임워크는 비결정론적 시스템을 지원한다.
• 이전의 애머스와 세스트리의 접근 방식과 비교해 볼 때, 이 구성은 더 일반적이고 단순하다.
• 이 접근법은 하이브리드 시스템 네트워크 연구를 위한 범주론적 기반을 제공하며, 향후 열린 시스템과 병렬 합성에 대한 연구에 잠재적인 기반을 마련한다.