Inhaltsangabe
Logics and Proof Calculi for Hybrid Systems.- Differential Dynamic Logic d?.- Differential-Algebraic Dynamic Logic DAL.- Differential Temporal Dynamic Logic dTL.- Automated Theorem Proving for Hybrid Systems.- Deduction Modulo Real Algebra and Computer Algebra.- Computing Differential Invariants as Fixed Points.- Case Studies and Applications in Hybrid Systems Verification.- European Train Control System.- Air Traffic Collision Avoidance.- Conclusion.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
