CaltechAUTHORS
  A Caltech Library Service

Abstracting Partially Feedback Linearizable Systems Compositionally

Hussien, Omar and Ames, Aaron and Tabuada, Paulo (2017) Abstracting Partially Feedback Linearizable Systems Compositionally. IEEE Control Systems Letters, 1 (2). pp. 227-232. ISSN 2475-1456. http://resolver.caltech.edu/CaltechAUTHORS:20170621-160327032

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20170621-160327032

Abstract

Symbolic controller synthesis offers the ability to design controllers enforcing a rich class of specifications such as those expressible in temporal logic. Despite the promise of symbolic controller synthesis and correct-by-design control software, this design methodology is not yet widely applicable due to the complexity of constructing finite-state abstractions for large continuous systems. In this letter, we investigate a compositional approach to the construction of abstractions by exploiting the cascading structure of partially feedback linearizable systems. We show how the linearized part and the zero dynamics can be independently abstracted and subsequently composed to obtain an abstraction of the original continuous system. We also illustrate through examples how this compositional approach significantly reduces the time required for construction of abstractions.


Item Type:Article
Related URLs:
URLURL TypeDescription
https://doi.org/10.1109/LCSYS.2017.2713461DOIArticle
http://ieeexplore.ieee.org/document/7944613/PublisherArticle
ORCID:
AuthorORCID
Hussien, Omar0000-0001-8555-3752
Tabuada, Paulo0000-0002-3417-0951
Additional Information:© 2017 IEEE. Manuscript received March 6, 2017; revised May 4, 2017; accepted May 27, 2017. Date of publication June 8, 2017; date of current version June 22, 2017. This work was supported by the NSF CPS under Award 1239085. Recommended by Senior Editor C. Prieur.
Funders:
Funding AgencyGrant Number
NSFCNS-1239085
Subject Keywords:Hybrid systems, nonlinear output feedback
Record Number:CaltechAUTHORS:20170621-160327032
Persistent URL:http://resolver.caltech.edu/CaltechAUTHORS:20170621-160327032
Official Citation:O. Hussien, A. Ames and P. Tabuada, "Abstracting Partially Feedback Linearizable Systems Compositionally," in IEEE Control Systems Letters, vol. 1, no. 2, pp. 227-232, Oct. 2017. doi: 10.1109/LCSYS.2017.2713461
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:78439
Collection:CaltechAUTHORS
Deposited By: Kristin Buxton
Deposited On:22 Jun 2017 01:32
Last Modified:22 Jun 2017 01:32

Repository Staff Only: item control page