1. Introduction
Micro-opto-electro-mechanical (MOEMS) mirrors have a long history, with the first prototypes used in image projection dating 1975 [
1]. Successful applications, however (with the important exception of the celebrated, TI-developed Digital Micromirror Device or DMD [
2]), have been limited. At the turn of the century, a burst of interest in MOEMS-based optical cross-connect [
3] was killed by the dot-com collapse. Today, a renewed interest in micro-mirrors is driven by their envisioned use of MOEMS optical scanners, mainly for two specific applications: LiDARs (Light Detection and Ranging) for autonomous vehicles [
4,
5,
6], and image projectors for mobile devices (pico-projectors) [
7,
8,
9].
Pico-projectors (but also LiDARs) require 2D raster scanning of their field, with a frame rate of the order of tens of Hz [
6]. In pico-projectors, scanning along the two directions can be obtained with two different mirrors, a “fast” resonant one for the horizontal (line) scan, and a “slow” one for the vertical scan, but solutions with a single, two-axis mirrors are possible. Micro-electro-mechanical (MEMS) mirrors with electrostatic [
10,
11], magnetic [
12,
13], or piezoelectric [
14] actuations have all been pursued. Electrostatic actuation, though technologically well-established, requires high driving voltages. The opposite is true for magnetic actuation, were low voltages (but high currents) are typically required. In piezoelectric mirrors, the issues are the integration of the piezo material in the fabrication and the relatively small deflections typically attained with piezoelectric actuators. Holmstrom et al. presented a comprehensive review of MOEMS-based scanners in [
15].
Because of their devised use in mobile systems, the design of MOEMS mirrors for pico-projectors poses severe constraints in terms of size and power consumption, issues that are not uncommon in MEMS design in general. Consequently, structured, Computer-Aided-Design (CAD) assisted approaches to MEMS/MOEMS design optimization would be welcome. There is, however, evidence that MEMS design is still largely based on inherently suboptimal ad-hoc, trial-and-error methods [
16,
17,
18,
19]. Part of this problem can be attributed to the lower maturity of the MEMS field with respect to other fields of engineering, which also reflects in a lack of efficient integrated tools for optimal design. In the past, because of the multi-domain nature of MEMS, most of the effort in the development of MEMS CAD has been dedicated to FEM simulation tools, of which several exist today. However, the application of optimization methods has received a progressively growing attention since the origin of the MEMS field. In this context, the application of Multiobjective Optimization (MO) is of significant interest.
MO is a systematic approach for the design of any system where the simultaneous minimization (or maximization) of two or more performance metrics (or objective functions in the MO parlance) is desirable, that is, for every but the most trivial design problems. As such, MO is of enormous importance in engineering. In the naïve (though commonly pursued) approach, multiobjective optimization problems are often transformed (more or less deliberately) in the minimization of a single objective, chosen based on the relative importance that the designer assigns to each one, with the other objectives set at reasonable compromise values. This approach is typically repeated in a trial-and-error fashion, until an acceptable solution is reached. MO addresses this kind of problem in a systematic way.
Formally, if the design of a system depends on
variables
, and
performance metrics
are to be minimized, a MO problem can be stated as [
20]
where
is a vector in the design space. The set of available designs is restricted by the equality and inequality constraints
,
, as well as by upper and lower bounds for each design variable
. Because of the
duality principle [
20], problems where maximization (or both maximization and minimization) of the objectives is required can be transformed in the form of Equation (1) by sign reversal of the relevant objectives.
In practical cases, it can be assumed that trade-offs exist between any pair of objectives , , that is, it is impossible to find a design vector such that these objectives are simultaneously minimized. The MO approach to the solution of this problem is based on the concept of Pareto optimality. Loosely speaking, a point belongs to the Pareto-optimal set (or Pareto frontier) if any other solution is worse with respect to at least one of the objectives. This also means that, to find a solution that further improves one of the objectives with respect to , at least one of the other objectives has to be degraded. No Pareto-optimal solution is better than another, and the choice between two solutions depends on the importance given to each objective for the case at hand. A MO problem is solved when the Pareto set is known.
Classical methods to solve MO problems are typically based on scalarization, i.e., a systematic reduction to multiple, single-objective minimization (or maximization) problems. One point of the Pareto set is found for each iteration. In evolutionary methods, in contrast, several solutions are computed simultaneously at each iteration. Successive iterations of the algorithms move these solutions towards the Pareto frontier in a process that simulates biological evolution, by selecting solutions based on their fitness to solve the optimization problem at hand.
In this work, we present a semi-analytical approach to the optimization of the geometry of a rectangular MEMS micromirror. While compact analytical models are, of course, ubiquitous in MEMS design, as in any other engineering field, numerical methods (and, prominently, Finite Element Modeling) are typically used for design refinement and, crucially, for systematic optimization. For example, Di Barba and Wiak [
16] presented an approach based on a FEM solution of the field distribution (electric or magnetic field) implemented in Comsol Multiphysics, and a genetic algorithm (NSGA-II) for MO. Three different case studies (a comb-finger electrostatic actuator, a torsional magnetic mirror based on a different concept than the one studied in this work, and a Joule thermal actuator) are analyzed. Cobb and Agogino [
17] developed a design approach based on case-based reasoning (CBR), an artificial intelligence technique. With this method, past MEMS designs are organized in a hierarchical library from which promising solutions are retrieved based on the specifications of the new design. The retrieved designs are then adapted through parametric optimization and/or multiobjective genetic algorithms (MOGA). The same research group [
21] presented a method to reduce the computational burden of optimal design of MEMS based on a hybrid approach, where two different levels of optimization are used: first MOGA is applied to a population of potential designs, then a local optimization on selected solutions is used for further refinement. They use a commercial MEMS accelerometer as a benchmark, and demonstrate improvements on many significant device performances. The optimization of a MEMS accelerometer is also pursued by Pak et al. in [
22]. They used an analytical model for the output noise and determined the Pareto frontier with respect to two objectives (the noise spectral density and the area occupancy of the device) with a multiobjective evolutionary algorithm based on decomposition (MOEA/D) [
23]. Farnsworth et al. [
19] developed a flexible system that applies MO through evolutionary algorithms. The system interfaces with CAD packages or user-provided scripts for device description, and different case studies for either option are presented.
The main advantage of using an analytical model for device description (the approach also used in this work) is that it gives an insightful description of the device behavior, where the value of any desired performance can be easily (and quickly) evaluated. Exploration of the design space is also extremely fast. Moreover, the impact of every design variable on the performance can be evaluated rapidly by direct inspection the analytical expressions, and the robustness of a design with respect to a change in any parameter can be determined analytically. The main disadvantage is, of course, that if one wants to keep the complexity of the model reasonable, more simplifying assumptions are to be made with respect to a full FEM model. As we showed in the above review of the literature, a common approach to decrease the computational burden of FEM in MO is to use efficient MO algorithms to reduce the number of FEM iterations. In this work, we show that reasonably simple analytical models, despite their assumptions, lead to optimal solutions whose performances are within a few percent of the corresponding full FEM model.
The paper is structured as follows: in
Section 2, we give a description of the micromirror function and structure, present all the constitutive equations describing its operation, and give a rationale for the choice of the optimization objectives. In
Section 3, we present the MO implementation and results. In
Section 4, we validate the MO output with FEM.
2. Model
In this work, we optimize the geometry of a single-axis magnetic micromirror. Its application is as the vertical (i.e., slow) mirror in a two-mirror system used in a pico-projector. In these systems, the composite light beam coming from the source(s) is reflected by a fast, circular mirror resonating at the line scan frequency, which is of the order of several kilohertz. The oscillating beam is collected by the vertical mirror, which is operated at the much lower video frame frequency. Consequently, the shape of the mirror is rectangular, and the mirror itself works in quasi-static conditions (i.e., at a much lower frequency than that of any mechanical resonance modes).
The structure of the mirror is shown in
Figure 1, and all the quantities used in the paper are defined in
Table 1. It includes a rectangular plate, at whose center a rectangular reflecting surface (covered with a metal film to increase reflectivity [
24]) is positioned. The reflecting region is surrounded by a multi-loop rectangular inductor, in the form of thick metal lines patterned on the plate. Two beams with rectangular cross-section, at two opposite sides of the plate, act as suspending torsional springs for the plate itself, as well as carriers for the electrical input and output lines. Two block-shaped permanent magnets face the other two sides of the plate, and provide the magnetic field required for actuation. When a current
is forced through the inductor, a Lorentz force appears on the loop sides parallel to the suspensions. The combined effect of these forces results in a torque on the plate, which rotates around the
axis of
Figure 1. The restoring torque is provided by the suspension springs. A few simplifying assumptions will be used in the derivation of the constitutive equations. Specifically, we assume that (1) the plate behaves as a rigid body during actuation and consequently (2) all the deformation is sustained by the springs (i.e., we use a lumped parameter model); and (3) the dynamical behavior is dominated by the actuation mode (rotation around
), while other modes are at high frequencies and are not relevant.
2.1. Constitutive Equations
A primary performance target for a mirror is, of course, the maximum angular deflection
. Because the mirror is to be used in quasi-static conditions, static equations can be used to derive
. First, a linear behavior of the spring is assumed:
where
is the deflection angle,
is the external actuation torque, and
is the spring constant of either of the two suspensions. The value of
is, in turn:
that is, the spring constant is proportional to the shear modulus of silicon
and inversely proportional to a geometric factor
, the torsional constant of the bar cross-section. For rectangular cross-sections, its approximate value (for
, a hypothesis to be checked later) is
An important specification for quasi-static mirrors is also the angular resonance frequency
of the main (torsional) resonance mode. If this frequency is too low, undesired ringing of the angle may occur during actuation. Again, under the assumption of lumped parameter model, this frequency is simply
with
being the moment of inertia of the plate along the
axis. The moment of inertia is the sum of the moments of inertia of the silicon plate
and of the coils
. For simplicity, we assume negligible thickness for both. Moreover, we also assume that the mass of the metal lines is uniformly distributed on the silicon surface, with the exclusion of the central reflecting area. If we think of the coils as a uniform rectangular thin plate with a rectangular hole at its center, it is easy to show that this equivalent plate has a moment of inertia
where
,
,
,
are the plate and hole sides, respectively, and
is the total coil mass. This mass is
where
is the density of the metal (which we assumed to be aluminum),
its thickness, and
the total length of the coil. This length can be computed by summing the length of each individual coil segment, obtaining a closed form for the sum:
The total moment of inertia is then:
being the density of the mirror material (which we assumed to be silicon).
In addition to the mechanical Equations (2)–(9), a few more equations are necessary to define the geometry of the mirror. Their interpretation, with the aid of
Figure 2 and
Table 1, is straightforward, and so they are given below without further comment:
Finally, we need an expression for the electromagnetic torque
exerted on the plate because of the Lorentz force of the external magnetic field
. In general, the magnetic field distribution caused by the magnets has non-null components along the three axes. Consequently, torques along all three directions act on the plate. However, we assume that rotations around
and
are rejected by the high associated torsional stiffnesses. For rotations around
, and at least for small angles, the only effective field component is
. This component creates a Lorentz force only on the coil segments along
(the ones in green color in
Figure 2). The generic expression for the torque would then be:
where the sum is extended over each coil segment,
is the distance of the
kth segment from the plate center (i.e., the elemental torque lever arm), and the integral is a line integral along the
kth segment length. The use of Equation (14) implies knowledge of the field distribution over the plate. In this paper, we assume that the magnets are block-shaped (parallelepipedal), a geometry for which a closed expression for the magnetic field is available [
25]. Even with this closed form, however, the integrals in Equation (14) would be very cumbersome to evaluate for a generic geometry, and subsequent FEM simulations (see
Section 4) will show that this level of model detail is not really required for accuracy. We then simply assume that
is constant over all the segments, and choose as this constant value the value of
at the center of the trapezoid shaded in red in
Figure 2, for which a closed expression can be written (see
Appendix A). Equation (14) then reduces to:
where
is the length of the
kth segment. The sum in Equation (15) has the dimensions of an area and can be interpreted as an equivalent area
of the coil. A cumbersome derivation gives a closed expression for
:
Remarkably, Equations (2)–(16) and (A2) can be solved analytically for most of the interesting design objectives, which can thus be expressed as a function of several potential design variables (the number of loops
, the spring length
, etc.), and a few constants, such as the width of the reflector
(which is imposed by the application) or the gap
between the mirror and the magnets (which is imposed by the technology). For example, the expression for the total width
is
Comparatively more complex expressions, for the current , the resonance frequency and other quantities exist, though they are not reported here for brevity. All these expressions are extracted from the above equations with the aid of an algebraic manipulation software package. Consequently, we can write closed analytical form for the desired optimization objectives as a function of the design variables.
2.2. Choice of the Optimization Objectives
To state the mirror optimization problem into the form of Equation (1), a suitable choice of the objectives is required. The maximum angular deflection of the mirror seems as the obvious first choice. In practical cases, however, the maximum angle is typically dictated by the application, and thus not directly subject to maximization. Moreover, the maximum angle is directly proportional to the current through Equations (2) and (15), so that the real objective is the minimization is the current itself. We then choose as the first objective function.
Another figure of merit for micromirrors is the total size, which is especially important for pico-projectors used in mobile applications. The correct choice of an objective related to size is dependent on the specifics of the applications, but a reasonable choice is the minimization of the total width , which depends both on the size of the plate and the size of the magnets. There is a clear trade-off between the minimization of and , because to keep the deflection angle constant at smaller currents, the design requires a larger number of loops and/or larger magnets, and both increase the mirror size.
Another attractive objective is the maximization of the torsional resonance frequency . The actuation frequency for vertical scanning in pico-projectors equals the video frame rate, which is typically around 50 Hz. A resonance frequency much higher than this value is thus required to minimize mechanical ringing during actuation.
2.3. Choice of the Design Variables
The choice of the most interesting potential design variables is not necessarily trivial. If all or most unknowns were used as one of the design variables
, the complexity of the problem would be unnecessarily high. Many of the unknows are set by the application (this is the case, for example, of
and
), or their value can be easily assigned (the case of
), as there is no trade-off between objectives consequent to this choice. For example, we set the aforementioned distance
between the mirror and the magnets at its minimum value compatible with fabrication constraints, because both the current
and the width
decrease as
decreases, and the resonance frequency is not a function of
. To reduce complexity, we also chose to set some variables, such as the length
and height
of the magnets, to technically sound values. For other variables, such as the spring width
and plate thickness
, an analysis of the closed expressions for each of the objectives showed that the current
was an increasing function of both
and
, as confirmed by physical intuition, while
was obviously independent of both. Despite a similar analysis showing that
increases with both
and
, preliminary tests showed that the objective of a high resonance frequency is the less constraining of the three. Consequently, we set
and
at the smallest value compatible with reasonable technological constraints, which also ensures that the constraint
, required by Equation (4), is fulfilled. The values for each of the parameters are shown in
Table 1.
3. MO Implementation and Results
After this complexity reduction, we remain with four design variables, three of them (
,
and
) referring to the mirror geometry, and one (
) to the magnet geometry. We then have all the components required to state the MO problem in closed form:
The range limits for each design variable are given in
Table 2. Because the focus of the approach presented in this work is not on the MO algorithm in itself, but rather on the choice of a reduced analytical model for the objective and constraint functions in the context of MO, we implemented a simple, classical MO algorithm, the ε-constraint method, that first appeared in [
26].
Despite its simplicity, it allows reconstruction of the Pareto-optimal set also for non-convex domains, a case where other classical methods fail. Briefly, in the
ε-constraint method, all objectives but one are restricted below a specific parameter
, and the remaining objective is minimized:
To avoid problems in numerical accuracy, the objectives were normalized to lie in the range [0, 1] through the transformation:
where
and
are the elements of the ideal and nadir vector, respectively, representing the lower and upper bounds for each objective over the design space. For each
k, the value of
is determined by minimization of the
kth objective alone, disregarding the requirement on the other objectives. The nadir vector was estimated by using the
payoff method [
27], which assigns as the upper bound of one objective the maximum assumed by that objective at the points that give the ideal (lower bound) value for all other objectives.
The solution of the minimization problem (19) was implemented as a Wolfram Mathematica script. Specifically,
was minimized numerically, with the constraint parameters
and
swept uniformly between 0 and 1, for a total of more than 400 minimizations. To exclude technically unrealistic solutions, an inequality constraint to require a resonance frequency above 500 Hz (one order of magnitude above typical scanning frequencies), as well as an upper limit of 250 mA for the current, were also included. The total time required to determine the Pareto frontier was about 1.6 s for each point on a PC with 8 GB of RAM. Because each design variable is optimized over the reals, non-manufacturable values for
, which must be in the form
, with integer
, may result. The impact of this issue will be verified with the FEM simulations. The optimal solutions in the objective space, defining the Pareto frontier, are shown in
Figure 3.
4. FEM Validation
The algorithm guarantees that the solutions lie on the Pareto frontier. However, the use of a reduced analytical model means that a slightly different problem than the one including the full physics of the actual mirror is solved. To evaluate the impact of this simplification, we verified via FEM simulation in ANSYS each of the optimal geometries calculated with the procedure described in
Section 3.
We performed both static and modal FEM analyses. Static simulations were used to determine the difference between the nominal deflection angle (10°) and the actual angular deflection at the nominal current obtained by the MO. Modal analysis was instead used to verify if the lowest resonance frequency was really the one of the main torsional mode, and to evaluate the difference between the corresponding FEM frequency and the frequency obtained by the MO. For FEM simulations, the value of
from the MO was rounded to the closest number of the form
, with integer
. This choice ensured that the FEM design was compatible with the structure shown in
Figure 1 and
Figure 2, while also introducing a systematic error that will be evaluated below. The geometry was meshed with the SOLID185 structural element, with ten elements along the
direction. The center of the plate was meshed with a material with the properties of (100) silicon, while the outer area, i.e., the one carrying the coil, was meshed with an equivalent material with the same elastic constants of silicon, but with an equivalent mass density matched to distribute the total mass of the coil, as determined by Equation (7), over the whole surface. The mesh was refined at the connections between springs and plate, where a concentration of the stress is expected. The number of elements for the simulation of a single geometry, though dependent on the values of the design parameters, was typically around 125,000. To verify proper convergence of the FEM results, a selected number of geometries was simulated with a finer mesh of around 400,000 elements; the calculated deflection angles and resonance frequencies differed, on average, for less than 0.8% with those of the coarser mesh.
In the static FEM simulations, to include the effect of the non-uniform magnetic field, a distributed vertical force (i.e., a pressure) was applied in the active areas of the plate (the ones shaded in red in
Figure 2) in the ANSYS script. The value of this pressure was dependent on the magnetic field. Specifically, we assumed a uniform surface current density
(Am
−1) flowing in the active areas. We then applied at each mesh node of the active area a pressure equal to
, where (
) were the coordinates of the node, and the expression of
was determined through the formulas in
Appendix A. To include the effect of large rotations of the plate, which produces a reduction of the effective arm of the magnetic torque with respect to the rest position, the pressure was further reduced by a factor
, with
being the target angle (10°). A typical deflected shape for static simulations is shown in
Figure 4. For modal FEM simulations, the frequency of the lowest mode was computed, and it was verified that it corresponded to the torsional mode.
Overall, there was a good agreement between the performances of the geometries as optimized by the Mathematica code, both for the static deflection and resonance frequency. Over the 271 geometries of
Figure 3, the average FEM angle was 10.15°, or only about 1.5% larger than the nominal value of 10°, and the standard deviation was 0.33°. Interestingly, most of this dispersion can be attributed to the rounding of the number of loops
. Indeed, there is a high correlation (
) between the FEM angle and the rounding error of
and, on average, a rounding of half a coil creates a difference of 0.60° in the deflection. The actual FEM angle, projected on the
plane, is shown in
Figure 5.
To verify the impact of non-linearity, the same geometries were also simulated with geometric non-linearity active in the ANSYS script. The impact of non-linearity is small, with an average deflection of 10.09°, or 0.88% larger than the nominal value, and a standard deviation of the angle of 0.32°.
Comparable agreement existed also for the resonance frequency, with an average relative error between the FEM value and the MO value of around 1.22% and a standard deviation of 1.48%. While in this case the correlation is less clear, a part of this dispersion can be also attributed to the rounding of
. The relative error on the resonance frequency between the FEM and the MO value is shown in
Figure 6.