Finite Bisimulations of Controllable Linear SystemsDepartmental Papers (ESE)
AbstractFinite abstractions of infinite state models have been critical in enabling and applying formal and algorithmic verification methods to continuous and hybrid systems. This has triggered the study and characterization of classes of continuous dynamics which can be abstracted by finite transition systems. In this paper, we focus on synthesis rather than analysis. In this spirit, we show that given any discrete-time, linear control system satisfying a generic controllability property, and any finite set of observations restricted to the boolean algebra of Brunovsky sets, a finite bisimulation always exists and can be effectively computed.
Document TypeConference Paper
Date of this Version12-9-2003
Citation InformationPaulo Tabuada and George J Pappas. "Finite Bisimulations of Controllable Linear Systems" (2003)
Available at: http://works.bepress.com/george_pappas/90/