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.


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 of the presentation at HSCC'04 will be put up here later ...

BibTeX Entry

	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},
	VOLUME = 2993,
	MONTH = mar,
	YEAR = 2004

Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page