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. doi:10.1109/LCSYS.2017.2713461.

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

Use this Persistent URL to link to this item:


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
Hussien, Omar0000-0001-8555-3752
Ames, Aaron0000-0003-0848-3177
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.
Funding AgencyGrant Number
Subject Keywords:Hybrid systems, nonlinear output feedback
Issue or Number:2
Record Number:CaltechAUTHORS:20170621-160327032
Persistent URL:
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
Deposited By: Kristin Buxton
Deposited On:22 Jun 2017 01:32
Last Modified:15 Nov 2021 17:39

Repository Staff Only: item control page