Sentence examples for the given specifications from inspiring English sources

The proposed approach showed improvements in filter design for the given specifications.

The aim is to design a live and maximal permissive controller which guaranty the respect of the given specifications.

We exploit the modularity commonly inherent to large scale systems, constructing local models that comprise only those parts of the system affected by the given specifications.

Pulse translates Plural specifications into an abstract state-machine model that captures the semantics of all the possible concurrent programs implementing the given specifications, and uses the evmdd-smc symbolic model checker to verify the machine model.

GAs are successfully applied to the automatic tuning of the PID controllers according to the given specifications, using a specially formulated objective function which quantifies the controller performance in terms of time-domain bounds on the closed-loop system responses.

To verify that the whole (i.e., software + hardware) system meets the given specifications, exhaustive simulation-based approaches (Hardware In the Loop Simulation, HILS) can be effectively used by first generating all relevant simulation scenarios (i.e., sequences of disturbances) and then actually simulating all of them (verification phase).

The implementation is optimal in the sense that it satisfies the given specification while minimizing an objective function that captures the overall cost of the network implementation.

A sequence of symbolic control strategies is derived which converges, in the sense of simulation metric, to the maximal controller solving the given specification on the PWA system.

Comparing with the existing methods, the elements of relevant matrices can be determined just by the given specification, which makes the method easier.

In order to efficiently verify gate level arithmetic circuits, we model the circuit and the specification with polynomial system and the verification problem is formulated as membership testing of the given specification polynomial in corresponding ideal of the circuit polynomials.

Because specification-based slicing enables one to focus attention on only those program statements which realize the functional abstraction specified by the given specification, it can be widely used in many software engineering areas.