Differential Dynamic Logics
Autor(en):
Zusammenfassung
Designing and analyzing hybrid systems, which are models for complex physical systems, is expensive and error-prone. The dissertation presented in this article introduces a verification logic that is suitable for analyzing the behavior of hybrid systems. It presents a proof calculus and a new deductive verification tool for hybrid systems that has been used successfully to verify aircraft and train control.
- Vollständige Referenz
- BibTeX
Platzer, A.,
(2010).
Differential Dynamic Logics.
KI - Künstliche Intelligenz: Vol. 24, No. 1.
Springer.
(S. 75-77).
DOI: 10.1007/s13218-010-0014-6
@article{mci/Platzer2010,
author = {Platzer, André},
title = {Differential Dynamic Logics},
journal = {KI - Künstliche Intelligenz},
volume = {24},
number = {1},
year = {2010},
,
pages = { 75-77 } ,
doi = { 10.1007/s13218-010-0014-6 }
}
author = {Platzer, André},
title = {Differential Dynamic Logics},
journal = {KI - Künstliche Intelligenz},
volume = {24},
number = {1},
year = {2010},
,
pages = { 75-77 } ,
doi = { 10.1007/s13218-010-0014-6 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s13218-010-0014-6
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1610-1987
Datum: 2010
Typ: Text/Journal Article