A control system, comprising: an actuator for positioning a control device comprising a control surface, wherein the actuator positions the control surface; a control law for directing the actuator as a function of a model output; and a model processor for generating the model output, the model processor comprising: an input object for processing a model input vector and setting a model operating mode, the model operating mode being a starting mode if the model input vector is within a data range associated with a starting operation of the control device; a set state module for setting dynamic states of the model processor, the dynamic states input to an open loop model based on the model operating mode; wherein the open loop model generates a current state derivatives, solver state errors, and synthesized parameters as a function of the dynamic states and the model input vector, wherein a constraint on the current state derivatives is based on a series of cycle synthesis modules, each member of the series of cycle synthesis modules modeling a component of a cycle of the control device and comprising a series of utilities, the utilities based on mathematical abstractions of physical properties associated with the component; an estimate state module for determining an estimated state of the model based on at least one of a prior state model output, the current state derivatives of the open loop model, the solver state errors, and the synthesized parameters; and an output object for processing at least the synthesized parameters to determine the model output. an actuator for positioning a control device comprising a control surface, wherein the actuator positions the control surface; a control law for directing the actuator as a function of a model output; and a model processor for generating the model output, the model processor comprising: an input object for processing a model input vector and setting a model operating mode, the model operating mode being a starting mode if the model input vector is within a data range associated with a starting operation of the control device; a set state module for setting dynamic states of the model processor, the dynamic states input to an open loop model based on the model operating mode; wherein the open loop model generates a current state derivatives, solver state errors, and synthesized parameters as a function of the dynamic states and the model input vector, wherein a constraint on the current state derivatives is based on a series of cycle synthesis modules, each member of the series of cycle synthesis modules modeling a component of a cycle of the control device and comprising a series of utilities, the utilities based on mathematical abstractions of physical properties associated with the component; an estimate state module for determining an estimated state of the model based on at least one of a prior state model output, the current state derivatives of the open loop model, the solver state errors, and the synthesized parameters; and an output object for processing at least the synthesized parameters to determine the model output. an input object for processing a model input vector and setting a model operating mode, the model operating mode being a starting mode if the model input vector is within a data range associated with a starting operation of the control device; a set state module for setting dynamic states of the model processor, the dynamic states input to an open loop model based on the model operating mode; wherein the open loop model generates a current state derivatives, solver state errors, and synthesized parameters as a function of the dynamic states and the model input vector, wherein a constraint on the current state derivatives is based on a series of cycle synthesis modules, each member of the series of cycle synthesis modules modeling a component of a cycle of the control device and comprising a series of utilities, the utilities based on mathematical abstractions of physical properties associated with the component; an estimate state module for determining an estimated state of the model based on at least one of a prior state model output, the current state derivatives of the open loop model, the solver state errors, and the synthesized parameters; and an output object for processing at least the synthesized parameters to determine the model output.