Approximate Reachability for Linear Systems

Ashish Tiwari

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


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.



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

BibTeX Entry

	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},
	VOLUME = "2623",
	MONTH = apr,
	YEAR = 2003

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