Abstract
Poor stability of the permanent magnet electrodynamic levitation hinders its application in the maglev field. Therefore, building a control-oriented model to improve its stability is most challenging. However, intractable electromagnetic models leading to an implicit relationship between levitation force and gap, yields a barrier for model-based controller design. To solve the above-mentioned problem, this paper develops a control-oriented model by two stages. Specifically, the first stage is to show an explicit formula of the levitation force with regard to the levitation gap by neglecting end effect; meanwhile the “maximum–minimum rectification” method is put forward to evaluating an accurate levitation force. The second stage is to bring forth the control-oriented model on basis of the estimated levitation force. Although the paper focus mainly on the development of the control-oriented model, an example of PD controller is provided to verify its validation. Experiment results demonstrate the estimated levitation force is highly consistent with the real one. Simulation results show that the control-oriented model is sufficiently reliable. The research bridges the gap between the physical model and the model-based controller for the electrodynamic levitation with permanent magnet Halbach array.
Introduction
Electrodynamic levitation technique has been applied for many domains, such as maglev train, maglev flywheel, electromagnetic braking and magnetic coupling. Especially, recent successful application of the technique in the Hyperloop pod test, reached a high speed of 463 km/h. It indicates a high potential application for permanent electrodynamic levitation in the ultra-high-speed ground transportation. Electrodynamic levitation has an advantage of large levitation gap over the electromagnetic levitation. However, much work needs to be done to solve exist problems, such as coupling between the mechanical motion and electromagnetic field, optimizing of the Halbach array structure and its stability. To solve these problems, explicit and accurate levitation force expression is urgent.
For an ideal Halbach array, its magnetic field mainly concentrates in the front and is weak in the back. Due to the excellent performance of the Halbach array, as well as for safety and economy prospects, electrodynamic levitation with permanent magnet Halbach array was adopted by GA Urban maglev [1] and Magplane [2]. It indicates the electrodynamic levitation has the potential to apply in the maglev traffic in the future. Problems like the structure optimization and the oscillation depression have been focused by researchers. The purpose of the structural optimization is to produce enough levitation force at the least expense of permanent magnets. Meanwhile, the latter one is to make the levitation gap stable at a certain working point. The article will deal with the latter problem. The key to solve the above problems is to clarify the mapping between the levitation force and parameters including the levitation gap, Halbach array sizes and horizontal speed.
Generally, the analytic method and numerical method can both be used to compute levitation force. Analytical method divides the whole regions into eddy current filed region and none-eddy current field region. By establishing electromagnetic field vector and potential function differential equations in different regions, governing equations can be solved under boundary conditions. The levitation force can be derived by Lorentz force formula or Maxwell stress tensor method. Reference [3] built a 2D analytical model and showed that the magnetic force formula should be rectified by a given function to match the 3D finite element analysis result. The second-order vector potential method was used to build the 3D analytical model to analyze one-side and double-side linear motions of permanent magnet electrodynamic levitation [4,5]. Separation of variables method was also used to analyze the electromagnetic forces with back iron attached to conductor plate and permanent magnet Halbach array for linear motion [6] and rotary motion [7,8], confirming the accuracy of the 3D electromagnetic model. Though literature work claimed that the analytical result could match well with that of the finite element analysis or experiment, they did not show an explicit relationship between the levitation force and gap that could be used for the model-based control.
Besides, unlike modeling directly by electromagnetic field equations, scaling laws of the permanent magnet Halbach array electrodynamic suspension showed a reliable ratio of levitation force to the magnetic reluctance force [9]. Unfortunately, the levitation force expression had unknown parameters, leading to its restriction on the application of model-based control.
Highly similarity was shown in Refs [10–14] that the levitation force would rise up more and more slowly along with the increasing moving speed. Therefore, it can be deduced that when the moving speed is sufficient large, the levitation force would keep unchanged. It indicates the electrodynamic levitation may be a promising choice for high-speed transportation.
Numerical methods of calculating the electromagnetic field generally include moment method, finite element method, boundary element method and time domain finite difference method. Finite element method has been widely used to calculated the eddy current field strongly coupled with the mechanical motion for the transient model of the electrodynamic suspension [15–17]. Electromagnetic force obtained by the finite element method is more accurate than that by analytical methods. Yet, the finite element method cannot show the explicit relation between the levitation force and gap, and cannot directly be used for model-based control either.
Electrodynamic suspension is unstable and thus needs an active control [18–20]. Methods were put forward to improve its stability but not based on a control-oriented model [21–26]. However, without a control-oriented model, the corresponding controller design is difficult. On the one hand, levitation force obtained by the analytic and finite element methods in literature researches could not be directly used for model-based control. On the other hand, benefit from the advanced control theory and intelligent control algorithm, control-oriented modeling for the electrodynamic levitation with permanent magnet Halbach array is necessary to introduce advanced intelligent control method.
Based on the above observation, the aim of the article is to provides an accurate control-oriented model for controller design of the electrodynamic levitation with permanent magnet Halbach array. We firstly try to explore an explicit expression for levitation force by solving magnetic vector potential differential equations. Then we put forward the “maximum–minimum rectification” method to evaluate an accurate levitation force and obtain a control-oriented model.
The remainder of this paper is organized as follows. Section 2 shows the explicit expression of the levitation force by simplifying the physical model by neglecting the end effect. Section 3 puts forward the “maximum–minimum rectification” method to acquire an accurate electrodynamic levitation force, and shows an experiment to verify its correctness. Section 4 verifies the validation of the control-oriented model, based on the PD controller for Matlab Simulink and COMSOL with feedback built-in. Section 5 concludes the paper.
Electromagnetic modeling of the electrodynamic suspension
In this section, the permanent magnet Halbach array moving over a copper or aluminum plate was studied. The system is assumed stable in the vertical direction and moving over a constant speed in the horizontal direction. For avoiding intricate Fourier series expansion, the ideal permanent magnet Halbach array is firstly chosen as the research object, and the magnetization direction is supposed to be continuously changed. The whole solution space could be divided into four regions as shown in Fig. 1. Region I and III, filled with air, are static magnetic field domains. Region II is filled with ideal Halbach array. The magnetizing current model is used to represent the permanent magnet behaviour. Region IV is an eddy current field domain. The eddy current is induced by the horizontal movement of the Halbach array.

Solution domains division for the whole space.
Due to the skin effect of the eddy current, a conductor plate far thicker than the skin depth δ can be replaced by an infinite thick one. As a result, the electrodynamic force could be evaluated by modeling on permanent magnet Halbach array moving over an infinite thick conductor plate. Let v be the moving speed along the z-axis and 𝜆 the wavelength of the Halbach array. The frequency of the induced eddy current field is described as [27]
When v ≫ k∕(μσ), Eq. (21) could be simplified as
For non-ideal Halbach array, magnetizing currents distribute discretely inside and continuously on the upper and lower surface along the z-axis when neglecting the end effect. Thus, when applying Fourier series expansion, magnetizing currents inside the Halbach array can be ignored. Assuming that the Halbach array contains M block of permanent magnets in a period, then magnetizing currents distributed on the upper surface in half a period can be expressed by
Section 2 ignored the end effect of a non-ideal Halbach array, thus may cause a deviation from the real case. As a result, a rectification for the levitation force expression is necessary. This section is dedicated to proving that the normalized levitation forces, which features the trend of the levitation forces, have slight difference between the analytical and finite element method. Due to the high coincidence of the levitation forces’ trend, the “maximum–minimum rectification” method can be put forward to acquiring an accurate levitation force. Its correctness will be verified by an experiment. The section lays a foundation for obtaining a control-oriented model for the electrodynamic levitation with permanent magnet Halbach array.
Normalization of the levitation forces
The aim of the normalizing levitation forces is to compare the resemblance between levitation force curves obtained by the analytical method and the finite element method. Taking the analytical levitation force for example, suppose the levitation gap is limited to a certain range, then the levitation force reaches the maximum when the levitation gap takes the smallest value
Modelling by finite element method
To analyze the levitation force, a 2D simulation model was constructed by COMSOL Multiphysics software to approximate the real one by the finite element method. We separately choose π∕6, π∕4 and π∕2 as the interval magnetization direction for neighbor magnets in the Halbach array. Variation range of each parameter is shown in Table 1. Since the thickness of the conductor plate should be far larger than the skin depth of eddy currents, the depth of conductor plate is set to be 40 mm. To alleviate the end effect, three periods of Halbach array are chosen. The whole region is solved by the magnetic field interface using a stationary study. Note that the Lorentz term is exerted on the conductor plate by setting the velocity value. The mesh grid division, with an infinite element domain in the outer boundaries, is shown in Fig. 2. Eight boundary layers are set next to the upper surface of the conductor plate. The outermost square boundaries have zero tangential components of the magnetic potential. The mesh level of air region is set to be normal, while the Halbach array and conductor plate regions are refined by halving the element size parameters of the normal level. As a result, the minimum element mesh quality is 0.13 and the average one is up to 0.85. The station solver is set by default, except that the relative tolerance is set to be 0.01. By sweeping parameters of the levitation gap, the height, wavelength and moving speed of the Halbach array, sufficient data are acquired.
Parameters of Halbach array—conductor model
Parameters of Halbach array—conductor model

Mesh grid division for three period of Halbach array, comprised of eight magnets per period, moving over the conductor plate. Subgraph (a) shows an overview for the mesh grid of the stationary study; subgraph (b) shows the details inside the zoom box; subgraph (c)–(h) demonstrate the moving mesh technique by coupling the vertical movement with the finite element analysis for the time dependent study to obtain a dynamic simulation.
Comparisons among normalized levitation forces under different gaps are shown in Fig. 3. Subgraph (a) shows the levitation force’s variation with gap under different magnetizing direction. Note that magnets numbers M per period of the Halbach array is chosen for convenient. It indicates that the magnetizing direction difference is 2π∕M between two neighboring magnets. For the magnetizing direction difference π∕2, π∕4 and π∕8, normalized levitation forces have an error less than 0.05 between the analytical and finite element methods. As the moving speed increases, the error changes little. It can be concluded that trends of levitation forces obtained by the analytical and finite element methods, are of highly resemblance. Impact of the wavelength on the trends’ similarity obtained by both methods, can be deduced from subgraph (b). The maximum error between the two methods is 0.13 under different wavelength. The moving speed has little impact on the error. So, trends of levitation forces acquired by the two methods are similar. The normalized levitation forces variation under different Halbach array heights is shown in subgraph (c). The maximum error is 0.02 with the levitation gap varying from 5 mm to 30 mm. The error varies little with the increase of the moving speed. For different Halbach array heights, high likeness is still kept between the analytical and finite element methods.

Normalized levitation forces comparation between the analytical method and the simulations; variation of the normalized levitation forces with levitation gap coincides well despite of different structural parameters under different speeds; subgraph (a) shows magnetizing directions little influence on the normalized levitation force coincidence; subgraph (b) indicates that for different wavelength, the normalized levitation forces are coincided; subgraph (c) demonstrates that the Halbach array height has little impact on the coincidence of the normalized levitation forces.
According to the above analysis, it can be concluded that levitation force trends, obtained by analytical and finite element methods, coincide well as levitation gap varies within a certain range despite of the structural parameters. Conversely, the high coincidence of the normalized levitation force could be used to deduce the accurate levitation force variation with levitation gap under different structural parameters.
Instead of fitting curves by acquiring so many points by experiment, two points are only needed to be acquired by experiment to estimate an accurate levitation force. According to the small difference between the normalized levitation force obtained by the two methods, the normalized levitation forces are deduced to be consistent for the analytical and experimental ones, that is
An existing rotating experimental device, as shown in Fig. 4, equipped with a block of permanent magnet Halbach array and an aluminum disk, is used to verify the effectiveness of the “maximum–minimum rectification” method. The Halbach array has a total length of 0.225 m and both the width and height are 0.04 m. The total length of the Halbach array is so smaller than the outermost perimeter of the disk that the rotary motion of the disk could be equivalent to a linear motion. The tray attached by the Halbach array could move freely along the sliders in the vertical direction by the support of a couple of linear bearings. Thus, force sensor I can be used to measure the lift force of the Halbach array. Force sensor II is used to measure the drag force. The radius of the aluminum disk is 0.35 m and the thickness is 30 mm. The permanent magnet Halbach array is 0.3 m away from the axis of the disk. When the disk is driven by the motor, the lift force of the permanent magnet Halbach array can be captured by the force sensor. The levitation force data are collected with the levitation gap being stable at 20 mm ∼ 35 mm. The estimated levitation force is also compared with the experimental one with the levitation gap increasing from 15 mm to 55 mm. Figure 5 shows that the estimated levitation force coincides well with the experimental one. Thus, the experiment proves that the “maximum–minimum rectification” method is validate.

PM Halbach array—aluminum disk experimental device. The Halbach array is laid above the edge of the disk and the rotary motion of the disk could be equivalent to a linear motion; The tray attached by the Halbach array could move freely along the sliders in the vertical direction; Levitation force data can be acquired by force sensor I under different rotary speed and levitation gap. (For more details, refer to [28]).

High accordance of the reconstructed levitation force with the experiment under different moving speed. The rotary speed is separately 300 r/min, 600 r/min, 1200 r/min, 1750 r/min; The levitation gap varies from 20 mm to 35 mm.
Electrodynamic levitation is unstable without an active controller, as its damping is so weak that it would not be stable before a long-time vibration. Dynamic simulations have been done by both 2D numerical calculation using a moving mesh technique (refer to Fig. 2) with COMSOL finite element method (FEM) and Simulink in MATLAB software. The load is set to be 50 kg. The initial levitation gap is set to be 5 mm. Initial moving speed toward the vertical direction is set to be zero. Comparison shows dynamic response based on the control-oriented model is notably different from that of the finite element model after a few seconds (as shown in Fig. 6). The reason may be that the vertical movement coupled with the eddy current field yields a damping. However, at the beginning within 1 s, the two match so well. Imposing an active control at the initial time based on the estimated levitation force, the effect will be close to the real one.

Levitation gap variation without control obtained by finite element method (FEM) and Simulink (where, 𝜆 = 0.24,w = 0.05 m, d = 0.02 m, y 1 = 0.015 m, v = 50 m/s, M = 8).
Suppose the Halbach array is stable at a certain point, denoted as the working point, where the levitation force is equal to its load. An external force u, can be exerted on the Halbach array to realize the stability. Then the dynamic model of the electrodynamic levitation with permanent Halbach array is
Considering practical projects using the PID or PD controller most for control, and the PD controller having an advantage of observing the steady-state error, the same PD controller is chosen for MATLAB Simulink and COMSOL FEM coupled with feedback. The PD controller is given by
To elaborate the effectiveness of verification method for the control-oriented model, we emphasize the difference between the two means:
(1) MATLAB Simulink builds block for the controlled object based on (34) and (37), but (34) is established at the premise of omitting the vertical movement. In practice, the vertical movement of the Halbach array would produce induced eddy currents always hindering the movement. A high-fidelity numerical simulation encompasses vertical damp can be chosen to reveal the fact.
(2) COMSOL FEM could realize the horizontal movement by setting up the Lorentz term and vertical movement by the moving mesh technique. Different from MATLAB Simulink, the feedback control is built-in by creating global differential equations to couple the movement with the eddy current field. By the backward differentiation method for time discretization and finite element method for space discretization, the full-coupled equations could be solved. In a word, the COMSOL FEM coupled with feedback control could realize a high-fidelity numerical simulation.
Dynamic response to the PD controller is separately simulated by MATLAB Simulink and COMSOL FEM. The initial value is set as former, and the working point is preset to be 10 mm. The proportional coefficient K p is swept from 100000 to 50000 at a step size 5000 while differential coefficient K d is set from 5000 to 9000 at a step size 500. Dynamic performances, including the rise time, peak time, overshoot and setting time, are compared in Fig. 7. Subgraph (a) shows the variation of the rise time with the proportional coefficient and differential coefficient. The maximum error between the simulink and the finite element method is only 0.01 s. Subgraph (b) demonstrates the peak time overlaps at some points, and the error between the two methods does not exceed than 0.007 s. Subgraph (c) presents that the overshoot obtained by simulink has only slight difference with that by finite element method, with an error less than 0.04%. Subgraph (d) displays the difference of the setting time between the two methods, and the error is within 0.04 s. Besides, the steady-state error between the two methods is below 0.07 mm given by Fig. 8. According to the results, it can be concluded that the control-oriented model is an accurate model and can directly be used for model-based controller design.

Comparison of dynamic performances for step response between the Simulink and the finite element method.

Steady-state errors between Simulink and FEM simulations.
This paper explored a control-oriented model for the electrodynamic levitation with permanent magnet Halbach array. By neglecting the end effect, an explicit levitation force formula has been given to clarify the mapping between the levitation force and levitation gap. Furthermore, the “maximum–minimum rectification” method is brought forth to evaluate the accurate levitation force; and experiment shows the validation of the method. The control-oriented model is put forward and justified by a PD controller with the proportional and differential coefficients varying over a large-scale range. The control-oriented model promises the well-established advance control theory, e.g. robust control, optimal control, etc. to be applied in the control of the electrodynamic levitation with permanent magnet Halbach array.
Footnotes
Proof of magnetizing currents being zero inside the ideal Halbach array
For the ideal Halbach array, it is regarded as uniformly and continuously magnetized. Then the magnetizing currents are seen as distributed on the front, rear, upper, lower surfaces. Note that the 2D analysis omitted the front and rear surfaces magnetizing currents. For any point at z, choose a microelement, with a width Δz and height d, neighboring to point z in region II, as shown in Fig. 9. At the interval [(z −Δz), z) and (z, (z + Δz)], the magnetization angles are separately θ −Δθ and θ + Δθ. At point z, the magnetizing current are expressed as
