This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,t...This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,the optimization problem turns into an unconstrained,continuous,and differentiable form.An analytical two-step method is also proposed to solve the rest of the problem.In the first step,it is assumed that only input constraints are active and states are unconstrained.The optimal solution for this case is calculated directly with the optimality condition.The calculated control signal is revised in the second step according to system dynamics and state constraints.Simulation results of the auto-landing system show that the MPC computation speed is significantly increased by the new algebraic MPC(AMPC)without compromising the control performance,which makes the method realistic for using MPC in systems with high-speed changing dynamics.展开更多
Interval type-2 fuzzy neural networks(IT2FNNs)can be seen as the hybridization of interval type-2 fuzzy systems(IT2FSs) and neural networks(NNs). Thus, they naturally inherit the merits of both IT2 FSs and NNs. Althou...Interval type-2 fuzzy neural networks(IT2FNNs)can be seen as the hybridization of interval type-2 fuzzy systems(IT2FSs) and neural networks(NNs). Thus, they naturally inherit the merits of both IT2 FSs and NNs. Although IT2 FNNs have more advantages in processing uncertain, incomplete, or imprecise information compared to their type-1 counterparts, a large number of parameters need to be tuned in the IT2 FNNs,which increases the difficulties of their design. In this paper,big bang-big crunch(BBBC) optimization and particle swarm optimization(PSO) are applied in the parameter optimization for Takagi-Sugeno-Kang(TSK) type IT2 FNNs. The employment of the BBBC and PSO strategies can eliminate the need of backpropagation computation. The computing problem is converted to a simple feed-forward IT2 FNNs learning. The adoption of the BBBC or the PSO will not only simplify the design of the IT2 FNNs, but will also increase identification accuracy when compared with present methods. The proposed optimization based strategies are tested with three types of interval type-2 fuzzy membership functions(IT2FMFs) and deployed on three typical identification models. Simulation results certify the effectiveness of the proposed parameter optimization methods for the IT2 FNNs.展开更多
As the extension of the linear inverted pendulum(LIP) and planar inverted pendulum(PIP), this paper proposes a novel spatial inverted pendulum(SIP). The SIP is the most general inverted pendulum(IP) than any existing ...As the extension of the linear inverted pendulum(LIP) and planar inverted pendulum(PIP), this paper proposes a novel spatial inverted pendulum(SIP). The SIP is the most general inverted pendulum(IP) than any existing IP. The model of the SIP is presented for the first time. The SIP inherits all the characteristics of the LIP and the PIP, which is a nonlinear,unstable and underactuated system. The SIP has five degrees of motion freedom and three control forces. Thus, it is a multipleinput and multiple-output(MIMO) system with nonlinear dynamics. To realize the spatial trajectory tracking of the SIP,the control structure with five PID controllers will be designed.The parameter tuning of the multiple PIDs is a challenging work for the proposed SIP model. To alleviate the difficulties of the parameter tuning for the multiple PID controllers, optimal PIDs can be achieved with the help of Big Bang – Big Crunch(BBBC) optimization. The BBBC algorithm can successfully optimize the parameters of the multiple PID controllers with high convergence speed. The optimization performance index of the BBBC algorithm is compared with that of the particle swarm optimization(PSO). Simulation results certify the rightness and effectiveness of the proposed control and optimization methods.展开更多
This paper demonstrates the assembly of a servo-controlled platform with two degrees of freedom, empirical methods and a developed closed-loop control found in the system mathematical model. This control aims to stabi...This paper demonstrates the assembly of a servo-controlled platform with two degrees of freedom, empirical methods and a developed closed-loop control found in the system mathematical model. This control aims to stabilize and hold small objects on the platform. We parsed the step response in X and Y axes, hence we found the first and second-order models for each one. We did some further analyses to decide which one would better represent the behavior of the system. The MATLAB software provided step response for the model empirically obtained and latter compared it to experimental data acquired in the trials. Accelerometers and gyro sensors from the MPU-6050 sensor measured the angular position of platform on X and Y axes. In order to improve measurements accuracy and eliminate noise effects, we implemented the complementary filter to the firmware system. We used Arduino to control servomotors through PWM pulses and perform data acquisition.展开更多
In this paper we focus on the target capturing problem for a swarm of agents modelled as double integrators in any finite space dimension.Each agent knows the relative position of the target and has only an estimation...In this paper we focus on the target capturing problem for a swarm of agents modelled as double integrators in any finite space dimension.Each agent knows the relative position of the target and has only an estimation of its velocity and acceleration.Given that the estimation errors are bounded by some known values,it is possible to design a control law that ensures that agents enter a user-defined ellipsoidal ring around the moving target.Agents know the relative position of the other members whose distance is smaller than a common detection radius.Finally,in the case of no uncertainty about target data and homogeneous agents,we show how the swarm can reach a static configuration around the moving target.Some simulations are reported to show the effectiveness of the proposed strategy.展开更多
Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly re...Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co.展开更多
文摘This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,the optimization problem turns into an unconstrained,continuous,and differentiable form.An analytical two-step method is also proposed to solve the rest of the problem.In the first step,it is assumed that only input constraints are active and states are unconstrained.The optimal solution for this case is calculated directly with the optimality condition.The calculated control signal is revised in the second step according to system dynamics and state constraints.Simulation results of the auto-landing system show that the MPC computation speed is significantly increased by the new algebraic MPC(AMPC)without compromising the control performance,which makes the method realistic for using MPC in systems with high-speed changing dynamics.
基金supported by the National Natural Science Foundation of China (61873079,51707050)
文摘Interval type-2 fuzzy neural networks(IT2FNNs)can be seen as the hybridization of interval type-2 fuzzy systems(IT2FSs) and neural networks(NNs). Thus, they naturally inherit the merits of both IT2 FSs and NNs. Although IT2 FNNs have more advantages in processing uncertain, incomplete, or imprecise information compared to their type-1 counterparts, a large number of parameters need to be tuned in the IT2 FNNs,which increases the difficulties of their design. In this paper,big bang-big crunch(BBBC) optimization and particle swarm optimization(PSO) are applied in the parameter optimization for Takagi-Sugeno-Kang(TSK) type IT2 FNNs. The employment of the BBBC and PSO strategies can eliminate the need of backpropagation computation. The computing problem is converted to a simple feed-forward IT2 FNNs learning. The adoption of the BBBC or the PSO will not only simplify the design of the IT2 FNNs, but will also increase identification accuracy when compared with present methods. The proposed optimization based strategies are tested with three types of interval type-2 fuzzy membership functions(IT2FMFs) and deployed on three typical identification models. Simulation results certify the effectiveness of the proposed parameter optimization methods for the IT2 FNNs.
基金supported by the National Natural Science Foundation of China(61873079)。
文摘As the extension of the linear inverted pendulum(LIP) and planar inverted pendulum(PIP), this paper proposes a novel spatial inverted pendulum(SIP). The SIP is the most general inverted pendulum(IP) than any existing IP. The model of the SIP is presented for the first time. The SIP inherits all the characteristics of the LIP and the PIP, which is a nonlinear,unstable and underactuated system. The SIP has five degrees of motion freedom and three control forces. Thus, it is a multipleinput and multiple-output(MIMO) system with nonlinear dynamics. To realize the spatial trajectory tracking of the SIP,the control structure with five PID controllers will be designed.The parameter tuning of the multiple PIDs is a challenging work for the proposed SIP model. To alleviate the difficulties of the parameter tuning for the multiple PID controllers, optimal PIDs can be achieved with the help of Big Bang – Big Crunch(BBBC) optimization. The BBBC algorithm can successfully optimize the parameters of the multiple PID controllers with high convergence speed. The optimization performance index of the BBBC algorithm is compared with that of the particle swarm optimization(PSO). Simulation results certify the rightness and effectiveness of the proposed control and optimization methods.
文摘This paper demonstrates the assembly of a servo-controlled platform with two degrees of freedom, empirical methods and a developed closed-loop control found in the system mathematical model. This control aims to stabilize and hold small objects on the platform. We parsed the step response in X and Y axes, hence we found the first and second-order models for each one. We did some further analyses to decide which one would better represent the behavior of the system. The MATLAB software provided step response for the model empirically obtained and latter compared it to experimental data acquired in the trials. Accelerometers and gyro sensors from the MPU-6050 sensor measured the angular position of platform on X and Y axes. In order to improve measurements accuracy and eliminate noise effects, we implemented the complementary filter to the firmware system. We used Arduino to control servomotors through PWM pulses and perform data acquisition.
文摘In this paper we focus on the target capturing problem for a swarm of agents modelled as double integrators in any finite space dimension.Each agent knows the relative position of the target and has only an estimation of its velocity and acceleration.Given that the estimation errors are bounded by some known values,it is possible to design a control law that ensures that agents enter a user-defined ellipsoidal ring around the moving target.Agents know the relative position of the other members whose distance is smaller than a common detection radius.Finally,in the case of no uncertainty about target data and homogeneous agents,we show how the swarm can reach a static configuration around the moving target.Some simulations are reported to show the effectiveness of the proposed strategy.
文摘Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co.
