サインイン
インサイト - Hybrid Systems
평면 하이브리드 시스템에서의 리미트 사이클과 카오스
이 논문에서는 두 개의 선형 중심과 임의의 차수의 다항식 리셋 맵으로 구성된 평면 하이브리드 미분 시스템 가족을 연구합니다. 리미트 사이클과 이러한 하이브리드 시스템에서 관찰되는 카오스 동역학의 예를 제공합니다.
선형 시스템을 위한 단순 신경형태 제어기의 분석: 하이브리드 시스템 관점
제안된 신경형태 제어기는 단일 상태 선형 시불변 시스템에 대해 실용적 안정성 특성을 보장한다.
실시간 통신 및 병렬 처리를 위한 일반화된 하이브리드 Hoare 논리
이 논문은 하이브리드 시스템의 통신 및 병렬 처리를 효과적으로 모델링하고 검증할 수 있는 일반화된 하이브리드 Hoare 논리를 제안한다. 이 논리는 기존 하이브리드 Hoare 논리보다 단순하고 강력하며, 연속적 및 이산적 상대 완전성을 가진다.
A Generalized Hybrid Hoare Logic for Modeling and Verifying Hybrid Systems with Concurrency and Communication
This paper presents a generalized and simplified hybrid Hoare logic (HHL) for specifying and reasoning about hybrid systems (HSs) with concurrency and communication, using assertions about traces that record communications, readiness, and continuous evolution.
