[논문 리뷰] Hybrid systems with memory: Existence and well-posedness of generalized solutions

Jun Liu, Andrew R. Teel|arXiv (Cornell University)|2015. 07. 20.

Stability and Controllability of Differential Equations인용 수 3

한 줄 요약

이 논문은 하이브리드 시간 도메인에서 정의된 일반화된 해를 사용하여 기억 기능을 가진 하이브리드 시스템에 대한 이론적 프레임워크를 수립한다. 그래픽 컨버전스 위상수학을 활용하여 존재성과 잘 정의됨을 보장하며, 주요 기여는 이러한 시스템에서의 사전 점근적 안정성이 외부 편향에 대해 강건함을 입증하는 것이다. 이를 통해 이산 및 연속 시간 시스템의 지연을 통합적으로 분석할 수 있다.

ABSTRACT

Hybrid systems with memory refer to dynamical systems exhibiting both hybrid and delay phenomena. While systems of this type are frequently encountered in many physical and engineering systems, particularly in control applications, various issues centered around the robustness of hybrid delay systems have not been adequately dealt with. In this paper, we establish some basic results on a framework that allows to study hybrid systems with memory through generalized concepts of solutions. In particular, we develop the basic existence of generalized solutions using regularity conditions on the hybrid data, which are formulated in a phase space of hybrid trajectories equipped with the graphical convergence topology. In contrast with the uniform convergence topology that has been often used, adopting the graphical convergence topology allows us to establish well-posedness of hybrid systems with memory. We then show that, as a consequence of well-posedness, pre-asymptotic stability of well-posed hybrid systems with memory is robust.

연구 동기 및 목표

• 이산적 변화와 지연으로 인해 발생하는 불연속성으로 인해 기억 기능을 가진 하이브리드 시스템에 대한 강건한 안정성 분석 도구의 부족을 해결하기 위해.
• 기존에 기억 기능이 없는 하이브리드 시스템에 사용된 일반화된 해 개념을 기능적 지연을 가진 시스템으로 확장하기 위해.
• 하이브리드 데이터의 변형에 대해 안정성 분석이 가능하도록 잘 정의된 이론을 개발하기 위해.
• 공통 이론적 프레임워크를 통해 이산 시간 및 연속 시간 시스템의 지연을 통합적으로 분석하기 위해.
• 기억 기능을 가진 하이브리드 시스템에서의 강건한 안정성 이론의 기초를 제공하여 향후 제어 응용 분야의 발전을 지원하기 위해.

제안 방법

• 실시간과 점프 횟수로 매개변수화된 하이브리드 시간 도메인에서 정의된 일반화된 해를 사용하여 기억 기능을 가진 하이브리드 시스템을 수식화한다.
• 표준 균일 수렴 위상 대신 하이브리드 궤적의 위상공간에서 그래픽 컨버전스 위상을 적용하여 해의 불연속성을 더 잘 다룬다.
• 흐름 및 점프 사상이 기억 궤적의 공간에 정의된 경우, 하이브리드 데이터의 정규성 조건을 통해 일반화된 해의 존재성을 확립한다.
• 하이브리드 데이터의 변형을 도입하고, 초기 조건에 대한 연속적 의존성, 존재성, 유일성을 포함한 해의 존재 조건을 통해 잘 정의됨을 정의한다.
• 기능 미분 포함 이론 및 다가우수 집합 분석 도구를 활용하여 약한 정규성 조건 하에서도 잘 정의됨을 증명한다.
• 잘 정의됨 결과를 바탕으로 사전 점근적 안정성의 강건성을 입증하며, 시스템 데이터의 소규모 변형에도 안정성이 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 지연과 점프로 인해 발생하는 도전 과제를 감안할 때, 기억 기능을 가진 하이브리드 시스템에 대한 일반화된 해는 어떻게 정의되고 존재성이 입증될 수 있는가?
• RQ2 표준 균일 수렴이 실패하는 상황에서, 기억 기능을 가진 하이브리드 시스템의 강건한 분석을 가능하게 하는 위상적 프레임워크는 무엇인가?
• RQ3 기억 기능을 가진 하이브리드 시스템의 해 집합이 존재성, 유일성, 그리고 초기 조건에 대한 연속적 의존성을 보장하기 위해 어떤 조건이 필요한가?
• RQ4 기억 기능을 가진 하이브리드 시스템에서 사전 점근적 안정성은 시스템 데이터의 변형에 대해 강건한가?
• RQ5 제안된 프레임워크는 이산 시간 및 연속 시간 시스템의 지연을 하나의 이론적 설정에서 통합적으로 분석할 수 있는가?

주요 결과

• 흐름 및 점프 집합이 기억 궤적의 공간에 정의된 경우, 하이브리드 데이터에 대한 약한 정규성 조건 하에서 기억 기능을 가진 하이브리드 시스템의 일반화된 해가 존재한다.
• 그래픽 컨버전스 위상을 사용함으로써 기억 기능을 가진 하이브리드 시스템의 잘 정의됨이 확립되며, 이는 균일 수렴보다 해의 구조적 성질을 더 잘 반영한다.
• 잘 정의된 기억 기능을 가진 하이브리드 시스템에서 사전 점근적 안정성은 시스템 데이터의 변형에 대해 강건하며, 소규모 외부 요동에도 안정성이 유지된다.
• 그래픽 컨버전스를 통한 해 수열의 수렴성과 극한 해의 안정성 특성을 활용한 모순 증명을 통해 사전 점근적 안정성의 강건성이 공식적으로 입증되었다.
• 이 프레임워크를 통해 대칭 라플라스 정리 및 불변성 원리와 같은 핵심 안정성 도구를 기억 기능을 가진 하이브리드 시스템으로 확장할 수 있다.
• 결과적으로, 지연을 포함한 하이브리드 시스템에 대한 종합적인 강건한 안정성 이론의 개발을 지원하며, 이산 및 연속 동역학의 기억 효과를 통합적으로 다룰 수 있다.