Approximate Reachability for Linear Systems

Ashish Tiwari

To be presented at HSCC 2003, Prague, Czech Republic, Apr 03--05 2002, © Springer-Verlag.

Abstract

We describe new techniques to construct, and subsequently refine, over-approximations of the reachability sets for linear dynamical systems. Our approach extracts information from eigenvectors to generate invariants of the system. It can be integrated with the qualitative abstraction tool~\cite{TiwariKhanna02:HSCC} to generate refined abstractions of hybrid systems with linear continuous dynamics and we illustrate this on a collision-avoidance example from automobile cruise control problem, which was handled completely automatically by our tool.

postscript

Slides

Slides of the presentation at HSCC'03 are available here in postscript format.

BibTeX Entry


@inproceedings{Tiwari03:HSCC,
	TITLE = "Approximate Reachability for Linear Systems",
	AUTHOR = {Tiwari, A.},
	BOOKTITLE = {Hybrid Systems: Computation and Control HSCC},
	EDITOR = "Maler, O. and Pnueli, A.",
	PAGES = {514--525},
	PUBLISHER = {Springer},
	SERIES = {LNCS},
	VOLUME = "2623",
	MONTH = apr,
	YEAR = 2003
}
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page