Sentence examples for verification of control from inspiring English sources

One approach to managing this is the model-based development and simulation-aided verification of control software.

Aircraft flight control has a multivariable and non linear nature that makes it suitable for a verification of control capability of different designs.

The enrichment of conventional formal verification of control properties with safety requirements constitutes the main originality of the deployed method and contributes to solve inconsistencies between functional and safety verification processes.

User maintenance includes operation where not automatic, cleaning of filters and strainers, attention to oil and lubricant levels, belt tensioning, general cleaning, running standby equipment, and verification of control operation.

Automated verification of control programs can be part of cost-effective methodologies to support certification, but it is widely recognized as difficult to attain in robotics, because of several traits that characterize robot design and implementation.

This model can be utilized for not only the control system design but also the development of a real-time simulator for the hardware-in-loop verification of control systems.

The proposed RCP enables us to carry out the rapid design and the verification of controls for two-wheeled mobile robots (TWMRs), players in the robot soccer, without writing C codes directly and requiring a special H/W.

Which lays a foundation for model-based controller design and verification of different control algorithms in LTC diesel engine.

The verification of each control algorithm is realized by computer simulation of a control system that includes the structured process (reactor) model.

Formal modeling and verification of a control algorithm allow to derive a correct and fault tolerant controller.

After the verification of the control scheme, finally, the simulation experiment is presented in order to validate the effectiveness of this control method.