Sharif Digital Repository

Actor-based modeling is known to be an appropriate approach for representing concurrent and distributed systems. Rebeca is an actor-based language with a formal foundation, based on an operational interpretation of the actor model. We develop a front-end tool for translating a subset of Rebeca to SMV in order to model check Rebeca models. Automated modular verification and abstraction techniques are supported by the tool  

It is known that discrete-time controllers, whose state matrices have no non-integer element, are beneficial in homomorphic based encrypted control systems. Nevertheless, it has been recently shown that possessing state matrices with integer elements usually yields unstable discrete-time controllers. In this note, we investigate the problem from a non-minimality perspective. It is shown that non-minimal realizations, in comparison to minimal ones, can theoretically provide a wider framework to obtain controllers having state matrices with integer elements. However, in the case of dealing with BIBO stable controllers, this framework cannot preserve internal stability. But, benefiting from the... 

We have recently introduced a high-level extension for stochastic activity networks (SANs) called coloured stochastic activity networks (CSANs). CSANs have several distinguishing properties, which make them quite appropriate for modeling and evaluation of software performance and dependability. CSANs have introduced a construct called coloured place for data manipulation. A coloured place holds a list of tokens of a userdefined token type. CSAN models can be evaluated by state space analysis techniques or discrete-event simulation. However, their state spaces will become very large, even for a small CSAN model. For efficient evaluation of these models by state space analysis methods, we will... 

This paper deals with the consensus problem in an uncertain multi-agent system whose agents communicate with each other through a weighted undirected (primary) graph. The considered multi-agent system is described by an uncertain state-space model in which the involved matrices belong to some matrix boxes. As the main contribution of the paper, a unified optimization-based framework is proposed for simultaneously reducing the weights of the edges of the primary communication graph (optimizing the network topology) and synthesizing a controller such that the consensus in the considered uncertain multi-agent system is ensured with an adjustable convergence rate. Considering the NP-hardness... 

In the present study, a simple analytical method is introduced for determination of natural frequencies of generally laminated conical and cylindrical shells with arbitrary boundary conditions. The governing equations of motion employed are those of thin-walled shell theory of Donnell. The free-vibration equations are solved using state space method and series solution in meridional direction. The results are compared and validated with the available especial results in the literature. The effects of bending-stretching coupling, semi-vertex angle, meridional length, shell thickness, fiber directions of composite plies, and lamination sequences on the natural frequency of conical and... 

With the current focus on energy and environment, efficient integration of renewable energies, especially wind energy into power systems, is becoming essential. Furthermore, to fully capture wind potentials and to recognize the unique characteristics associated with wind energy in power systems adequacy analysis, a profound inquiry is required. In this way, this paper tries to establish a comprehensive analytical approach for reliability modeling of doubly-fed induction generator (DFIG)-based wind farms. First, the most impressive components of wind turbines are introduced. It then continues with integrating developed state space model of wind turbines and their production uncertainties,... 

In this paper, the tip tracking control problem of a Timoshenko micro-cantilever beam is investigated. The beam is actuated by a piezoelectric layer laminated on one side of the beam. Dynamic equations of the beam and piezoelectric layer are found using the Hamilton principle. By employing the Galerkin projection method, state space representation of the system is derived. Then, a cascade control loop is used for tracking control of the beam's tip. The cascade control structure consists of an inner loop stabilizer and an outer loop proportional-integral-derivative controller. The stabilizer has a linear feedback form whose states are obtained through a linear observer which is based on the... 

Experimental system identification of a flexible beam based on sweep square excitation is studied. For the purpose of nonparametric identification, an excitation signal is conducted to evaluate the frequency response of the system. The experiment is designed to excite the beam using a piezo actuator, in a way to raise the chance of exciting first three natural modes. In order to find the best linear representation of the real system, two different identification methods are applied. First, autoregressive moving average eXogenous method is employed to identify the transfer function of the beam. Then, the identification is carried out using the subspace identification method to obtain the... 

With the current focus on energy and environment, efficient integration of renewable energies, especially wind energy into power systems, is becoming essential. Furthermore, to fully capture wind potentials and to recognize the unique characteristics associated with wind energy in power systems adequacy analysis, a profound inquiry is required. In this way, this paper tries to establish a comprehensive analytical approach for reliability modeling of doubly-fed induction generator (DFIG)-based wind farms. First, the most impressive components of wind turbines are introduced. It then continues with integrating developed state space model of wind turbines and their production uncertainties,... 

Noise reduction of speech signals plays an important role in telecommunication systems. Various types of speech additive noise can be introduced such as babble, crowd, large city, and highway which are the main factor of degradation in perceived speech quality. There are some cases on the receiver side of telecommunication systems, where the direct value of interfering noise is not available and there is just access to noisy speech. In these cases the noise cannot be cancelled totally but it may be possible to reduce the noise in a sensible way by utilizing the statistics of the noise and speech signal. In this paper the proposed method for noise reduction is Bayesian recursive state-space... 

This paper presents a stabilizing controller design method for quasi resonant (QR) converters described by a class of piecewise linear (PWL) models. The generalized state-space averaging technique (GSSA) is applied for the modeling and analysis of the half-wave zero current switching quasi-resonant (HW-ZCS-QR) buck converter. The nonlinear GSSA model of the converter is reconstructed using a piecewise linearizing technique. Subsequently, the piecewise linear models are combined together, to form a unified model, using a fuzzy modeling approach. The stability of the applied method has been investigated using Lyapunov method. Finally, a linear Hinfty; controller synthesis method is applied to... 

In this paper, the tip tracking control problem of a Timoshenko micro-cantilever beam is investigated. The beam is actuated by a piezoelectric layer laminated on one side of the beam. Dynamic equations of the beam and piezoelectric layer are found using the Hamilton principle. By employing the Galerkin projection method, state space representation of the system is derived. Then, a cascade control loop is used for tracking control of the beam's tip. The cascade control structure consists of an inner loop stabilizer and an outer loop proportional-integral-derivative controller. The stabilizer has a linear feedback form whose states are obtained through a linear observer which is based on the... 

Three-dimensional free vibration analysis of functionally graded piezoelectric (FGPM) annular plates resting on Pasternak foundations with different boundary conditions is presented. The material properties are assumed to have an exponent-law variation along the thickness. A semi-Analytical approach which makes use of state-space method in thickness direction and one-dimensional differential quadrature method in radial direction is utilized to obtain the influences of the Winkler and shearing layer elastic coefficients of the foundations on the non-dimensional natural frequencies of functionally graded piezoelectric annular plates. The analytical solution in the thickness direction can be... 

In this article, a double-max multivariate exponentially weighted moving average (DM-MEWMA) chart is proposed to jointly monitor the parameters of a multivariate multistage auto-correlated (MMAP) process. While the process is assumed to work in a linear state-space form, two modified statistics are combined into a novel statistic to monitor the mean vector and the covariance matrix of the MMAP simultaneously. Besides, prior knowledge of variation propagation is used so that the chart has both a fault identification power and capability of working with the sample size of one. A statistical test shows that the two proposed statistics are independent of the process dimension. Monte Carlo... 

This technical note provides necessary and sufficient conditions to determine that a linear system with more than one matrix in its state-space representation can be decomposed into cascade or separate sub-systems. In order to perform such decomposition, one needs to determine a linear transformation matrix. Furthermore, the given conditions are adapted to a simple but effective condition to derive all possible scalar sub-systems for a given linear system. Numerical examples are provided to demonstrate the applicability of the presented results  

This paper reports the design of an optimal controller to prevent suppressvertical vibration due to undesired out of plane excitations generated by environment or gripper during manipulation for a CMOS-MEMS Nano-Newton capacitive force sensor applied for biomedical applications. Undesired out of plane excitations generated by environment or gripper during manipulation is the most prevalent source of vertical vibration in this type of sensors. To suppress the vibrational movement a PZT 5A is used as actuation mechanism. Discrete element method DEM model and Modal analysis were used to find dominant natural frequencies and mode shape vectors. To eliminate out of plane excitation an optimal... 

During this paper, a new simplified model is introduced for a neuron membrane, which is more or less, capable to mimic the dynamics of any specific physiological neuron membrane. This model is called Linear Oscillatory Neuron (LON) model, which is derived through special method of linearization applied to FitzHugh Nagumo[8] model in the neuron rest regime. As well, this linear model is terminated by a well known nonlinear system to achieve oscillatory and chaotic output, as it is observed in real neurons. Although some relatively exact models exist for special neurons, such as HH model [1,2] for giant axon of a squad (which is extracted through a Voltage clamp trial and curve fitting... 

A novel output feedback neural controller is presented in this paper for the implementation of sliding-mode control of dc/dc converters. The controller, which consists of a multilayer perceptron, has been trained in order to be robust for large variations of system parameters and state variables. Fast dynamic behavior is the other main advantage of the proposed controller, which allows realization of all beneficial features of the sliding-mode control technique. Other advantages of the controller are simplicity and low cost. Computer simulations have been carried out to investigate the effectiveness of the controller in voltage regulation for a relatively complex dc/dc converter topology of... 

Beside the major objective of providing congestion control, achieving predictable queuing delay, maximizing link utilization, and robustness are the main objectives of an active queue management (AQM) controller. This paper proposes an improved queue dynamic model while incorporating the packet drop probability as well. By applying the improved model, a new compensated PID AQM controller is developed for Transmission Control Protocol/Internet Protocol (TCP/IP) networks. The non-minimum phase characteristic caused by Padé approximation of the network delay restricts the direct application of control methods because of the unstable internal dynamics. In this paper, a parameter-varying dynamic... 

In this article, the dynamic responses of a Timoshenko beam subjected to a moving mass, and a moving sprung mass are analyzed. By making recourse to Hamilton's principle, governing differential equations for beam vibration are derived. By using the modal superposition method, the partial differential equations of the system are transformed into a set of Ordinary Differential Equations (ODEs). The resulted set of ODEs is represented in state-space form, and solved by means of a numerical technique. The accuracy of the results has been ascertained through comparing the results of our approach with those available from previous studies; moreover, a reasonable agreement has been obtained. The...