  Grid supportive (GS) modes integrated within distributed energy resources
(DERs) can improve the frequency response. However, synthesis of GS modes for
guaranteed performance is challenging. Moreover, a tool is needed to handle
sophisticated specifications from grid codes and protection relays. This paper
proposes a model predictive control (MPC)-based mode synthesis methodology,
which can accommodate the temporal logic specifications (TLSs). The TLSs allow
richer descriptions of control specifications addressing both magnitude and
time at the same time. The proposed controller will compute a series of Boolean
control signals to synthesize the GS mode of DERs by solving the MPC problem
under the normal condition, where the frequency response predicted by a
reduced-order model satisfies the defined specifications. Once a sizable
disturbance is detected, the pre-calculated signals are applied to the DERs.
The proposed synthesis methodology is verified on the full nonlinear model in
Simulink. A robust factor is imposed on the specifications to compensate the
response mismatch between the reduce-order model and nonlinear model so that
the nonlinear response satisfies the required TLS.
