Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

By:

Platzer, Andre

Material type: Text

TextPublication details: Springer 2010 USADescription: 426pISBN:

9783642444746

Subject(s):

Electronics and Communication

DDC classification:

629.89 PLA

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Book	NIMA Knowledge Centre	6th Floor Silence Zone	Reference	629.89 PLA (Browse shelf(Opens below))	Not For Loan		T0052257

Total holds: 0

Contents
Introduction
Part: I Logics and Proof Calculi for Hybrid Systems
Diffential Dynamic Logic d
Diffential Algebraic Dynamic Logic DAL
Diffential Temporal Dynamic Logic DTL
Part: II Automated Theorem Proving for Hybrid Systems
Deduction Modulo Real Algebra and Computer Algebra
Computing Differential Invariants as Fixed Points
Part: III Case Studies and Applications in Hybrid Systems Verification
European Train Control System
Air Traffic Collision Avoidance
Conclusion
Part: IV Appendix
First Order Logic and Theorem Proving
Differential Equations
Hybrid Automata
Keymaera Implementation
References
Index
Operators and Proof Rules

There are no comments on this title.

to post a comment.