State feedback control of continuous-time T-S fuzzy systems via switched fuzzy controllers

This paper studies the problem of state feedback control of continuous-time T-S fuzzy systems. Switched fuzzy controllers are exploited in the control design, which are switched based on the values of membership functions, and the control scheme is an extension of the parallel distributed compensation (PDC) scheme. Sufficient conditions for designing switched state feedback controllers are obtained with meeting an H_∞ norm bound requirement and quadratic D stability constraints. It is shown that the new control design method provides less conservative results than the corresponding ones via the parallel distributed compensation (PDC) scheme. A numerical example is given to illustrate the effectiveness of the proposed method.     

Controllability of fractional evolution nonlocal impulsive quasilinear delay integro-differential systems

In this work, the controllability result of a class of fractional evolution nonlocal impulsive quasilinear delay integro-differential systems in a Banach space has been established by using the theory of fractional calculus, fixed point technique and also we introduced a new concept called (α,u)-resolvent family. As an application that illustrates the abstract results, an example is given.     

Systems engineering principles for the design of biomedical signal processing systems

Systems engineering aims to produce reliable systems which function according to specification. In this paper we follow a systems engineering approach to design a biomedical signal processing system. We discuss requirements capturing, specification definition, implementation and testing of a classification system. These steps are executed as formal as possible. The requirements, which motivate the system design, are based on diabetes research. The main requirement for the classification system is to be a reliable component of a machine which controls diabetes. Reliability is very important, because uncontrolled diabetes may lead to hyperglycaemia (raised blood sugar) and over a period of time may cause serious damage to many of the body systems, especially the nerves and blood vessels. In a second step, these requirements are refined into a formal CSP‖ B model. The formal model expresses the system functionality in a clear and semantically strong way. Subsequently, the proven system model was translated into an implementation. This implementation was tested with use cases and failure cases.Formal modeling and automated model checking gave us deep insight in the system functionality. This insight enabled us to create a reliable and trustworthy implementation. With extensive tests we established trust in the reliability of the implementation.     

Guaranteed robustness bounds for matched-disturbance nonlinear systems

This paper considers input affine nonlinear systems with matched disturbances and shows how to compute an a priori upper bound of the H_∞ attenuation level achieved by the optimal L₂ controller and the suboptimal H_∞ central controller. The case where the disturbance contains a constant term is also discussed. These bounds are shown to depend only on the function mapping the control input to the performance variable. This result is used to derive a robust control design for a special, but practically important, class of non-input affine nonlinear systems consisting of the series connection of a nonlinear state and input dependent map and of a nonlinear input affine dynamical system. Approximate inversion of the nonlinear static map leads to a robust control problem which fits into the framework. The effectiveness of the theoretical results is shown by its use for the robust control design of a diesel engine test bench.     

Cubic structures applied to ideals of BCI-algebras

The notions of cubic a-ideals and cubic p-ideals are introduced, and several related properties are investigated. Characterizations of a cubic a-ideal are established. Relations between cubic p-ideals, cubic a-ideals and cubic q-ideals are discussed. The cubic extension property of a cubic a-ideal is discussed.     

Design of linear time-invariant controllers for multirate systems

In this paper we discuss a frequency domain approach to model multirate single-input single-output (SISO) systems which facilitates design of linear time-invariant (LTI) controllers operating at the fast rate. To illustrate the approach we consider a dual-rate system with slow output measurements and fast control actions. We obtain necessary and sufficient conditions for the existence of stabilizing linear time-invariant (LTI) controllers for which model matching is also achieved at the fast rate with a desired single-rate system. Moreover, a solution to the problem of parameterizing the set of such LTI controllers is also given.     

Makespan minimization on single batch-processing machine via ant colony optimization

This paper investigates the problem of minimizing makespan on a single batch-processing machine, and the machine can process multiple jobs simultaneously. Each job is characterized by release time, processing time, and job size. We established a mixed integer programming model and proposed a valid lower bound for this problem. By introducing a definition of waste and idle space (WIS), this problem is proven to be equivalent to minimizing the WIS for the schedule. Since the problem is NP-hard, we proposed a heuristic and an ant colony optimization (ACO) algorithm based on the theorems presented. A candidate list strategy and a new method to construct heuristic information were introduced for the ACO approach to achieve a satisfactory solution in a reasonable computational time. Through extensive computational experiments, appropriate ACO parameter values were chosen and the effectiveness of the proposed algorithms was evaluated by solution quality and run time. The results showed that the ACO algorithm combined with the candidate list was more robust and consistently outperformed genetic algorithm (GA), CPLEX, and the other two heuristics, especially for large job instances.     

Channel assignment via fast zeta transform

We show an O^?(n(?+1))-time algorithm for the channel assignment problem, where ? is the maximum edge weight. This improves on the previous O^?(n(?+2))-time algorithm by Král (2005) [1], as well as algorithms for important special cases, like L(2,1)-labeling. For the latter problem, our algorithm works in O^?(n³) time. The progress is achieved by applying the fast zeta transform in combination with the inclusion-exclusion principle.     

Filter design for LPV systems using quadratically parameter-dependent Lyapunov functions

This paper considers design problems of robust gain-scheduled H_∞ and H₂ filters for linear parameter-varying (LPV) systems whose state-space matrices are represented as parametrically affine matrices, using quadratically parameter-dependent Lyapunov functions, and proposes methods of filter design via parametrically affine linear matrix inequalities (LMIs). For robust filters, our design methods theoretically encompass those that use constant Lyapunov functions. Several numerical examples are included that demonstrate the effectiveness of gain-scheduled and robust filters using our proposed methods compared with robust filters using existing methods.     

Exponential stability of singular systems with multiple time-varying delays

This paper deals with the class of continuous-time singular linear systems with multiple time-varying delays in a range. The global exponential stability problem of this class of systems is addressed. Delay-range-dependent sufficient conditions such that the system is regular, impulse-free and α-stable are developed in the linear matrix inequality (LMI) setting. Moreover, an estimate of the convergence rate of such stable systems is presented. A numerical example is employed to show the usefulness of the proposed results.     

Some new sequence spaces derived by the domain of the triple band matrix

Let λ denote any of the classical spaces ?_∞,c,c₀, and ?_p of bounded, convergent, null, and absolutely p-summable sequences, respectively, and let λ(B) also be the domain of the triple band matrix B(r,s,t) in the sequence space λ, where 1<p<∞. The present paper is devoted to studying the sequence space λ(B). Furthermore, the β- and γ-duals of the space λ(B) are determined, the Schauder bases for the spaces c(B), c₀(B), and ?_p(B) are given, and some topological properties of the spaces c₀(B), ?₁(B), and ?_p(B) are examined. Finally, the classes (λ₁(B):λ₂) and (λ₁(B):λ₂(B)) of infinite matrices are characterized, where λ₁∈{?_∞,c,c₀,?_p,?₁} and λ₂∈{?_∞,c,c₀,?₁}.     

On a new class of analytic functions associated with conic domain

The aim of this paper is to generalize the conic domain defined by Kanas and Wisniowska, and define the class of functions which map the open unit disk E onto this generalized conic domain. A brief comparison between these conic domains is the main motivation of this paper. A correction is made in selecting the range interval of order of conic domain.     

The solitary solution of the Liouville equation produced by the Exp-function method does not hold for all initial conditions

In this paper we argue that the solitary solution of the Liouville equation produced by the Exp-function method does not satisfy the original differential equation for all initial conditions. Moreover, the region where the solution is correct is located entirely on a curve in the parameter plane of initial conditions. We derive the explicit equation for this curve and argue that classical Exp-function type methods cannot identify such constraints related to initial conditions.     

Hierarchical trajectory refinement for a class of nonlinear systems

Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. The approach is based on the recent notion of φ-related control systems. Given a control affine system satisfying certain assumptions, we construct a φ-related control system of smaller dimension. Trajectories designed for the smaller, abstracted system are guaranteed, by construction, to be feasible for the original system. Constructive procedures are provided for refining trajectories from the coarser to the more detailed system.     

Vague soft hemirings

Xu et al. introduced the concept of vague soft sets, which is an extension to the soft set and the vague set. In this paper, we apply the concept of vague soft sets to hemiring theory. The notion of (∈,∈∨q)-vague (soft) left h-ideals of a hemiring is introduced and some related properties are investigated.     

Sample-weighted clustering methods

Although there have been many researches on cluster analysis considering feature (or variable) weights, little effort has been made regarding sample weights in clustering. In practice, not every sample in a data set has the same importance in cluster analysis. Therefore, it is interesting to obtain the proper sample weights for clustering a data set. In this paper, we consider a probability distribution over a data set to represent its sample weights. We then apply the maximum entropy principle to automatically compute these sample weights for clustering. Such method can generate the sample-weighted versions of most clustering algorithms, such as k-means, fuzzy c-means (FCM) and expectation & maximization (EM), etc. The proposed sample-weighted clustering algorithms will be robust for data sets with noise and outliers. Furthermore, we also analyze the convergence properties of the proposed algorithms. This study also uses some numerical data and real data sets for demonstration and comparison. Experimental results and comparisons actually demonstrate that the proposed sample-weighted clustering algorithms are effective and robust clustering methods.     

Some new fixed point theorems of generalized nonlinear contractive multivalued maps in complete metric spaces

In this paper, we present some new fixed point theorems for generalized nonlinear contractive multivalued maps and these results generalize or improve the corresponding recent fixed point results in the literature.     

Dissipative analysis and control of state-space symmetric systems

The paper addresses the problem of analysis and static output feedback control synthesis for strict quadratic dissipativity of linear time-invariant systems with state-space symmetry. As a particular case of dissipative systems, we consider the mixed H_∞ and positive real performance criterion and we develop an explicit expression for calculating the H_∞ norm of these systems. Subsequently, an explicit parametrization of the static output feedback control gains that solve the mixed H_∞ and positive real performance problem is obtained. Numerical examples demonstrate the use and computational advantages of the proposed explicit solutions.     

On coefficient inequalities of functions associated with conic domains

In this paper, the concepts of Janowski functions and the conic regions are combined to define a new domain which represents the conic type regions. Different views of this modified conic domain for specific values are shown graphically for better understanding of the behavior of this domain. The class of such functions which map the open unit disk E onto this modified conic domain is defined. Also the classes of k-uniformly Janowski convex and k-Janowski starlike functions are defined and their coefficient inequalities are formulated. The coefficient bound for a certain class of analytic functions, proved by Owa et al. (2006) in [16], has also been improved.