In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design approach is then introduced with an adequate support for efficient and consistent design and code generation. In this paper, this design approach is illustrated by a case study of a rail-road crossing system. The developm...

This paper presents a generalized method to implement the idea of parameterization and model realization to synthesize a control function that affects a possible state transfer that are equivalent to the controllability of the Linear Time-Invariant (LTI) control systems. The key idea here is that one should be able to link LTI control system with its system variables in parameterized form by th...

A number of timed-trace formalisms, where systems are modelled by time-varying functions, have been proposed for the formal development of real-time systems. In this paper, we illustrate one such approach via the speciication and reenement of the well-known Steam Boiler Control Problem. The case study illustrates the use of a timed-trace formalism to specify deadlines and other timing constrain...

In this paper, we consider the control of time delay system by Proportional-Integral (PI) controller. By Using the Hermite-Biehler theorem, which is applicable to quasi-polynomials, we seek the stability region of the controller and the computation of its optimum parameters. We have used the genetic algorithms to lead the complexity of the optimization problem. An application of the suggested a...

This paper deals with a model of a 3-bladed wind turbine and its identification. The linear, time-invariant state-space model has been developed at Fraunhofer IWES mainly for control engineering applications. Its parameters are obtained from an operational modal analysis carried out on a commercial 5MW turbine. The parameterised model is validated by comparison of estimated time series and meas...

Uncertainty is inherent property of all real life control systems, and this is due to that there is nothing constant practically; all parameters are going to change under some environmental circumstances, therefore control engineers must not ignore this changing since it can affect the behavior and the performance of the system. In this paper a critical research method for modeling uncertain sy...

This paper considers the output controllability of autonomous linear control systems that are subject to non-negative input constraints. Based on the evaluation of the geometric properties of the system, necessary and sufficient conditions are proposed for the positive output controllability of continuous linear time invariant systems. To aid in the practical evaluation of positive output contr...

Over the last three decades, the certainty equivalence principle has been the fundamental paradigm in the design of adaptive control laws. It is well known, however, that for general control criterions the performance achieved through its use is strictly suboptimal. In order to overcome this difficulty, two different approaches have been proposed: i) the use of cost-biased parameter estimators;...

In a satellite control center, the real-time control system is a key link for complex mission operations. However, in crucial operations, the existing methods to monitor and judge the procedure are improper to the complex procedures; and it depends heavily on the professional engineers to monitor and estimate the entire process. To deal with this problem, in this paper, we propose an operation-...

This paper is concerned with the high-performance robust control of discrete-time linear time-invariant (LTI) systems with semi-algebraic uncertainty regions. It is assumed that a robustly stabilizing static controller is given whose gain depends polynomially on the uncertain variables. The problem of tuning this parameter-dependent gain with respect to a prescribed quadratic cost function is f...