Consistent Abstractions of Affine Control Systems
Copyright 2002 IEEE. Reprinted from IEEE Transactions on Automatic Control, Volume 47, Issue 5, May 2002, pages 745-756.
Publisher URL: http://ieeexplore.ieee.org/xpl/tocresult.jsp?isNumber=21605&puNumber=9
This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to firstname.lastname@example.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
In this paper, we consider the problem of constructing abstractions of affine control systems that preserve reachability properties, and, in particular, local accessibility. In this framework, showing local accessibility of the higher level, abstracted model is equivalent to showing local accessibility of the, more detailed, lower level model. Given an affine control system and a smooth surjective map, we present a canonical construction for extracting an affine control system describing the trajectories of the abstracted variables. We then obtain conditions on the abstraction maps that render the original and abstracted system equivalent from a local accessibility point of view. Such consistent hierarchies of accessibility preserving abstractions of nonlinear control systems are then considered for various classes of affine control systems including linear, bilinear, drift free, and strict feedback systems.
George J. Pappas and Slobodan Simic. "Consistent Abstractions of Affine Control Systems" Departmental Papers (ESE) (2002).
Available at: http://works.bepress.com/george_pappas/135