이 논문은 하이브리드 시스템의 통신 및 병렬 처리를 효과적으로 모델링하고 검증할 수 있는 일반화된 하이브리드 Hoare 논리를 제안한다. 이 논리는 기존 하이브리드 Hoare 논리보다 단순하고 강력하며, 연속적 및 이산적 상대 완전성을 가진다.
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.