Logga in

Platzer, André

Logical Analysis of Hybrid Systems

Platzer, André - Logical Analysis of Hybrid Systems, e-bok

109,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783642145094
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
Utgivare
Springer
Utgivningsår
2010
Språk
en
Utgåva
1
Sidantal
30 sidor
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9783642145094

Liknande e-böcker