Stochastic problems in <Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> and <Emphasis Type="Italic">H</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> control

We consider stochastic control systems subjected simultaneously to stochastic and determinate perturbations. Stochastic perturbations are assumed to be state-multiplicative stochastic processes, while determinate perturbations can be any processes with finite energy on infinite time interval. The results of the determinate H _∞-theory are compared to their stochastic analogs. The determinate and stochastic theories are linked together by the lemma that establishes the equivalence between the stability and boundness of the ‖L‖_∞ < γ norm of the perturbation operator L, from one side, and the solvability of certain linear matrix inequalities (LMIs), from the other side. As soon as the stochastic version of the lemma is proven, the γ-controller analysis and design problems are solved, in general, identically in the frame of the united LMI methodology.     

Finite-time <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>−<Emphasis Type="Italic">L</Emphasis><Subscript>∞</Subscript> filtering for nonlinear stochastic systems based on a novel stochastic finite-time stability theorem

This paper presents a novel stochastic finite-time stability theorem and gives its application in the finite-time L ₂?L _∞ filter design for nonlinear stochastic systems. Different form the frequently-used stochastic finite-time stability result, the proposed one does not require that all the states have the same fractional order exponent. Based on this result, a sufficient condition is given for nonlinear stochastic systems to possess the finite-time L ₂?L _∞ performance with a prescribed gain. Further, an existence condition of the finite-time L ₂?L _∞ filter with a prescribed disturbance attenuation level is given for nonlinear stochastic systems with external disturbance inputs. The effectiveness of the obtained results is illustrated by an example.     

<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> DOF control of stochastic systems with time-varying delay and <Emphasis Type="Italic">L</Emphasis><Subscript>∞</Subscript> disturbance

This paper considers the problem of H _∞ dynamic output feedback (DOF) control for a class of stochastic systems with time-varying delay and L _∞ disturbance. A new delay-dependent sufficient condition for the existence of the DOF controller is derived and the controller design method is given in the form of bilinear matrix inequalities (BMIs). Moreover, a variable step size path-following algorithm is proposed to solve the BMI problem. Numerical examples are given to illustrate the effectiveness of the proposed methods.     

Mixed <Emphasis Type="Italic">H</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> control for linear infinite-dimensional systems

In this paper, we consider mixed H ₂/H _∞ control problems for linear infinite-dimensional systems. The first part considers the state feedback control for the H ₂/H _∞ control problems of linear infinite-dimensional systems. The cost horizon can be infinite or finite time. The solutions of the H ₂/H _∞ control problem for linear infinitedimensional systems are presented in terms of the solutions of the coupled operator Riccati equations and coupled differential operator Riccati equations. The second part addresses the observer-based H ₂/H _∞ control of linear infinite-dimensional systems with infinite horizon and finite horizon costs. The solutions for the observer-based H ₂/H _∞ control problem of linear infinite-dimensional systems are represented in terms of the solutions of coupled operator Riccati equations. The first-order partial differential system examples are presented for illustration. In particular, for these examples, the Riccati equations are represented in terms of the coefficients of first-order partial differential systems.     

Design of optimal and robust control with <Emphasis Type="Italic">H</Emphasis> <Subscript>∞</Subscript>/<Emphasis Type="Italic">γ</Emphasis> <Subscript>0</Subscript> performance criterion

For a double-input single-output system, this paper defines a disturbance attenuation level (called H_∞/γ₀ norm) as the maximum-value L₂ norm of the output under an unknown disturbance with a bounded L₂ norm supplied to the first input and an impulsive disturbance in the form of the product of an unknown vector and the delta function supplied the second input, where the squared L₂ norm of the former disturbance plus the quadratic form of the impulsive disturbance vector does not exceed 1. Weight matrix choice in the H_∞/γ₀ norm yields a trade-off between the attenuation level of the L₂ disturbance and the attenuation level of the impulsive disturbance in corresponding channels. For the uncertain systems with dynamic or parametric uncertainty in the feedback loop, a robust H_∞/γ₀ norm is introduced that includes the robust H_∞ and γ₀ norms as special cases. All these characteristics or their upper bounds in the uncertain system are expressed via solutions of linear matrix inequalities. This gives a uniform approach for designing optimal and robust control laws with the H_∞/γ₀, H_∞ and γ₀ performance criteria.     

Mixed <Emphasis Type="Italic">H</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> filtering for a class of high-speed sampling uncertain systems

The problem of mixed H2/H∞ filtering for polytopic Delta operator systems is investigated. The aim is to design a linear asymptotically stable filter which guarantees that the filtering error system has different performances in different filtering channels. Based on a parameter-dependent Lyapunov function, a new mixed H2/H∞ performance criterion is presented. Upon this performance criterion, a sufficient condition for the full-order mixed H2/H∞ filter is derived in terms of linear matrix inequalities. The filter can be obtained from the solution of a convex optimization problem. The proposed filter design procedure is less conservative than the strategy based on the quadratic stability notion. A numerical example is given to illustrate the feasibility of the proposed approach.     

Mixed <Emphasis Type="Italic">H</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> control for a class of nonlinear networked control systems

In this paper, the mixed H ₂/H _∞ control problem is investigated for a class of nonlinear discrete-time networked control systems with random network-induced delays, stochastic packet dropouts and probabilistic sensor faults. The packet dropouts process is modeled as a homogeneous Markov chains taking values in a finite state space. Network-induced delays occur in a random way with known upper bound. A set of stochastic variables are exploited to describe sensor faults with different probabilistic density functions. By using a delay-dependent Lyapunov functional, a mode-dependent mixed H ₂/H _∞ controller is designed to guarantee both stochastic stability of the closed-loop system and the prescribed H2, H¥ control performances. Sufficient conditions for the existence of the mixed H ₂/H _∞ controller are presented in terms of a series of LMIs. If these LMIs are feasible, then the modedependent mixed H ₂/H _∞ controller can be obtained. A numerical example is given to demonstrate the effectiveness of the developed method.     

Scalar Field Cosmology in <Emphasis Type="Italic">f</Emphasis>(<Emphasis Type="Italic">R</Emphasis>,<Emphasis Type="Italic">T</Emphasis>) Gravity with Λ

We study the behavior of cosmological parameters, massive and massless scalar fields (normal or phantom) with a scalar potential in f(R, T) theory of gravity for a flat Friedmann-Robertson-Walker (FRW) universe. To get exact solutions to the modified field equations, we use the f(R, T) = R + 2f(T) model by Harko et al. (T. Harko et al., Phys. Rev. D 84, 024020 (2011)), where R is the Ricci scalar and T is the trace of the energy momentum tensor. Our cosmological parameter solutions agree with the recent observational data. Finally, we discuss our results with various graphics.     

(<Emphasis Type="Italic">α</Emphasis>, <Emphasis Type="Italic">k</Emphasis>)-anonymous data publishing

Privacy preservation is an important issue in the release of data for mining purposes. The k-anonymity model has been introduced for protecting individual identification. Recent studies show that a more sophisticated model is necessary to protect the association of individuals to sensitive information. In this paper, we propose an (α, k)-anonymity model to protect both identifications and relationships to sensitive information in data. We discuss the properties of (α, k)-anonymity model. We prove that the optimal (α, k)-anonymity problem is NP-hard. We first present an optimal global-recoding method for the (α, k)-anonymity problem. Next we propose two scalable local-recoding algorithms which are both more scalable and result in less data distortion. The effectiveness and efficiency are shown by experiments. We also describe how the model can be extended to more general cases.     

Simultaneous <Emphasis Type="Italic">H</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> stabilization for chemical reaction systems based on orthogonal complement space

This paper presents a simultaneous H₂/H_∞ stabilization problem for the chemical reaction systems which can be modeled as a finite collection of subsystems. A single dynamic output feedback controller which simultaneously stabilizes the multiple subsystems and captures the mixed H₂/H_∞ control performance is designed. To ensure that the stability condition, the H₂ characterization and the H_∞ characterization can be enforced within a unified matrix inequality framework, a novel technique based on orthogonal complement space is developed. Within such a framework, the controller gain is parameterized by the introduction of a common free positive definite matrix, which is independent of the multiple Lyapunov matrices. An iterative linear matrix inequality (ILMI) algorithm using Matlab Yalmip toolbox is established to deal with the proposed framework. Simulation results of a typical chemical reaction system are exploited to show the validity of the proposed methodology.     

Adaptive Finite Element Simulation of the Time-dependent Simplified <Emphasis Type="Italic">P</Emphasis><Subscript><Emphasis Type="Italic">N</Emphasis></Subscript> Equations

The steady-state simplified P _N approximation to the radiative transfer equation has been successfully applied to many problems involving radiation. Recently, time-dependent simplified P _N equations have been derived by an asymptotic analysis similar to the asymptotic derivation of the steady-state SP _N equations (Frank et al. in J. Comput. Phys. 226:2289–2305, 2007). In this paper, we present computational results for the time-dependent SP _N equations in two dimensions, obtained by using an adaptive finite element approach. Several numerical comparisons with other existing models are shown.     

The (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>, <Emphasis Type="Italic">r</Emphasis>, <Emphasis Type="Italic">l</Emphasis>) model for stochastic demand under Intuitionistic fuzzy aggregation with Bonferroni mean

This paper investigates a hill type economic production-inventory quantity (EPIQ) model with variable lead-time, order size and reorder point for uncertain demand. The average expected cost function is formulated by trading off costs of lead-time, inventory, lost sale and partial backordering. Due to the nature of the demand function, the frequent peak (maximum) and valley (minimum) of the expected cost function occur within a specific range of lead time. The aim of this paper is to search the lowest valley of all the valley points (minimum objective values) under fuzzy stochastic demand rate. We consider Intuitionistic fuzzy sets for the parameters and used Intuitionistic Fuzzy Aggregation Bonferroni mean for the defuzzification of the hill type EPIQ model. Finally, numerical examples and graphical illustrations are made to justify the model.     

All-Pairs Shortest Paths with Real Weights in <Emphasis Type="Italic">O</Emphasis>(<Emphasis Type="Italic">n</Emphasis><Superscript>3</Superscript>/log <Emphasis Type="Italic">n</Emphasis>) Time

We describe an O(n ³/log n)-time algorithm for the all-pairs-shortest-paths problem for a real-weighted directed graph with n vertices. This slightly improves a series of previous, slightly subcubic algorithms by Fredman (SIAM J. Comput. 5:49–60, 1976), Takaoka (Inform. Process. Lett. 43:195–199, 1992), Dobosiewicz (Int. J. Comput. Math. 32:49–60, 1990), Han (Inform. Process. Lett. 91:245–250, 2004), Takaoka (Proc. 10th Int. Conf. Comput. Comb., Lect. Notes Comput. Sci., vol. 3106, pp. 278–289, Springer, 2004), and Zwick (Proc. 15th Int. Sympos. Algorithms and Computation, Lect. Notes Comput. Sci., vol. 3341, pp. 921–932, Springer, 2004). The new algorithm is surprisingly simple and different from previous ones. A preliminary version of this paper appeared in Proc. 9th Workshop Algorithms Data Struct. (WADS), Lect. Notes Comput. Sci., vol. 3608, pp. 318–324, Springer, 2005.     

Small deviations for two classes of Gaussian stationary processes and <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-functionals, 0 < <Emphasis Type="Italic">p</Emphasis> ≤ ∞

Let w(t) be a standard Wiener process, w(0) = 0, and let η _a (t) = w(t + a) − w(t), t ≥ 0, be increments of the Wiener process, a > 0. Let Z _a (t), t ∈ [0, 2a], be a zeromean Gaussian stationary a.s. continuous process with a covariance function of the form E Z _a (t)Z _a (s) = 1/2[a − |t − s|], t, s ∈ [0, 2a]. For 0 < p < ∞, we prove results on sharp asymptotics as ɛ → 0 of the probabilities

A Nash Game Approach to Mixed <Emphasis Type="Italic">H</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> Model Predictive Control: Part 3 – Output Feedback Case

In this paper, the state-feedback Nash game based mixed H₂/H_∞ design^{[1, 2]} has been extended for output feedback case. The algorithm is applied to control bioreactor system with a Laguerre-Wavelet Network (LWN)^{[3, 4]} model of the bioreactor. This is achieved by using the LWN model as a deviation model and by successively linearising the deviation model along the state trajectory. For reducing the approximation error and to improve the controller performance, symbolic derivation algorithm, viz., automatic differentiation is employed. A cautionary note is also given on the fragility of the output feedback mixed H₂/H_∞ model predictive controller^{[4, 5]} due to its sensitivity to its own parametric changes.     

A two-phase <Emphasis Type="Italic">GI</Emphasis>/<Emphasis Type="Italic">PH</Emphasis>/1 → ·/<Emphasis Type="Italic">PH</Emphasis>/1/0 system with losses

We find a stationary distribution and productivity characteristics for a two-phase queueing system with recurrent input flow. The servicing units are single-line on both phases. The servicing times have phase-type distributions. On the first phase, there is an infinite buffer. There is no intermediate buffer. In case the second phase device is busy at the time a claim has finished going through the first phase, this claim leaves the system unserved (is lost).     

<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> digital redesign for LTI systems

The so-called digital redesign (DR) is a sampled-data (SD) controller design method where an analogue controller is designed firstly, and then transformed to an approximately equivalent digital controller in the sense of state-matching. In this approach, the SD controller is designed by reducing the discrepancy between the discrete-time (DT) counterpart of the closed-loop SD control system and the continuous-time (CT) closed-loop system. In this paper, we develop a DR strategy for CT linear time-invariant systems. More specifically, H _∞ norm of the error dynamic system between the CT and DT plants is minimized for the optimal state-matching performance at every sampling point. The design problem is formulated as linear matrix inequalities which can be efficiently solved by using convex optimization techniques. Finally, an example is given to illustrate the effectiveness of the proposed method.     

Equivalence between Closed Connected <Emphasis Type="Italic">n</Emphasis>-<Emphasis Type="Italic">G</Emphasis>-Maps without Multi-Incidence and <Emphasis Type="Italic">n</Emphasis>-Surfaces

Many combinatorial structures have been designed to represent the topology of space subdivisions and images. We focus here on two particular models, namely the n-G-maps used in geometric modeling and computational geometry and the n-surfaces used in discrete imagery. We show that a subclass of n-G-maps is equivalent to n-surfaces. To achieve this, we provide several characterizations of n-surfaces. Finally, the proofs being constructive, we show how to switch from one representation to another effectively.

FIR-type robust <Emphasis Type="Italic">H</Emphasis><Subscript>2</Subscript> and <Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> control of discrete linear time-invariant polytopic systems via memory state-feedback control laws

In this paper, robust H ₂ and H _∞ control problems for discrete linear time-invariant (LTI) systems with polytopic uncertainties are addressed. The so-called finite impulse response (FIR) controller incorporating the states over several samples from the past to the present is adopted to design robust control laws with improved performances. For the closed-loop stability, parameter-dependent quadratic Lyapunov functions (PD-QLFs) are employed. Sufficient controller synthesis conditions are derived in the form of linear matrix inequalities (LMIs). Finally, examples are given to demonstrate the usefulness of the proposed methods.     

What Is Context <Emphasis Type="Italic">For</Emphasis>? <Emphasis Type="Italic">Syntax in a Non-Abstract World</Emphasis>

An explanation for the uncertain progress of formalist linguistics is sought in an examination of the concept of syntax. The idea of analyzing language formally was made possible by developments in 20th century logic. It has been pointed out by many that the analogy between natural language and a formal system may be imperfect, but the objection made here is that the very concept of syntax, when applied to any non-abstract system of communication, is flawed as it is commonly used. Syntax is properly defined with respect to an individual transformation rule that might be applied to some message. Collections of syntax rules, however, are inevitably due to categories imposed by an observer, and do not correspond to functional features found in non-abstract systems. As such, these categories should not be relied upon as aids to understanding any natural system.