Abstracting Partially Feedback Linearizable Systems Compositionally

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.

[1]  Tad McGeer,et al.  Passive Dynamic Walking , 1990, Int. J. Robotics Res..

[2]  Eduardo Sontag,et al.  Forward Completeness, Unboundedness Observability, and their Lyapunov Characterizations , 1999 .

[3]  Antoine Girard,et al.  Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.

[4]  E. Westervelt,et al.  Feedback Control of Dynamic Bipedal Robot Locomotion , 2007 .

[5]  Paulo Tabuada,et al.  Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..

[6]  Paulo Tabuada,et al.  Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations , 2007, SIAM J. Control. Optim..

[7]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[8]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems , 2009 .

[9]  Paulo Tabuada,et al.  Symbolic models for nonlinear time-delay systems using approximate bisimulations , 2010, Syst. Control. Lett..

[10]  Manuel Mazo,et al.  PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.

[11]  Gunther Reissig,et al.  Abstraction based solution of complex attainability problems for decomposable continuous plants , 2010, 49th IEEE Conference on Decision and Control (CDC).

[12]  Ufuk Topcu,et al.  TuLiP: a software toolbox for receding horizon temporal logic planning , 2011, HSCC '11.

[13]  Peter I. Corke,et al.  Multirotor Aerial Vehicles: Modeling, Estimation, and Control of Quadrotor , 2012, IEEE Robotics & Automation Magazine.

[14]  Manuel Mazo,et al.  Symbolic Models for Nonlinear Control Systems Without Stability Assumptions , 2010, IEEE Transactions on Automatic Control.

[15]  Antoine Girard,et al.  CoSyMA: a tool for controller synthesis using multi-scale abstractions , 2013, HSCC '13.

[16]  Manuel Mazo,et al.  Specification-guided controller synthesis for linear systems and safe linear-time temporal logic , 2013, HSCC '13.

[17]  Lars Eriksson,et al.  Modeling and Control of Engines and Drivelines , 2014 .

[18]  Lars Eriksson,et al.  Modeling and Control of Engines and Drivelines: Eriksson/Modeling and Control of Engines and Drivelines , 2014 .

[19]  Antoine Girard,et al.  Safety control with performance guarantees of cooperative systems using compositional abstractions , 2015, ADHS.

[20]  Maria Domenica Di Benedetto,et al.  Symbolic Models for Networks of Control Systems , 2016, IEEE Transactions on Automatic Control.

[21]  Petter Nilsson,et al.  Synthesis of separable controlled invariant sets for modular local control design , 2015, 2016 American Control Conference (ACC).

[22]  Majid Zamani,et al.  SCOTS: A Tool for the Synthesis of Symbolic Controllers , 2016, HSCC.

[23]  Petter Nilsson,et al.  Control Synthesis for Large Collections of Systems with Mode-Counting Constraints , 2016, HSCC.

[24]  Rupak Majumdar,et al.  Compositional Synthesis of Finite-State Abstractions , 2016, IEEE Transactions on Automatic Control.