2010

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

Authors:

ISBN: 978-3-642-14508-7 (Print) 978-3-642-14509-4 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xxx

  2. No Access

    Book Chapter

    Pages 1-29

    Introduction

  3. Logics and Proof Calculi for Hybrid Systems

    1. Front Matter

      Pages 31-32

    2. No Access

      Book Chapter

      Pages 33-122

      Differential Dynamic Logic dℒ

    3. No Access

      Book Chapter

      Pages 123-202

      Differential-Algebraic Dynamic Logic DAL

    4. No Access

      Book Chapter

      Pages 203-230

      Differential Temporal Dynamic Logic dTL

  4. Automated Theorem Proving for Hybrid Systems

    1. Front Matter

      Pages 231-232

    2. No Access

      Book Chapter

      Pages 233-252

      Deduction Modulo Real Algebra and Computer Algebra

    3. No Access

      Book Chapter

      Pages 253-274

      Computing Differential Invariants as Fixed Points

  5. Case Studies and Applications in Hybrid Systems Verification

    1. Front Matter

      Pages 275-276

    2. No Access

      Book Chapter

      Pages 277-301

      European Train Control System

    3. No Access

      Book Chapter

      Pages 303-334

      Air Traffic Collision Avoidance

    4. No Access

      Book Chapter

      Pages 335-338

      Conclusion

  6. Back Matter

    Pages 339-426