Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published October 2017 | public
Journal Article

Abstracting Partially Feedback Linearizable Systems Compositionally

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.

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.

Additional details

Created:
August 19, 2023
Modified:
October 26, 2023