Sentence examples for robust satisfaction from inspiring English sources

Given an ODE model f, a set P of perturbations of initial conditions or parameters, and (QF LTL properties ϕ and ϕ y), the tool computes the robustness, the relative robustness and the robust satisfaction degree of the property with respect to the given perturbations.

Since a standard (non-robust) MPC is not able to cope with disturbances, a robust MPC is designed using a chance-constrained approach for robust satisfaction of constraints in a probabilistic sense.

The robust satisfaction degree of the property ϕ(m, M) provides an indication of how close to robust satisfaction our requirement is.

Using the notion of satisfaction domain, we can also define the distance from robust satisfaction of a property ϕ with respect to a set of perturbations P as dist(∩ p 𝒟 T p, ϕ).

Then, we define the robust satisfaction degree as: (6) This notion allows us to distinguish whether it is possible to relax the specification to have it satisfied for all perturbations or not.

Robust constraints satisfaction for the original system is ensured for a pre-defined set of disturbance trajectories.

To fulfill robust constraint satisfaction, we take advantage of the min max MPC framework to consider the worst case of all possible uncertainty realizations.

The on-line robust constraint satisfactions are implemented into the robust periodic EMPC controller.

The most robust predictions concerning satisfaction with TKA were found when both pre- and postoperative data where considered together (Baker et al. 2013).

Feunteun said growth had been robust because of customer satisfaction with the vehicles and because technological advances were happening faster than expected.

The objective of the used technique is to optimize nominal performance while guaranteeing robust stability and constraint satisfaction.