Formal Verification of Energy Conservation in Discrete Cyber-Physical Fluid Networks: An Algorithmic Proof Methodology Utilizing Mathematical Induction
Dieses Paper schlägt ein Framework zur formalen Verifizierung vor, das mathematische Induktion nutzt, um diskrete, azyklische Fluid-Netzwerke in gerichtete Graphen abzubilden, was einen effizienten O(V+E)-Algorithmus zur Detektion von Anomalien in der Energieerhaltung bei cyber-physischen Systemen ermöglicht und dabei die Rechenkomplexität im Vergleich zu traditionellen numerischen Lösern signifikant reduziert.