Nonlinear Systems: Approximating Reach Sets

Ashish Tiwari and Gaurav Khanna

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