Formal Verification of Energy Conservation in Discrete Cyber-Physical Fluid Networks: An Algorithmic Proof Methodology Utilizing Mathematical Induction
본 논문은 수학적 귀납법을 활용하여 이산적이고 비순환적인 유체 네트워크를 유향 그래프로 매핑함으로써, 전통적인 수치 해석 솔버에 비해 계산 복잡도를 크게 줄이는 동시에 사이버 물리 시스템 내 에너지 보존 이상 현상을 탐지하기 위한 효율적인 O(V+E) 알고리즘을 가능하게 하는 형식 검증 프레임워크를 제안한다.