Text| 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 |
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.