Search

We propose a new dynamic extension of the thrust variable in the quadcopter dynamics that preserves the positive sign of the thrust. This extension not only eliminates the positive sign constraint on the thrust variable, but also leads to global chartwise feedback linearization of the quadcopter dynamics. For the latter, an atlas is first constructed on the entire state space of the quadcopter and then the dynamically extended quadcopter system is transformed to a 14-dimensional linear controllable system on each chart in the atlas. Based on the chartwise dynamic feedback linearization, a global tracking strategy is proposed for the quadcopter and its excellent performance is demonstrated with a simulation. [ABSTRACT FROM AUTHOR]

This paper proposes a computational method for the feasibility check and design of discrete abstract models of nonlinear dynamical systems. First, it is shown that a given discrete-time dynamical system can be transformed into a finite automaton by embedding a quantizer into its state equation. Under this setting, a sufficient condition for approximate bisimulation in infinite steps of time between the concrete model and its discrete abstract model is derived. The condition takes the form of a set of linear inequalities and thus can be checked efficiently by a linear programming solver. Finally, the iterative refinement algorithm, which generates a discrete abstract model under a given error specification, is proposed. The algorithm is guaranteed to terminate in finite iterations. [ABSTRACT FROM AUTHOR]