Sequential function charts are a popular formalism to specify programmable logic controllers. However, in the absence of the controlled system, verification of sequential function charts can only consider the controller’s behavior, but cannot tell anything about the controlled system. In this paper we propose an extension of the language to additionally model the continuous dynamics of the cont...

A class of rectangular hybrid systems is presented whose reach set is computable. The class is speciied in terms of a controllability condition. That condition can be veriied.

This paper proposes a hybrid control scheme for the synchronization of two chaotic Duffing oscillator system, subject to uncertainties and external disturbances. The novelty of this scheme is that the Linear Quadratic Regulation (LQR) control, Sliding Mode (SM) control and Gaussian Radial basis Function Neural Network (GRBFNN) control are combined to chaos synchronization with respect to extern...

In this paper we present a robust hybrid motion/force controller for rigid robot manipulators. The main contribution of this paper is that the proposed hybrid control system is able to accomplish motion objectives in free directions and force objectives in constrained directions under parametric uncertainty both in robot dynamics and stiffness constraint constant. Also, the given scheme is prov...

This paper proposes a hybrid method to find cumulative distribution function (CDF) of completion time of GERT-type networks (GTN) which have no loop and have only exclusive-or nodes. Proposed method is cre-ated by combining an analytical transformation with Gaussian quadrature formula. Also the combined crude Monte Carlo simulation and combined conditional Monte Carlo simulation are developed a...

In this paper, stability for uncertain time variant linear systems with time delay is studied. A new sufficient condition for delay-dependent systems is given in matrix inequality form which depends on the range of delay. Then, we introduce a new direct computational method to solve delay systems. This method consists of reducing the delay problem to a set of algebraic equations by first expand...

In this paper the behaviour of a multiobjective cooperativecoevolutive hybrid algorithm for the optimization of the parameters defining a Radial Basis Function Network developed by our group, is analyzed. In order to demonstrate the robustness of the behaviour of the presented methodology when the parameters of the algorithm are modified, a statistical analysis has been carried out. In the pres...

In this paper, the silicon-containing sulfonated polystyrene/acrylate–ionic liquid (Si-SPS/A–IL)hybrid membranes was prepared to obtain the proton exchange membrane (PEM) materials withhigh methanol barrier and good selectivity. The Si-SPS/A–IL hybrid membranes characterized asthe function of IL to evaluate their potential as PEMs in direct methanol fuel cells (DMFCs).Fourdifferent Hybrid mater...