Abstractions of Constrained Linear SystemsDepartmental Papers (ESE)
AbstractSimulation relations are powerful abstraction techniques in computer science that reduce the complexity of analysis and design of labeled transition systems. In this paper, we define and characterize simulation relations for discrete-time linear systems in the presence of state and input constraints. Given a discrete-time linear system and the associated constraints, we consider a control-abstract embedding into a transition system. We then establish necessary and sufficient conditions for one constrained linear system to simulate the transitions of the other. Checking the simulation conditions is formulated as a linear programming problem which can be efficiently solved for systems of large dimensions. We provide an example where our approach is applied to the hybrid model of the Electronic Throttle Control (ETC) System.
Document TypeConference Paper
Date of this Version6-4-2003
Citation InformationHerbert G Tanner and George J Pappas. "Abstractions of Constrained Linear Systems" (2003)
Available at: http://works.bepress.com/george_pappas/191/