2013 | OriginalPaper | Buchkapitel
Flow*: An Analyzer for Non-linear Hybrid Systems
verfasst von : Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
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
The tool
Flow*
performs Taylor model-based flowpipe construction for non-linear (polynomial) hybrid systems.
Flow*
combines well-known Taylor model arithmetic techniques for guaranteed approximations of the continuous dynamics in each mode with a combination of approaches for handling mode invariants and discrete transitions.
Flow*
supports a wide variety of optimizations including adaptive step sizes, adaptive selection of approximation orders and the heuristic selection of template directions for aggregating flowpipes. This paper describes
Flow*
and demonstrates its performance on a series of non-linear continuous and hybrid system benchmarks. Our comparisons show that
Flow*
is competitive with other tools.