A generic static analyzer for multithreaded Java programs

In this paper, we present heckmate , the first generic static analyzer of multithreaded Java programs based on abstract interpretation. heckmate can be tuned at different levels of precision and efficiency in order to prove various properties (e.g., absence of divisions by zero and data races), and it is sound for multithreaded programs. It supports all the most relevant features of Java multithreading, such as dynamic thread creation, runtime creation of monitors, and dynamic allocation of memory. The experimental results demonstrate that heckmate is accurate and efficient enough to analyze programs with some thousands of statements and a potentially infinite number of threads. Copyright © 2012 John Wiley & Sons, Ltd.     

Determinization and minimization of finite acyclic automata by incremental techniques

The determinization of a nondeterministic finite automaton (FA) is the process of generating a deterministic FA (DFA) equivalent to (sharing the same regular language of) . The minimization of is the process of generating the minimal DFA equivalent to . Classical algorithms for determinization and minimization are available in the literature for several decades. However, they operate monolithically, assuming that the FA to be either determinized or minimized is given once and for all. By contrast, we consider determinization and minimization in a dynamic context, where augments over time: after each augmentation, determinization and minimization of into is required. Using classical monolithic algorithms to solve this problem is bound to poor performance. An algorithm for incremental determinization and minimization of acyclic finite automata, called IDMA, is proposed. Despite being conceived within the narrow domain of model‐based diagnosis and monitoring of active systems, the algorithm is general‐purpose in nature. Experimental evidence indicates that IDMA is far more efficient than classical algorithms in solving incremental determinization and minimization problems. Copyright © 2015 John Wiley & Sons, Ltd.     

All‐in‐one implementation framework for binary heaps

Even a rough literature review reveals that there are many alternative ways of implementing a binary heap, the fundamental priority‐queue structure loved by us all. Which one of these alternatives is the best in practice? The opinions of crowd‐pullers and textbook authors are aligned: use an array. Of course, the correct answer is ‘it depends’. To get from opinions to facts, a framework—a set of class templates—was written that provides a variety of customization options so it could be used to realize a large part of the proposed variants. Also, some of the derived implementations were performance benchmarked. From this work, three conclusions can be drawn: (i) It is difficult to achieve space efficiency and speed at the same time. If n denotes the current number of values in the data structure, ? is a small positive real, ?  < 1, and denotes the size of the values of type in bytes, space efficiency means bytes of space, and speed means O (lgn ) worst‐case time per push and pop . (ii) If an array‐based solution is sufficient, Williams' original program from 1964 is still to this day hard to beat. (iii) Sometimes a linked structure and clever programming is a viable option. If the binary‐heap variant you need is not available at the software library you are using, reading this essay might save you some headaches. Copyright © 2016 John Wiley & Sons, Ltd.     

Controllability of Semilinear Systems of Parabolic Equations with Delay on the State

In this paper we prove the approximate controllability of the following semilinear system parabolic equations with delay on the state variable where Ω is a bounded domain in is a n × n non diagonal matrix whose eigenvalues are semi‐simple with non negative real part, the control u belongs to and B is a n × m matrix. Here τ≥0 is the maximum delay, which is supposed to be finite. We assume that the operator L:L²([?τ,0];Z)→Z is linear and bounded with and the nonlinear function f:[0,r] × IRⁿ×IR^m→IRⁿ is smooth and bounded.     

Best analytic approximation of rational functions of degree 2

Let G be a rational function of degree 2. Explicit formulae are given for the distance from G to H in the L^∞ norm, k = 0, 1, and for the unique ? ? H at which the distance is attained.     

state estimation with fading measurements,randomly varying nonlinearities and probabilistic distributed delays

In this paper, the state estimation problem is investigated for a class of discrete‐time stochastic systems in simultaneous presence of three network‐induced phenomena, namely, fading measurements, randomly varying nonlinearities and probabilistic distributed delays. The channel fading is characterized by the ?th‐order Rice fading model whose coefficients are mutually independent random variables with given probability density functions. Two sequences of random variables obeying the Bernoulli distribution are utilized to govern the randomly varying nonlinearities and probabilistic distributed delays. The purpose of the problem addressed is to design an state estimator such that the dynamics of the estimation errors is stochastically stable and the prespecified disturbance rejection attenuation level is guaranteed. Through intensive stochastic analysis, sufficient conditions are established under which the addressed state estimation problem is recast as a convex optimization one that can be solved via the semi‐definite program method. Finally, a simulation example is provided to show the usefulness of the proposed state estimation scheme. Copyright © 2014 John Wiley & Sons, Ltd.     

Spline Based Pseudo‐Inversion of Sampled Data Non‐Minimum Phase Systems for an Almost Exact Output Tracking

This paper considers the problem of achieving a very accurate tracking of a pre‐specified desired output trajectory , for linear, multiple input multiple output, non‐minimum phase and/or non hyperbolic, sampled data, and closed loop control systems. The proposed approach is situated in the general framework of model stable inversion and introduces significant novelties with the purpose of reducing some theoretical and numerical limitations inherent in the methods usually proposed. In particular, the new method does not require either a preactuation or null initial conditions of the system. The desired and the corresponding sought input are partitioned in a transient component ( and u_t(k), respectively) and steady‐state ( and u_s(k), respectively). The desired transient component is freely assigned without requiring it to be null over an initial time interval. This drastically reduces the total settling time. The structure of u_t(k) is a priori assumed to be given by a sampled smoothing spline function. The spline coefficients are determined as the least‐squares solution of the over‐determined system of linear equations obtained imposing that the sampled spline function assumed as reference input yield the desired output over a properly defined transient interval. The steady‐state input u_s(k) is directly analytically computed exploiting the steady‐state output response expressions for inputs belonging to the same set of .     

An application of a reflector for increase of the radiation efficiency of cellular telephone antennas

A reflector placed near a cellular telephone antenna is proposed to increase its radiation efficiency. In this study, a half wavelength dipole antenna at 900 MHz is treated as a cellular telephone model and a small plate reflector is placed between the antenna and a human head‐sized phantom model. By using the finite‐difference time‐domain (FDTD) method, various kinds of materials, such as a dielectric material, a magnetic material, and a conductive material, are investigated for the reflector composition. Among them, a magnetic reflector having high μ and low μ (complex relative permeability: μ−jμ) is shown to be effective for increasing the radiation efficiency. © 2000 John Wiley & Sons, Inc. Int J RF and Microwave CAE 10: 253–263, 2000.     

Full complexity analysis of the diameter‐constrained reliability

Let be a simple graph with nodes and links, a subset of “terminals,” a vector , and a positive integer d, called “diameter.” We assume that nodes are perfect but links fail stochastically and independently, with probabilities . The “diameter‐constrained reliability” (DCR) is the probability that the terminals of the resulting subgraph remain connected by paths composed of d links, or less. This number is denoted by . The general DCR computation belongs to the class of ‐hard problems, since it subsumes the problem of computing the probability that a random graph is connected. The contributions of this paper are twofold. First, a full analysis of the computational complexity of DCR subproblems is presented in terms of the number of terminal nodes and the diameter d. Second, we extend the class of graphs that accept efficient DCR computation. In this class, we include graphs with bounded co‐rank, graphs with bounded genus, planar graphs, and, in particular, Monma graphs, which are relevant to robust network design.     

Computational and structural analysis of the contour of graphs

Let be a finite, simple, and connected graph. The closed interval of a set is the set of all vertices lying on a shortest path between any pair of vertices of S. The set S is geodetic if . The eccentricity of a vertex v is the number of edges in the greatest shortest path between v and any vertex w of G. A vertex v is a contour vertex if no neighbor of v has eccentricity greater than v. The contour of G is the set formed by the contour vertices of G. We consider two problems: the problem of determining whether the contour of a graph class is geodetic; the problem of determining if there exists a graph such that is not geodetic. We obtain a sufficient condition that is useful for both problems; we prove a realization theorem related to problem and show two infinite families such that is not geodetic. Using computational tools, we establish the minimum graphs for which is not geodetic; and show that all graphs with , and all bipartite graphs with , are such that is geodetic.     

Enhancing Bayesian Estimators for Removing Camera Shake

The aim of removing camera shake is to estimate a sharp version x from a shaken image y when the blur kernel k is unknown. Recent research on this topic evolved through two paradigms called and . only solves for k by marginalizing the image prior, while recovers both x and k by selecting the mode of the posterior distribution. This paper first systematically analyses the latent limitations of these two estimators through Bayesian analysis. We explain the reason why it is so difficult for image statistics to solve the previously reported failure. Then we show that the leading methods, which depend on efficient prediction of large step edges, are not robust to natural images due to the diversity of edges. , although much more robust to diverse edges, is constrained by two factors: the prior variation over different images, and the ratio between image size and kernel size. To overcome these limitations, we introduce an inter‐scale prior prediction scheme and a principled mechanism for integrating the sharpening filter into . Both qualitative results and extensive quantitative comparisons demonstrate that our algorithm outperforms state‐of‐the‐art methods.     

Mixed control of hidden Markov jump systems

In this work, we study the mixed control for Markov jump linear systems with hidden Markov parameters. The hidden Markov process is denoted by , where the nonobservable component θ(k) represents the mode of operation of the system, whereas represents the observable component provided by a detector. The goal is to obtain design techniques for mixed control problems, with the controllers depending only on the estimate , for problems formulated in 3 different forms: (i) minimizing an upper bound on the norm subject to a given restriction on the norm; (ii) minimizing an upper bound on the norm, while limiting the norm; and (iii) minimizing a weighted combination of upper bounds of both the and norms. We propose also new conditions for synthesizing robust controllers under parametric uncertainty in the detector probabilities and in the transition probabilities. The so‐called cluster case for the mixed control problem is also analyzed under the detector approach. The results are illustrated by means of 2 numerical examples.     

Stability control and recurrent switching rules

Recently, it has been enlightened the interest of a class of switching rules with good properties, which are called eventually periodic: more precisely, it has been proven that a finite family of linear vector fields of can be stabilized by means of eventually periodic switching rules provided that it is asymptotically controllable and satisfies an additional finite time controllability condition. Unfortunately, simple examples point out that in general, eventually periodic switching rules are not robust with respect to state measurement errors. In this paper, we introduce a new type of switching rules with improved robustness properties, which are called recurrent switching rules. They are subject to the construction of a finite sequence of complete cones Γ₁, … ,Γ_H of . We shown that, if a stabilizing eventually periodic switching rule for is known, then Γ₁, … ,Γ_H can be constructed in such a way that is stabilized by any recurrent switching rule subject to Γ₁, … ,Γ_H. Copyright © 2012 John Wiley & Sons, Ltd.     

Another view on q‐rung orthopair fuzzy sets

In this paper, two new approaches have been presented to view q‐rung orthopair fuzzy sets. In the first approach, these can viewed as L‐fuzzy sets, whereas the second approach is based on the notion of orbits. Uncertainty index is the quantity , which remains constant for all points in an orbit. Certain operators can be defined in q‐ROF sets, which affect when applied to some q‐ROF sets. Operators , , and have been defined. It is studied that how these operators affect when applied to some q‐ROF set A.     

Investigation of higher order modes excitation through F‐shaped slot in rectangular dielectric resonator antenna for wideband circular polarization with broadside radiation characteristics

In this article, a wideband circularly polarized rectangular dielectric resonator antenna (RDRA) with broadside radiation characteristics has been proposed. By using modified ground plane having an F‐shaped slot, the proposed structure able to generates three sets of modes i.e., fundamental as well as higher order modes. To obtained circular polarization, an orthogonal mode (TE₁₁₃) in the RDRA has been generated by using the F‐shaped slot on the modified ground plane. The resonance frequency of fundamental mode (TE₁₁₁) in the rectangular dielectric resonator (DR) has been calculated by using dielectric waveguide model method. The same has been confirmed through E‐field distribution in RDRA. Here, wide axial ratio (AR) bandwidth of the proposed antenna is due to the generation of and modes. It is observed that input impedance bandwidth has been broadening with a pair of excited modes ( and modes) in the proposed antenna structure. All these modes have been excited and merged to form a wide input impedance bandwidth and wide AR bandwidth of the designed antenna. The proposed antenna shows measured input reflection coefficient (S₁₁ < ?10 dB) of 50.55% and measured AR bandwidth (AR < 3 dB) of 14.28%. The designed antenna shows left‐handed circular polarization in broadside direction and offering an average gain and radiation efficiency of 4.29 dBic and 92.22% respectively.     

Weighted control with ‐stability constraint for switched positive linear systems

This paper is concerned with the problem of control with ‐stability constraint for a class of switched positive linear systems. The ‐stability means that all the poles of each subsystem of the resultant closed‐loop system belong to a prescribed disk in the complex plane. A sufficient condition is derived for the existence of a set of state‐feedback controllers, which guarantees that the closed‐loop system is not only positive and exponentially stable with each subsystem ‐stable but also has a weighted performance for a class of switching signals with average dwell time greater than a certain positive constant. Both continuous‐time and discrete‐time cases are considered, and all of the obtained conditions are formulated in terms of linear matrix inequalities, whose solution also yields the desired controller gains and the corresponding minimal average dwell time. Numerical examples are given to illustrate the effectiveness of the presented approach.Copyright © 2012 John Wiley & Sons, Ltd.     

A new dual‐mode wideband circularly polarized rectangular dielectric resonator antenna coupled with stubs and asymmetric ground plane for WiMAX applications

In this article, a new radiating stub microstrip feed has been investigated with asymmetrical ground plane for generation of circular polarization (CP) in a dielectric resonator antenna (DRA). Here, asymmetrical ground plane and 3 radiating stubs with microstrip feed line are used for generation of 2 different modes namely TE_11δ and TE_12δ in rectangular DRA. By using mode matching concepts, these modes are responsible for enhancing the impedance bandwidth (TE_12δ ie, and ) and axial ratio (AR) bandwidth (TE_11δ ie, and ) in proposed antenna. Designed antenna offers measured input impedance bandwidth (|S₁₁| < ?10 dB) and AR bandwidth (AR < 3‐dB) of 44.78%, ranging from 4.6 to 6.9 GHz and 23.32%, ranging from 4.6 to 6.9 GHz, respectively. It has been observed that proposed antenna shows left‐handed CP fields in boresight direction with average gain of 3.15 dBic and radiation efficiency of 90.54%. Designed antenna is suitable for Wi‐MAX (3.3‐3.7 GHz) applications.     

Decentralized weighted control for a class of large‐scale systems with multi‐modes

In this paper, the control synthesis problem for a class of large‐scale systems with multi‐modes that are called large‐scale switched systems is addressed. By introducing the concept of decentralized switching signal and the relevant decentralized average dwell time, the asymptotic stability and weighted ?₂ gain performance are investigated. It should be noted that the decentralized switching covers general switching cases for large‐scale switched systems, namely, it admits both time‐dependent switching signal and arbitrary switching signal blended in the decentralized switching. Then, on the basis of the analysis results, the decentralized weighted control scheme including state feedback controller gains and switching signals is studied. Several design algorithms are proposed to meet different controller design problems. Finally, numerical examples are provided to illustrate theoretical findings within this paper. Copyright © 2013 John Wiley & Sons, Ltd.     

Distributed filtering and synchronization of diffusively state‐coupled heterogeneous systems

This paper studies distributed filtering‐based ssynchronization of diffusively state‐coupled heterogeneous systems. For given heterogeneous subsystems and a network topology, sufficient conditions for the filtering‐based synchronization are developed with a guaranteed performance. The estimation and synchronization error dynamics are obtained in a decoupled form, and it is shown that the filter and the controller can be designed separately by LMIs. The feasibility of the proposed design method using LMIs is discussed, and the main results are validated through examples with various setup. Copyright © 2016 John Wiley & Sons, Ltd.     

Dynamic output‐feedback control for continuous‐time singular Markovian jump systems

This paper considers a dynamic output‐feedback control for continuous‐time singular Markovian jump systems, whereas the existing research studies in literature focused on state‐feedback or static output‐feedback control. While they have only provided the sufficient conditions, this paper successfully obtains the necessary and sufficient condition for the existence of the dynamic output‐feedback control. Furthermore, this condition is expressed with linear matrix inequalities by the so‐called replacement technique. Two numerical examples show the validity of the resulting control.