In this report, we summarize our approach for testing the Electronic Throttle Control (ETC) system. We reformulate the ETC model based on the MATLAB/SIMULINK model provided by the Berkeley group. We specify the ETC model using the hybrid modeling language called CHARON. From the CHARON model, we generate test sequences based on the control-flow and data-flow criteria. These are transformed into...

background: despite some successful dynamic simulation of self-impact double pendulum (sidp)-as humanoid robots legs or arms- studies, there is limited information available about the control of one leg locomotion. objective   : the main goal of this research is to improve the reliability of the mammalians leg locomotion and building more elaborated models close to the natural movements, by mod...

In spite of large improvements of formal modeling methods, their technical application in industrial process control implementations is still rare. Two reasons can be pointed out. First, there is still a gap between the formal modeling languages and the control languages used in industrial process control systems respectively specified in normative standards. Second, the focus of the modeling a...

Objective: The present study aimed at investigating the effectiveness of video modeling on social skills of children with Autism Spectrum Disorder (ASD). Methods: The current experimental study with pre-test, post-test design and control group was conducted on 24 male children with ASD aged 6-8 years from two special schools. The samples were selected by random sampling method and randomly div...

The bioprocess advancement is determined by the living cells capabilities and characteristics, the bioreactor performance as well as by the cultivation media composition and the main parameters evolution. The high metabolic network complexity inside the cells often determine very sophisticated, non-linear growth and product formation kinetics, with further consequences on the bioprocess behavio...

This paper surveys the kinematics of bikes and details the construction of a dynamics model for a motorbike using the Lagrangian approach. Using data from a typical sports motorbike, a dynamics model is obtained by symbolic computation. This model, of high algebraic complexity, is then wrapped as a function and used for control purposes. Control strategies based on PID, MPC, and nonlinear contr...

There have been many researches on object grasping in cooperating systems assuming no object slippage and stable grasp and the control system is designed to keep the contact force inside the friction cone to prevent the slippage. However undesired slippage can occur due to environmental conditions and many other reasons. In this research, dynamic analysis and control synthesis of a cooperating ...