1 Introduction

1.1 Resistance training and model-based approaches

Resistance training (RT) is a popular choice among athletes, rehabilitation patients, or the general public to improve physical performance. Benefits of RT include increased muscular strength and endurance, improved body composition, or enhanced functional capacity and quality of life [52]. To optimize results, individualized RT is necessary [24]. Therefore, training variables as exercise selection, frequency, volume, or intensity are adjusted to the trainee and the training goals. These adjustments are commonly performed by the trainee or a coach via trial-and-error [20].

To complement such a manual decision- making, many research areas like chemical or mechanical engineering have adopted methods from scientific computing, e.g., modeling, simulation, and optimization. For this reason, scientific computing is often considered to be the third pillar of methodology in science next to theory and experiment [38]. Nevertheless, sport science and exercise physiology are only slowly realizing the potential of model-based approaches [7]. In particular, applications covering loading schemes for resistance training are limited. We refer to the literature overview in the next section to justify this claim.

A model-based optimization of loading schemes for RT could provide valuable impulses for practitioners and complement the predominant manual program design. By calibrating the model to the trainee, individual parameters are obtained. Then, optimized RT programs could be computed specifically for this trainee, exercise, and training goal based on a key performance indicator (KPI) accessible in the model. Furthermore, a comparison of effective loading schemes in practice and algorithmically optimized loading schemes could help to identify the driving stimuli for adaptations, e.g., the contributions of mechanical loading, metabolic stress, and muscle damage to hypertrophic adaptations [44] or the effect of different mechanical stimuli on strength and power adaptations [21]. Moreover, RT programs could be designed to induce the same level of metabolic disturbances. This would allow to increase the comparability between training approaches, e.g., between blood flow restriction training and conventional training.

1.2 Purpose

In this work, we provide a literature overview of model-based approaches used to simulate or optimize the response to single RT sessions or to long-term RT plans in terms of strength, power, muscle mass, or local muscular endurance by varying the loading scheme. To the best of our knowledge, contributions employing a predictive model to algorithmically optimize loading schemes for different training goals are nonexistent in the literature. Thus, we propose to set up optimal control problems as follows. For the underlying dynamics, we use a phenomenological model of the time course of maximum voluntary isometric contraction (MVIC) force. Then, we provide mathematical formulations of key performance indicators for loading schemes identified in sport science and use those as objective functionals or constraints. Those KPIs are the force- time integral, the time-under-tension (TUT), the accumulated fatigue defined as loss of MVIC force, and variants thereof. We then solve those optimal control problems using previously obtained parameter estimates for the elbow flexors. Last, we discuss our results, point out limitations, and give an outlook on further research.

2 Literature overview

In the following, we provide an overview of model-based approaches used to simulate or optimize an individual’s response to single RT sessions or to long-term RT plans in terms of strength, power, muscle mass, or local muscular endurance by varying the loading scheme. We begin with defining prerequisites which are necessary for a model to be used with our approach.

Remark

Here, we do not include work that is restricted to the biomechanical analysis of RT exercises, the description of muscular fatigue during RT, or general models of the training-performance relationship without a specific application to RT, as a thorough literature overview including these fields of research is beyond the scope of this work. However, we would like to mention that substantial work has been done in these fields—either close or synergetic to ours. For example, model-based approaches are stronger established in endurance sports to analyze optimum pacing strategies [8, 57], training strategies [23], or long-term adaptations [54]. Furthermore, as soon as a suitable extension of the model to dynamic movements is available, possible synergies could arise from existing works which analyze and compute optimum movements [22, 27]. For the interested reader, we refer to these exemplary works and the references therein.

2.1 Model prerequisites

To enable a real-life application for practitioners, the model used should fulfill several criteria. First, the inputs of the model, which correspond to the training plan of the trainee, have to be interpretable for practitioners. As such, using quantities which reduce the dimensionality of the training input [48] is not desirable. For example, using only volume load (defined as weight \(\times\) repetitions \(\times\) sets) [11] to describe the loading scheme of an RT session provides no information about the intensity distribution and is therefore unsuitable. Second, the parameters of the model should be identifiable through commonly available measurement procedures, e.g., force measurements, to avoid an overly laborious model calibration. Third, due to the high number of possible training inputs, the model should be suitable for high-dimensional optimization, i.e., for derivative-based optimization [29]. Fourth, the model should allow to incorporate real-life constraints into the optimization problem, e.g., days or weeks off [43]. Last, the model should be assessed for its predictive ability. We classify a model as predictive if it has been fit to a subset of the available data and the resulting parameter estimates can be used to predict the remaining data. We emphasize this, as the terminology is sometimes used differently and models are already classified as predictive if they fit the whole dataset—a property we call descriptive. However, overparameterization or other model deficiencies might diminish the model’s ability to predict unknown datasets. Benzekry et al. [10], for example, demonstrated this issue illustratively for tumor growth modeling. Furthermore, fit and prediction should be evaluated by suitable measures [46] and should not be judged based on the plots alone, as those are heavily depending on the chosen visualization.

2.2 Existing models

Banister et al. [9] introduced a systems model based on the assumption that each training load induces a negative effect (fatigue) and a positive effect (fitness) on performance. As the original paper cannot be found easily, we refer to Calvert et al. [19] for a description of the model. The ordinary differential equation (ODE) model has been adopted for various settings and several modifications have been proposed. The model is commonly known as Banister model or Fitness-Fatigue model and predominantly given in a time-discrete formulation. Busso et al. [16, 17] fitted variants of the Banister model to data from Olympic weightlifters. The authors used weighted weekly training volume as input and clean and jerk performance as output and correlated the model components to different hormones. However, the predictive ability of the model was not tested, i.e., the whole dataset was used for fitting the model. Model variants were furthermore used by Philippe et al. [40] to describe the response of rats to resistance training. In subsequent work, the authors used exponential growth functions for this purpose [41]. In both works, model prediction was not tested.

Mader [36, 37] developed an ODE model of the active adaptation and regulation of protein synthesis on a cellular level. The model uses intensity of the functional activity as input and gives protein mass as an indicator of functional capacity as the most important output. The model is able to describe supercompensation as well as overtraining, which is demonstrated by simulating different scenarios. An extended version of the model has been proposed by Ullmer and Mader [51]. None of the variants were experimentally validated.

Gatti et al. [26] computed training plans for shoulder rehabilitation by determining the optimal number of sets per exercise for increasing maximum isometric strength given a time constraint. Two different objective functions were examined and compared to current practice. No statements about training intensity were made.

Gacesa et al. [25] used a nonlinear dynamic system to separately fit fatigue data and muscular growth data of the triceps brachii. The predictive ability of the model was not tested.

Arandjelović [2] introduced a model of neuromuscular adaption to resistance training. In this model, the so-called capability profile of an athlete is modified depending on the execution of an exercise. The author subsequently used simulations to examine the influence of using fixed loads or accommodating loads on the training stimulus. Furthermore, the author proposed a framework to calibrate the model from video data [5, 7]. The model was found to successfully predict performance in the bench press and the squat. Resistance training can then be adjusted via trial-and-error by inspecting the simulated adaptations. Additionally, Arandjelović used the model to examine training strategies to overcome the sticking point of an arm curl [3], to examine the influence of externally supplied momentum on the hypertrophy stimulus of a shoulder lateral raise [6], and to examine different loading mechanisms of a Smith machine [4]. Although these three studies are mainly of biomechanical nature, we mention them here, as they specifically aim at increasing force or muscle mass by a model-based examination of possible adaptations.

Wisdom et al. [53] proposed ODE models of muscle adaptation to chronic overstretch, overload, understretch, and underload and compared those models to experimental data. The predictive ability of the models was not tested. Zhou et al. [56] used similar dynamics to describe hypertrophy and atrophy of a muscle fiber given as cross-sectional area with muscle activation level as input. After fitting their model to experimental data, the authors simulated muscle atrophy during a spaceflight and how different exercises could serve as countermeasures.

Torres et al. [49] extended an energy balance model to account for the hypertrophic effects of resistance training and used the model for simulation studies. Moreover, the model was fit to data from elderly participants following a resistance training routine. Resistance training input is described via a scaling variable and has no direct interpretation in terms of volume, intensity, or frequency.

Herold et al. [29] constructed and validated a model of the time course of maximum voluntary isometric contraction force. Exemplarily, the model was used to algorithmically maximize the force-time integral (FTI) of an isometric RT session. We use this model as the foundation of our work, as it is—to the best of our knowledge—the only one to be tested for its predictive ability, suitable for derivative-based optimization, and directly interpretable for practitioners in terms of RT input. However, as the model provides a phenomenological description of muscular fatigue for different loading schemes, it does not directly link the RT input to a physiological adaptation of the trainee. Additionally, there still exist research gaps concerning the exact stimuli and mechanisms of muscular adaptation. To circumvent these issues, we provide mathematical formulations of KPIs for loading schemes identified in sport science and accessible in the model. Those KPIs are the force-time integral, the time-under-tension, the accumulated fatigue defined as loss of MVIC force, and variants thereof.

3 Materials and methods

In this section, we describe the model and the optimization problems. For readers with a focus away from mathematical modeling, simulation, and optimization, we provide a short textual summary and then invite them to directly proceed to the results section if desired.

3.1 Textual summary

Previous work [29] allows us to predict how MVIC force of a muscle group decreases and recovers under isometric loading (Eq. 1). Using mathematical methods of optimal control, this enables us to compute optimized isometric RT sessions (Eq. 2) with respect to different trainings goals. These training goals are constructed from the force-time integral, time-under-tension, or fatigue (Eqs. 36).

3.2 Model

For our numerical experiments, we use a phenomenological model of the time course of maximum voluntary isometric contraction force. We state the ordinary differential equation system and give a short explanation of the components. For a detailed description of the model, we refer to the original paper [29].

The model describes the current MVIC force capacity

$$\begin{aligned} h_{{\text {MVIC}}}: [0, T] \rightarrow [0, 1] \end{aligned}$$
(1a)

of a muscle (or muscle group) at joint level under an external isometric load

$$\begin{aligned} u_{{\text {abs}}}: [0, T] \rightarrow [0, 1] \end{aligned}$$
(1b)

on the time horizon [0, T] . MVIC force capacity and external load are normalized to baseline MVIC force and are thus dimensionless. Moreover, the ranges of functions specified in this description are restricted to physiological meaningful values. The defining equations of the model are given as

$$\begin{aligned}&\frac{\text {d}}{\text {d}t}{x}_{{\text {slow}}}(t) = p_1 (1 - x_{{\text {slow}}}(t)) - p_2 u_{{\text {abs}}}(t) \end{aligned}$$
(1c)
$$\begin{aligned}\frac{\text {d}}{\text {d}t}{x}_{{\text {fast}}}(t) &= p_3 (1 - u_{{\text {abs}}}(t))^{p_4} (1 - x_{{\text {fast}}}(t)) \nonumber \\&\quad - p_5 u_{{\text {abs}}}(t) \end{aligned}$$
(1d)
$$\begin{aligned}&h_{{\text {MVIC}}}(t) = x_{{\text {slow}}}(t) x_{{\text {fast}}}(t), \end{aligned}$$
(1e)

where

$$\begin{aligned} x: [0, T] \rightarrow [0, 1]^2 \end{aligned}$$
(1f)

consists of two dimensionless state variables \(x_{\text {fast}}\) and \(x_{\text {slow}}\). The model furthermore contains five dimensionless parameters \(p_i \in [0, \infty )\) for \(i \in \{1, \dots , 5\}\) describing fatigue and recovery properties. The initial conditions for the states are given by

$$\begin{aligned} x(0) = x_0 \in [0, 1]^2. \end{aligned}$$
(1g)

For an unfatigued muscle, one chooses \(x_0 = (1, 1)^\top\). To simulate MVIC efforts, it is favorable to substitute

$$\begin{aligned} u_{{\text {abs}}}(t) = u_{{\text {rel}}}(t) h_{{\text {MVIC}}}(t) \end{aligned}$$
(1h)

and use

$$\begin{aligned} u_{{\text {rel}}}: [0, T] \rightarrow [0, 1], \end{aligned}$$
(1i)

the load relative to the current force capacity, as input.

The model was validated with a comprehensive set of data from the elbow flexors [29]. We use the corresponding parameter estimates in this work.

3.3 Optimal control problem

We use a multi-stage formulation on \(n_s \ge 2\) stages—denoted by superscripts \(i \in \{1, \dots , n_s\}\)—to model the resistance training sessions [29]. To include metrics for the TUT, the FTI, and the accumulated fatigue, we extend the model by three states tracking these quantities \(x_\text {TUT}, x_\text {FTI},\) and \(x_\text {fatigue}\). The general multi-stage optimal control problem can then be formulated as

$$\begin{aligned}&\max _{x^i(\cdot ), u^i_{\text {abs}}(\cdot ), T^i} \ \varPhi (x^{n_s}(T^{n_s})) \end{aligned}$$
(2a)
$$\begin{aligned}&{\text {s.t.} \ x^1(0) = (1, 1, 0, 0, 0)^\top } \end{aligned}$$
(2b)
$$\begin{aligned}&x^i(0) = x^{i - 1}(T^{i - 1}) \text { for } i \in \{2, \dots , n_s\} \end{aligned}$$
(2c)
$$\begin{aligned}&\sum _{i = 1}^{n_s} T^i = C_T \end{aligned}$$
(2d)
$$\begin{aligned}&x_\text {TUT}^{n_s}(T^{n_s}) \le C_\text {TUT} \end{aligned}$$
(2e)
$$\begin{aligned}&x_\text {FTI}^{n_s}(T^{n_s}) \le C_\text {FTI} \end{aligned}$$
(2f)
$$\begin{aligned}&\text {and for } i \in \{1, 3, \dots , n_s - 2, n_s\} \text { and } t \in [0, T^i]: \nonumber \\&\frac{\text {d}}{\text {d}t}{x^i}_{{\text {slow}}}(t) = p_1 (1 - x^i_{{\text {slow}}}(t)) - p_2 u^i_{\text {abs}}(t) \end{aligned}$$
(2g)
$$\begin{aligned}\frac{\text {d}}{\text {d}t}{x^i}_{{\text {fast}}}(t) &= p_3 (1 - u^i_{{\text {abs}}}(t))^{p_4} (1 - x^i_{{\text {fast}}}(t)) \nonumber \\&\quad - p_5 u^i_{\text {abs}}(t) \end{aligned}$$
(2h)
$$\begin{aligned}&\frac{\text {d}}{\text {d}t}{x^i}_{\text {FTI}}(t) = u^i_{{\text {abs}}}(t) \end{aligned}$$
(2i)
$$\begin{aligned}&\frac{\text {d}}{\text {d}t}{x^i}_{\text {TUT}}(t) = {\left\{ \begin{array}{ll} 0 &{}\text {if } u^i_{\text {abs}}(t) = 0 \\ 1 &{}\text {else} \end{array}\right. } \end{aligned}$$
(2j)
$$\begin{aligned}&\frac{\text {d}}{\text {d}t}{x^i}_{\text {fatigue}}(t) = 1 - h^i_{\text {MVIC}}(t) \end{aligned}$$
(2k)
$$\begin{aligned}&u_\text {low} \le u^i_{\text {abs}}(t) \le h^i_{\text {MVIC}}(t) \end{aligned}$$
(2l)
$$\begin{aligned}&\text {and for } i \in \{2, 4, \dots , n_s - 3, n_s - 1\} \text { and } t \in [0, T^i]: \nonumber \\&\frac{\text {d}}{\text {d}t}{x^i}_{{\text {slow}}}(t) = p_1 (1 - x^i_{{\text {slow}}}(t)) \end{aligned}$$
(2m)
$$\begin{aligned}&\frac{\text {d}}{\text {d}t}{x^i}_{{\text {fast}}}(t) = p_3 (1 - x^i_{{\text {fast}}}(t)) \end{aligned}$$
(2n)
$$\begin{aligned}&\frac{\text {d}}{\text {d}t}{x^i}_{\text {FTI}}(t) = 0 \end{aligned}$$
(2o)
$$\begin{aligned}&\frac{\text {d}}{\text {d}t}{x^i}_{\text {TUT}}(t) = 0 \end{aligned}$$
(2p)
$$\begin{aligned}&\frac{\text {d}}{\text {d}t}{x^i}_{\text {fatigue}}(t) = 0, \end{aligned}$$
(2q)

with \(C_T\) being the total time and \(C_\text {TUT}\) and \(C_\text {FTI}\) the upper bounds on the total time-under-tension and the force-time integral. During odd numbered stages contractions with \(u_\text {low} \le u_{\text {abs}}\) are possible. Even numbered stages are considered rest periods. The duration \(T^i\) of each stage is being optimized. We adapt this optimal control problem to different scenarios in the following. If not mentioned otherwise, all sessions last 20 min, allow \(n_c = 25\) possible contractions and have no restrictions on FTI or TUT. This implies \(C_T =\) 1200 s, \(n_s = 49\) and neglecting Constraints (2e) and (2f). Table 1 gives an overview of the symbols used in the problem formulation.

Table 1 Overview of symbols used in the multi-stage optimal control problem (2)

To solve the problems numerically, we employ a first-discretize-then-optimize strategy. We use the optimal control software MUSCOD-II [33, 34], which originates from the work of Bock and Plitt [13] and implements a direct multiple shooting approach to transcribe the problem to finite-dimensional form. We employ a piecewise constant control discretization. To integrate the ODE system, we use a Runge–Kutta–Fehlberg method and generate the sensitivities via internal numerical differentiation [12]. The necessary derivatives of the model functions are generated via finite-difference approximations. The resulting nonlinear program is solved with a tailored structure-exploiting trust-region sequential quadratic programming method with limited-memory block-updates of the Hessian. For details, we refer to the references above.

In the following, we present how this general optimal control problem formulation (2) is adapted to different sessions (labeled Session A to K). We refer to Table 2 for a concise overview.

Table 2 Overview of sessions used in this work. If not mentioned otherwise, all sessions last 20 min and allow 25 possible contractions

3.4 FTI-based goals

Resistance training volume is an important determinant of long-term adaptations [24]. For isometric contractions, where no actual physical work is performed, the force-time integral is an often used analogue of work [42]. Thus, for Session A, we maximize the FTI accumulated during an RT session without imposing restrictions on the contraction intensity, i.e., \(\varPhi (x) = x_\text {FTI}\) and \(u_\text {low} = 0\).

To increase maximum strength, high loads are recommended by some researchers, e.g., by the [1]. Therefore, the model has previously been used to compute an exemplary optimized RT session, which maximizes the FTI and ensures that the contraction intensity is higher than a minimum threshold intensity of 80% of baseline MVIC force [29]. We adopt this example and examine how lowering or raising the minimum threshold intensity influences the solution. For Session \(\text {B}_\text {70\%}\), we set \(\varPhi (x) = x_\text {FTI}\) and \(u_\text {low} = 0.7\). For Session \(\text {B}_\text {90\%}\), we set \(\varPhi (x) = x_\text {FTI}\) and \(u_\text {low} = 0.9\).

As an alternative to the full FTI maximized in Session A, one can use the FTI accumulated above the minimum threshold intensity as an indicator of effective training volume. For Session C, we thus set \(u_\text {low} = 0\) and replace Eq. (2i) with

$$\begin{aligned} \frac{\text {d}}{\text {d}t}{x^i}_{\text {FTI}}(t) = u^i_{{\text {abs}}}(t) - 0.8. \end{aligned}$$
(3)

A similar measure has been used by Burnley [15] when examining work capacity above critical torque.

For Session D, we examine the influence of the number of possible contractions on Session B and compute the solution for \(n_c \in \{5, 6, \dots , 49, 50\}\) possible contractions. This allows to investigate if more but expectedly shorter contractions allow to accumulate a higher FTI while ensuring a minimum threshold intensity of \(u_\text {low} = 0.8\) and if the additional possible contractions are actually realized in the solution.

Instead of choosing a minimum threshold intensity, we can emphasize higher loads by evaluating a weighting function on the integrand of the FTI. For demonstration purposes, we choose a quadratic weighting function for Session E. Therefore, we set \(\varPhi (x) = x_\text {FTI}\) and replace Eq. (2i) with

$$\begin{aligned} \frac{\text {d}}{\text {d}t}{x^i}_{\text {FTI}}(t) = (u^i_{{\text {abs}}}(t))^2. \end{aligned}$$
(4)

\(u_\text {low}\) is set to 0. A similar approach has been used by Arandjelović [6] to describe the hypertrophy stimulus of a resistance training set, although he used a sigmoid function, which can be interpreted as a smoothing of the constraint \(u_\text {low} \le u_{\text {abs}}\) used in Session B.

A similar weighting can be applied to Session C by replacing Eq. (2i) with

$$\begin{aligned} \frac{\text {d}}{\text {d}t}{x^i}_{\text {FTI}}(t) = (u^i_{{\text {abs}}}(t) - 0.8)^2 \end{aligned}$$
(5)

and setting the objective functional to \(\varPhi (x) = x_\text {FTI}\) for Session F. In contrast to Session C, \(u_\text {low} = 0.8\) is necessary here, as otherwise \(u_{\text {abs}}= 0\) would be the solution.

3.5 Fatigue-based goals

Effects of fatigue, e.g., metabolic stress or increased motor unit recruitment, have been attributed to trigger or positively influence muscle hypertrophy [44]. We examine which loading scheme maximizes fatigue, defined as the accumulated loss of MVIC force over time. Thus, for Session G, we choose \(\varPhi (x) = x_\text {fatigue}\) and \(u_\text {low} = 0\).

For Session H, we maximize fatigue while ensuring a minimum threshold intensity of 80% of baseline MVIC force. Therefore, we choose \(\varPhi (x) = x_\text {fatigue}\) and \(u_\text {low} = 0.8\).

In contrast to maximizing fatigue, it might also be desired to accumulate a certain amount of work while minimizing fatigue, e.g., during the tapering period before a competition. For Session I, we exemplarily choose \(\varPhi (x) = - x_\text {fatigue}\) and \(C_\text {FTI} =\) 150 s.

3.6 TUT-based goals

Several authors have examined time-under-tension as a determinant of acute responses and long-term adaptations to RT (e.g., [14] or [45]). Therefore, for Session J, we maximize TUT while ensuring a minimum threshold intensity by choosing \(\varPhi (x) = x_\text {TUT}\) and \(u_\text {low} = 0.8\).

Session J does not take into account the duration of the contractions used to accumulate the total TUT. However, some author have reported different adaptations to short and long duration contractions with greater hypertrophy occurring after long duration contractions [45]. Thus, to weight the duration of contractions quadratically, we replace Eq. (2j) with

$$\begin{aligned} \frac{\text {d}}{\text {d}t}{x^i}_{\text {TUT}}(t) = {\left\{ \begin{array}{ll} 0 &{}\text {if } u^i_{\text {abs}}(t) = 0 \\ t &{}\text {else} \end{array}\right. } \end{aligned}$$
(6)

for Session K. All other settings are kept as in Session J.

4 Results

In the following, we provide the results of our computations. Here, we focus on the structure of the computed solutions. For readers who skipped the methods section, we redescribe the scenarios without the mathematical details. We refer to Table 2 for a concise overview. If not mentioned otherwise, all sessions last 20 min and allow 25 possible contractions.

Fig. 1
figure 1figure 1figure 1

Model response obtained by simulating Sessions A to \(K\). We refer to the text and Table 2 for an explanation of the individual sessions. The left column depicts the model response. The absolute force input is illustrated in the right column.

4.1 FTI-based goals

Resistance training volume is an important determinant of long-term adaptations [24]. For isometric contractions, where no actual physical work is performed, the force-time integral is an often used analogue of work [42]. Thus, for Session A, we maximize the FTI accumulated during an RT session without imposing restrictions on the contraction intensity. Figure 1a illustrates the model response obtained by simulating Session A.

To increase maximum strength, high loads are recommended by some researchers, e.g., by the [1]. Therefore, the model has previously been used to compute an exemplary optimized RT session, which maximizes the FTI and ensures that the contraction intensity is higher than a minimum threshold intensity of 80% of baseline MVIC force [29]. We adopt this example and examine how lowering or raising the minimum threshold intensity to 70% or 90% of baseline MVIC force influences the structure of the solution. Figure 1b, c illustrates the model response obtained by simulating Sessions \(\text {B}_{70\%}\) and \(\text {B}_{90\%}\).

For Session C, as an alternative to the full FTI maximized in Session A, one can use the FTI accumulated above the minimum threshold intensity as an indicator of effective training volume. A similar measure has been used by Burnley [15] when examining work capacity above critical torque. Figure 1d illustrates the model response obtained by simulating Session C.

For Session D, we examine the influence of the number of possible contractions on Session B and compute the solution for 5–50 possible contractions. This allows to investigate if more but expectedly shorter contractions allow to accumulate a higher FTI while ensuring a minimum threshold intensity of 80% of baseline MVIC force and if the additional possible contractions are actually realized in the solution. Figure 1e, f illustrates the model response obtained by simulating Sessions \(\text {D}_\text {5}\) and \(\text {D}_\text {50}\). Figure 2 depicts the objective functional value in dependency of the number of possible contractions. Figure 3 depicts the durations of contractions and rests in dependency of the number of possible contractions. For all sessions, all 25 possible contractions are realized.

Fig. 2
figure 2

Dependency of the objective functional value on the number of possible contractions for Sessions \(\text {D}_\text {5}\) to \(\text {D}_\text {50}\). Increasing the number of possible contractions increases the FTI of the computed solution

Fig. 3
figure 3

Dependency of the durations of contractions (a) and rests (b) on the number of possible contractions for Sessions \(\text {D}_\text {5}\) to \(\text {D}_\text {50}\). The horizontal dashed lines illustrate the 1 s mark. Increasing the number of possible contractions decreases the durations of contractions and rests of the computed solution

Instead of choosing a minimum threshold intensity, we can emphasize higher loads by evaluating a weighting function on the integrand of the FTI. For demonstration purposes, we choose a quadratic weighting function for Session E. A similar approach has been used by Arandjelović [6] to describe the hypertrophy stimulus of a resistance training set, although he used a sigmoid function, which can be interpreted as a smoothing of the constraint used in Session B. Figure 1g illustrates the model response obtained by simulating Session E.

For Session F, a similar quadratic weighting function can be applied to Session C. Figure 1h illustrates the model response obtained by simulating Session F.

4.2 Fatigue-based goals

Effects of fatigue, e.g., metabolic stress or increased motor unit recruitment, have been attributed to trigger or positively influence muscle hypertrophy [44]. For Session G, we examine which loading scheme maximizes fatigue, defined as the accumulated loss of MVIC force over time. Figure 1i illustrates the model response obtained by simulating Session G.

For Session H, we maximize fatigue while ensuring a minimum threshold intensity of 80% of baseline MVIC force. Figure 1j illustrates the model response obtained by simulating Session H.

In contrast to maximizing fatigue, it might also be desired to accumulate a certain amount of work while minimizing fatigue, e.g., during the tapering period before a competition. For Session I, we model such a scenario. Figure 1k illustrates the model response obtained by simulating Session I.

4.3 TUT-based goals

Several authors have examined time-under-tension as a determinant of acute responses and long-term adaptations to RT (e.g., [14] or [45]). Therefore, for Session J, we maximize TUT while ensuring a minimum threshold intensity of 80% of baseline MVIC force. Figure 1l illustrates the model response obtained by simulating Session J.

Session J does not take into account the duration of the contractions used to accumulate the total TUT. However, some author have reported different adaptations to short and long duration contractions with greater hypertrophy occurring after long duration contractions [45]. Thus, we weight the durations of contractions quadratically for Session K. All other settings are kept as in Session J. Figure 1m illustrates the model response obtained by simulating Session K.

4.4 Durations of contractions and rests

Table 3 contains the minimum, the maximum, and the mean durations of the contractions and rests for all sessions plotted. To a certain extent, this allows to examine the real-life feasibility of the computed sessions.

Table 3 Minimum, maximum, and mean durations of contractions \(\delta _{\rm c}\) and rests \(\delta _{\rm r}\) for all sessions plotted. To a certain extent, this data allows to examine the real-life feasibility of the computed sessions

5 Discussion

5.1 Choice of training goals

In general, a model-based approach is limited by the predictive ability of the employed model and the available numerical solution methods. As mentioned, the model of Herold et al. [29] offers a phenomenological description of muscular fatigue for different loading schemes and does not directly link the RT input to a physiological adaptation of the trainee. Thus, when choosing the training goals, we are limited by key performance indicators accessible in the model. For this reason, we use assumptions from sport science about optimal training as objectives and constraints.

The three KPIs force-time integral, time-under-tension, and loss of MVIC force can readily be used in the optimal control problem formulations. Furthermore, we employ variants of these three KPIs to demonstrate how even slight modifications can change the structure of the solution. This highlights how important it is for exercise physiologists and sport scientists to identify the correct driving stimuli for adaptations to design optimized RT programs. Suitable physiological models would allow a more thorough search, e.g., by incorporating the build up of metabolites such as hydrogen ions and inorganic phosphate or by describing the activation of different fiber types.

5.2 Structure of the computed RT sessions

While the resulting differences between the solutions might seem small at first, one should keep in mind that these differences accumulate during the course of an RT plan over weeks and months.

The results of Session D favor a higher number of contractions to accumulate more force-time integral in this scenario. This is in line with the solutions of most other sessions, in which all 25 possible contractions are realized. However, this is not the case for the solutions of Sessions A, F, G, and K. The results of Session A illustrate that the inclusion of rests is not beneficial during the beginning and the end of the session for this setting. To enable high contraction intensities, the solution of Session F consists of only 20 contractions. This is due to the fact that we weight the contraction intensities proportionally more than in the solution of Session C, where all 25 contractions are realized. The solution of Session G describes a sustained MVIC effort, which is caused by choosing the accumulated loss of MVIC force as training goal. The solution of Session K only realizes 12 contractions in order to enable longer contraction durations compared to the solution of Session J. This can be verified by comparing the mean contractions duration of Session J and K, i.e., 6.99 s and 12.01 s (see Table 3).

Except for the solutions of Sessions H, J, and K, all solutions consist exclusively of MVIC efforts. This was unexpected, as we anticipated that submaximal contractions might allow a greater accumulation of training volume due to them inducing less fatigue. It would be interesting to examine if such a behavior also occurs for dynamic constant external RT. The solution of Session H exhibits an interesting behavior as the inclusion of a minimum threshold intensity now favors submaximal contractions compared to the MVIC efforts of the solution of Session G. This is possibly caused by the longer contraction durations, which then contribute more to the accumulated fatigue. Session I exhibits the same behavior as the MVIC efforts reduce the time necessary to accumulate the desired FTI. The same holds for the solutions of Sessions J and K, where the submaximal contractions allow a greater time-under-tension. The submaximal contractions are all held until muscle failure. In case this is not desired, this could be included into the optimization problem as a constraint. If a minimum threshold intensity was chosen, the MVIC efforts are conducted until this intensity is reached (see in particular Session B). Sessions C and F differ. Here, the contractions are terminated earlier as contractions with the minimum threshold intensity do not contribute to the chosen training goal. Session E demonstrates how a focus can be set on higher contraction durations without the use of a minimum threshold intensity.

A remark from a mathematical point of view: For all sessions, constraints limit the feasible region of the optimization problems and many constraints are active in the solutions, e.g., maximum or minimum contraction intensities are attained, which is expected in an optimal control context. All chosen constraints are solely physiologically motivated—no artificial constraints have been introduced. However, due to the discretization of the constraints within the multiple shooting approach, the algorithm only guarantees that the constraints are met at the shooting nodes. In case of constraint violations between the shooting grid points, the grid can be refined easily to meet the requirements.

As already noticed during the model development [29], the grouping of repetitions into sets is not supported by our results. Instead, the contractions are spread more evenly over the whole time horizon to allow a greater accumulation of training volume, i.e., force-time integral. This is a similar approach to variants of so-called cluster sets [50], which allow to increase training volume by breaking up the traditional set-repetition structure. Here, the algorithmic optimization of durations of contractions and rests provides a clear advantage over intuitive planning.

5.3 Real-life feasibility of the computed RT sessions

To ensure the real-life feasibility of the computed RT sessions, several aspects have to be taken into account. First, the duration of the contractions may not be too short, as the trainees need time to develop MVIC force. Second, the duration of the submaximal contractions may not be too long, as the concept of task failure or limited work capacity is currently not implemented into the model [29]. Third, the rest periods between submaximal contractions may not be too short, as the model also does not account for a regeneration of work capacity.

Kawakami et al. [31] examined 100 intermittent MVIC efforts lasting 1 s followed by 1 s rest of the triceps surae muscles and reported no problems in executing this task. Table 3 and Fig. 3 show that our solutions do not propose durations shorter than 1 s for contractions and rests. Although a different muscle group was used in the study of Kawakami et al. [31], their data demonstrates that such short intermittent contractions might be possible in general.

Yoon et al. [55] examined endurance times for sustained isometric contractions of the elbow flexors at 90 degrees joint angle and at 80% of MVIC force. Although the experimental setup differed slightly compared to that of the experiments used for the model validation [29] (forearm horizontal versus forearm vertical to the ground), the mean endurance times of 25.0 s for men and 24.3 s for women are consistent with the maximum duration of 21.76 s of our solutions for Sessions H, J, and K (see Table 3). To the best of our knowledge, no prediction of endurance time or work capacity exists for MVIC efforts. Caffier et al. [18], for example, examined MVIC efforts of several muscle groups lasting 10 min and reported no task failure among the participants. Thus, it remains to be validated experimentally if the solutions of Session A, E, and G, which contain sustained MVIC efforts of long durations, can be realized in practice.

Although several authors have examined the recovery of endurance times (see, for example, the work of Stull and Kearney [47] or [32]) and work capacity (see, for example, the review by Jones and Vanhatalo [30]), to the best of our knowledge, no model of their time course exists that fulfills the prerequisites postulated for use in an optimization context [29]. Furthermore, we are not aware of any experimental data that rejects the feasibility of the solutions of Sessions H, J, and K due to too short rests. If this should be the case, lower bounds on the durations of the rests could be incorporated into the optimal control problem.

6 Limitations and future research

As no fully suitable mathematical model for the more commonly used dynamic constant external resistance (DCER) training is available, we are optimizing isometric RT sessions. Research shows that the transfer from isometric RT to dynamic performance is questionable [39]. Therefore, we discourage direct transfer of our findings to DCER or other forms of training. However, an extension of our approach to DCER training is straightforward once suitable models become available. The same holds true for extensions to other indicators of muscle fatigue (e.g., power, contraction velocity, or muscular endurance), multiple exercises, or long-term planning.

Moreover, we are using parameters obtained from the elbow flexors, as so far those are the only ones available. For this reason, a comparison between muscle groups or participants is not possible at the moment. It would be intriguing to calibrate the model to different muscle groups and participants and then examine how the resulting parameters affect the optimized RT sessions. [35], for example, after analyzing fatigue and recovery patterns of MVIC torque of the knee extensors, conclude that individualizing training might be important to optimize performance. The authors used proton magnetic resonance spectroscopy to analyze muscle fiber typology of the gastrocnemius and then classify the participants into a slow- and a fast-twitch group for which they expected different patterns. With a model-based approach, this classification could be formulated as a parameter estimation problem for which the necessary force measurements could be obtained in one testing session [28]. Afterwards, RT sessions could be optimized individually as proposed in this work.

Since we are using local optimization methods, modified initial guesses do not necessarily lead to identical results. Vanishing stages in the employed multi-stage formulation could lead to redundant discretized controls. Thus, the computed solutions are neither globally optimal nor unique. However, considering that globally optimal solutions cannot be efficiently computed for problems of this type, starting from an initial (e.g., empirically derived) training design, the employed method generates an improved design that is locally optimal.

Last, we acknowledge that the model is validated with data from laboratory studies. Thus, we face the same problems as the original studies: the transfer from the laboratory to real-life RT needs to be verified experimentally. To this end, we outline two potential experimental setups in the following, which could be conducted together with interested practitioners from the sports sciences.

The first experiment is designed to verify if our model-based approach allows to achieve a better objective functional value compared to an intuitive approach. For illustrative purposes, we choose Session B, which maximizes the FTI while ensuring a minimum threshold intensity using 25 contractions within 20 min. After the trainees have familiarized themselves with the dynamometer, a testing session is conducted to individually calibrate the model to the trainees’ elbow flexors and obtain reliable parameter estimates [28]. After sufficient rest, the trainees are asked to intuitively perform a session, which they think to be optimal for the given task. An optimized session is then computed for each trainee and after resting sufficiently again, the trainees are asked to perform the optimized session. This order is chosen to prevent any learning effects. Afterwards, the data of the two sessions is analyzed and the objective functional values are compared. Furthermore, the real-life feasibility of the optimized sessions can be evaluated by computing the deviations of prescribed force and actual force.

After a successful first experiment, a second one could be conducted to examine whether the chosen objective function is beneficial for our training goal. However, this can only be done in comparison to another objective functional. For illustrative purposes, we compare Sessions \(\text {B}_{70\%}\) and \(\text {B}_{90\%}\) with regard to increasing maximum strength. To this end, trainees with the same level of RT experience are randomly assigned to three groups—a control group, a group following optimized training protocols for Session \(\text {B}_{70\%}\), and a group following optimized training protocols for Session \(\text {B}_{90\%}\). At the beginning of the experiment, an MVIC force test is conducted. This test is repeated at the end of the experiment and the results are analyzed. We emphasize that in this work the sessions are optimized independently of each other. Therefore, long-term planning has to be determined by the experimenters. Nutrition and recovery should be adequate and comparable among the trainees. If desired, the model parameters and the optimized sessions could be updated at any desired point in time.

7 Conclusion

We demonstrate that a mathematical model-based approach could provide valuable impulses for practitioners and complement the predominant manual program design of loading schemes for RT. Although, the differences in the optimized sessions might seem small, one should keep in mind that those accumulate during the course of an RT plan over weeks and months.

With our approach, training protocols—either motivated by current practice or of a more exploratory and unconventional nature—could be examined at a large scale via forward simulations of the model. The flexible formulation of different training goals in terms of adjusted objective functions allows to evaluate the performance of training sessions in silico. Thus, training recommendations can be analyzed and rated with respect to their justification and efficiency without the tremendous testing efforts in actual trials.

As our approach is independent of the underlying model, we encourage researchers to develop and validate models, which are suitable for optimization and which connect the training input of different RT types directly to training goals such as increasing strength and power, hypertrophy, or increasing local muscular endurance. This would extend the possibilities to set up the optimization problems and might furthermore help to identify the driving mechanisms for long-term adaptations. Then, we could exploit the full potential of our approach.

In addition to a large variety of application areas, e.g., biomechanical movement analysis or the design of sports equipment, our work underlines and demonstrates the potential of quantitative mathematics to analyze and improve sports activities.