Login

Platzer, André

Logical Analysis of Hybrid Systems

Platzer, André - Logical Analysis of Hybrid Systems, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9783642145094
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
André Platzer

2. Differential Dynamic Logic dℒ
André Platzer

3. Differential-Algebraic Dynamic Logic DAL
André Platzer

4. Differential Temporal Dynamic Logic dTL
André Platzer

5. Deduction Modulo Real Algebra and Computer Algebra
André Platzer

6. Computing Differential Invariants as Fixed Points
André Platzer

7. European Train Control System
André Platzer

8. Air Traffic Collision Avoidance
André Platzer

9. Conclusion
André Platzer

Keywords: Computer Science, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics), Mathematics of Computing, Logics and Meanings of Programs, Control, Robotics, Mechatronics

Author(s)
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Page amount
30 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642145094

Similar titles