Control Synthesis of Energy Harvesting MEMS Devices with Load-based Spectral Logic Specifications

This paper studies the control synthesis problem for energy harvesting MEMS devices with load-based spectral logic specifications. Firstly, a novel formal language has been proposed to define the specifications on frequency domain with respect to load, called load-based spectral logic. The conditions for specification satisfaction have been derived for the energy harvesting MEMS devices, which transform the formal specification constraints into a set of linear matrix inequalities. Then an iterative control synthesis algorithm has been proposed to find a sequence of static output feedback controllers for the MEMS device, in which the control synthesis problem has been transformed into a sequence of semidefinite programming problems. Finally, a numerical example is provided to illustrate the main results of this paper.