Model checking embedded system designs

We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can be influenced to visit more interesting sets of states first. In particular, we discuss how model checking can be combined with heuristic cost functions to guide search strategies. Finally, we list a number of current research developments, especially in the area of reachability analysis for optimal control and related issues

New Model Reference Adaptive System Speed Observer for Field-Oriented Control Induction Motor Drives Using Neural Networks

One of the primary advantages of field-oriented controlled induction motor for high performance application is the capability for easy field weakening and the full utilization of voltage and current rating of the inverter to obtain a wide dynamic speed rangeThis paper describes a Model Reference Adaptive System (MRAS) based scheme using Artificial Neural Network (ANN) for online speed estimation of sensorless vector controlled induction motor drive. The proposed MRAS speed observer uses the current model as an adaptive model. The neural network has been then designed and trained online by employing a back propagation network (BPN) algorithm. The estimator was designed and simulated in Matlab/Simulink. Simulation result shows a good performance of speed estimator. The simulation results show good performance in various operating conditions. Also Performance analysis of speed estimator with the change in resistances of stator is presented. Simulation results show this estimator robust to parameter variations especially resistances of stator

New Model Reference Adaptive System Speed Observer for Field-Oriented Control Induction Motor Drives Using Neural Networks

One of the primary advantages of field-oriented controlled induction motor for high performance application is the capability for easy field weakening and the full utilization of voltage and current rating of the inverter to obtain a wide dynamic speed rangeThis paper describes a Model Reference Adaptive System (MRAS) based scheme using Artificial Neural Network (ANN) for online speed estimation of sensorless vector controlled induction motor drive. The proposed MRAS speed observer uses the current model as an adaptive model. The neural network has been then designed and trained online by employing a back propagation network (BPN) algorithm. The estimator was designed and simulated in Matlab/Simulink. Simulation result shows a good performance of speed estimator. The simulation results show good performance in various operating conditions. Also Performance analysis of speed estimator with the change in resistances of stator is presented. Simulation results show this estimator robust to parameter variations especially resistances of stator

Model Predictive Controller for piecewise affine system

2005 IFAC 16th Triennial World Congress, Prague, Czech RepublicThis paper presents a hybrid procedure to solve Model Predictive Controller (MPC) for Piecewise Affine System (PWA) The approach presented here belong to the class of Branch and Bound (B&B) methods. The procedure uses the concepts of reachable set combined to the specific B&B methods, in order to reduce the number of Quadratic Problems (QP) needed to be solved by the optimization algorithm

Model mount system for testing flutter

A wind tunnel model mount system is disclosed for effectively and accurately determining the effects of attack and airstream velocity on a model airfoil or aircraft. The model mount system includes a rigid model attached to a splitter plate which is supported away from the wind tunnel wall several of flexible rods. Conventional instrumentation is employed to effect model rotation through a turntable and to record model flutter data as a function of the angle of attack versus dynamic pressure