Nonlinear Systems: Approximating Reach Sets
Presented at
HSCC 2004, Univ. of Pennsylvania, Philadelphia, March 25--27 2004,
© Springer-Verlag. The final version will appear at the
Springer LNCS proceedings site
or the Springer LNCS site.
Abstract
We describe techniques to generate useful reachability information for
nonlinear dynamical systems. These techniques can be automated for
polynomial systems using algorithms from computational algebraic geometry.
The generated information can be incorporated
into other approaches for doing reachability computation. It can also be used
when abstracting hybrid systems that contain modes with
nonlinear dynamics. These techniques are most naturally embedded in the hybrid
qualitative abstraction approach proposed by the authors previously.
They also show
that the formal qualitative abstraction approach is well suited for dealing
with nonlinear systems.
postscript or
pdf
Slides
Slides of the presentation at HSCC'04 will be put up here later ...
BibTeX Entry
@inproceedings{TiwariKhanna04:HSCC,
TITLE = {Nonlinear systems: {A}pproximating reach sets},
AUTHOR = {Tiwari, A. and Khanna, G.},
BOOKTITLE = {Hybrid Systems: Computation and Control HSCC},
EDITOR = "Alur, R. and Pappas, G.",
PAGES = {600--614},
PUBLISHER = {Springer},
SERIES = {LNCS},
VOLUME = 2993,
MONTH = mar,
YEAR = 2004
}
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page