2012 | OriginalPaper | Buchkapitel
Exercises in Nonstandard Static Analysis of Hybrid Systems
verfasst von : Ichiro Hasuo, Kohei Suenaga
Erschienen in: Computer Aided Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In formal verification of hybrid systems, a big challenge is to incorporate continuous
flow
dynamics in a discrete framework. Our previous work proposed to use
nonstandard analysis (NSA)
as a vehicle from discrete to hybrid; and to verify hybrid systems using a Hoare logic. In this paper we aim to exemplify the potential of our approach, through transferring
static analysis
techniques to hybrid applications. The transfer is routine via the
transfer principle
in NSA. The techniques are implemented in our prototype automatic precondition generator.