Sign In
insight - 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.
Products | Resources
© 2024 by Linnk AI