LQG control policy design against agent identity privacy problem

This thesis project studies the agent identity privacy problem in the scalar linear quadratic Gaussian (LQG) control system. For the agent identity privacy problem in the LQG control, privacy models and privacy measures have to be established first. It depends on a trajectory of correlated data rather than a single observation. I propose here privacy models and the corresponding privacy measures by taking into account the two characteristics. The agent identity is a binary hypothesis: Agent A or Agent B. An eavesdropper is assumed to make a hypothesis testing on the agent identity based on the intercepted environment state sequence. The privacy risk is measured by the Kullback-Leibler divergence between the probability distributions of state sequences under two hypotheses. By taking into account both the accumulative control reward and privacy risk, an optimization problem of the policy of Agent B is formulated. The optimal deterministic privacy-preserving LQG policy of Agent B is a linear mapping. A sufficient condition is given to guarantee that the optimal deterministic privacy-preserving policy is time-invariant in the asymptotic regime. An independent Gaussian random variable cannot improve the performance of Agent B. The numerical experiments justify the theoretic results and illustrate the reward-privacy trade-off. Based on the privacy model and the LQG control model, I have formulated the mathematical problems for the agent identity privacy problem in LQG. The formulated problems address the two design objectives: to maximize the control reward and to minimize the privacy risk. I have conducted theoretic analysis on the LQG control policy in the agent identity privacy problem and the trade-off between the control reward and the privacy risk.Finally, the theoretic results are justified by numerical experiments. From the numerical results, I expected to have some interesting observations and insights, which are explained in the last chapter.

Spatial and temporal analysis of recent drought using vegetation temperature condition index: case of Somali regional state of Ethiopia

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Recent droughts and the impact of North Atlantic Oscillation in Iberia; a spatiotemporal analysis based on vegetation temperature condition Index (VTCI)

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Two necessary conditions for strategy-proofness: on what domains are they also sufficient?

A social choice function may or may not satisfy a desirable property depending on its domain of definition. For the same reason, different conditions may be equivalent for functions defined on some domains, while different in other cases. Understanding the role of domains is therefore a crucial issue in mechanism design. We illustrate this point by analyzing the role of different conditions that are always related, but not always equivalent to strategy-proofness. We define two very natural conditions that are necessary for strategy-proofness: monotonicity and reshuffling invariance. We remark that they are not always sufficient. Then, we identify a domain condition, called intertwinedness, that ensures the equivalence between our two conditions and that of strategy-proofness. We prove that some important domains are intertwined: those of single-peaked preferences, both with public and private goods, and also those arising in simple models of house allocation. We prove that other necessary conditions for strategy-proofness also become equivalent to ours when applied to functions defined on intertwined domains, even if they are not equivalent in general. We also study the relationship between our domain restrictions and others that appear in the literature, proving that we are indeed introducing a novel proposal.

The Influence of Body Condition on the Stopover Ecology of Least Sandpipers in the Lower Mississippi Alluvial Valley during Fall Migration

Many shorebirds are long-distance migrants and depend on the energy gained at stopover sites to complete migration. Competing hypotheses have described strategies used by migrating birds; the energy-selection hypothesis predicts that shorebirds attempt to maximize energy gained at stopover sites, whereas the time-selection hypothesis predicts that shorebirds attempt to minimize time spent at stopover sites. The energy- and time-selection hypotheses both predict that birds in better condition will depart sites sooner. However, numerous studies of stopover duration have found little support for this prediction, leading to the suggestion that migrating birds operate under energy and time constraints for only a small portion of the migratory season. During fall migration 2002, we tested the prediction that birds in better condition depart stopover sites sooner by examining the relationship between stopover duration and body condition for migrating Least Sandpipers (Calidris minutilla) at three stopover sites in the Lower Mississippi Alluvial Valley. We also tested the assumption made by the Lower Mississippi Alluvial Valley Migratory Bird Science Team that shorebirds stay in the Mississippi Valley for 10 d. The assumption of 10 d was used to estimate the amount of habitat required by shorebirds in the Mississippi Valley during fall migration; a period longer than 10 d would increase the estimate of the amount habitat required. We used multiple-day constancy models of apparent survival and program MARK to estimate stopover duration for 293 individually color-marked and resighted Least Sandpipers. We found that a four-day constancy interval and a site x quadratic time trend interaction term best modeled apparent survival. We found only weak support for body condition as a factor explaining length of stopover duration, which is consistent with findings from similar work. Stopover duration estimates were 4.1 d (95% CI = 2.8–6.1) for adult Least Sandpipers at Bald Knob National Wildlife Refuge, Arkansas, 6.5 d (95% CI = 4.9–8.7) for adult and 6.1 d (95% CI =4.2–9.1) for juvenile Least Sandpipers at Yazoo National Wildlife Refuge, Mississippi, and 6.9 d (95% CI = 5.5–8.7) for juvenile Least Sandpipers at Morgan Brake National Wildlife Refuge, Mississippi. Based on our estimates of stopover duration and the assumption made by the Lower Mississippi Alluvial Valley Migratory Bird Science Team, there is sufficient habitat in the lower Mississippi Valley to support shorebirds during fall migration.

Some necessary and sufficient conditions for eigenstructure assignment

Some necessary and sufficient conditions for closed-loop eigenstructure assignment by output feedback in time-invariant linear multivariable control systems are presented. A simple condition on a square matrix necessary and sufficient for it to be the closed-loop plant matrix of a given system with some output feedback is the basis of the paper. Some known results on entire eigenstructure assignment are deduced from this. The concept of an inner inverse of a matrix is employed to obtain a condition concerning the assignment of an eigenstructure consisting of the eigenvalues and a mixture of left and right eigenvectors.

On Approximate KKT Condition and its Extension to Continuous Variational Inequalities

In this work, we introduce a necessary sequential Approximate-Karush-Kuhn-Tucker (AKKT) condition for a point to be a solution of a continuous variational inequality, and we prove its relation with the Approximate Gradient Projection condition (AGP) of Garciga-Otero and Svaiter. We also prove that a slight variation of the AKKT condition is sufficient for a convex problem, either for variational inequalities or optimization. Sequential necessary conditions are more suitable to iterative methods than usual punctual conditions relying on constraint qualifications. The AKKT property holds at a solution independently of the fulfillment of a constraint qualification, but when a weak one holds, we can guarantee the validity of the KKT conditions.

SUFFICIENT CONDITIONS ON DIFFUSIVITY FOR THE EXISTENCE AND NONEXISTENCE OF STABLE EQUILIBRIA WITH NONLINEAR FLUX ON THE BOUNDARY

A reaction-diffusion equation with variable diffusivity and non-linear flux boundary condition is considered. The goal is to give sufficient conditions on the diffusivity function for nonexistence and also for existence of nonconstant stable stationary solutions. Applications are given for the main result of nonexistence.

Sufficient Conditions of Optimality for Control Pproblem Governed by Variational Inequalities

* This work was completed while the author was visiting the University of Limoges. Support from the laboratoire “Analyse non-linéaire et Optimisation” is gratefully acknowledged.

Notes on sufficient conditions for a graph to be Hamiltonian

The first part of this paper deals with an extension of Dirac's Theorem to directed graphs. It is related to a result often referred to as the Ghouila-Houri Theorem. Here we show that the requirement of being strongly connected in the hypothesis of the Ghouila-Houri Theorem is redundant. The Second part of the paper shows that a condition on the number of edges for a graph to be hamiltonian implies Ore's condition on the degrees of the vertices.

Epilepsies Associated With Hippocampal Sclerosis.

Hippocampal sclerosis (HS) is considered the most frequent neuropathological finding in patients with mesial temporal lobe epilepsy (MTLE). Hippocampal specimens of pharmacoresistant MTLE patients that underwent epilepsy surgery for seizure control reveal the characteristic pattern of segmental neuronal cell loss and concomitant astrogliosis. However, classification issues of hippocampal lesion patterns have been a matter of intense debate. International consensus classification has only recently provided significant progress for comparisons of neurosurgical and clinic-pathological series between different centers. The respective four-tiered classification system of the International League Against Epilepsy subdivides HS into three types and includes a term of gliosis only, no-HS. Future studies will be necessary to investigate whether each of these subtypes of HS may be related to different etiological factors or with postoperative memory and seizure outcome. Molecular studies have provided potential deeper insights into the pathogenesis of HS and MTLE on the basis of epilepsy-surgical hippocampal specimens and corresponding animal models. These include channelopathies, activation of NMDA receptors, and other conditions related to Ca(2+) influx into neurons, the imbalance of Ca(2+)-binding proteins, acquired channelopathies that increase neuronal excitability, paraneoplastic and non-paraneoplastic inflammatory events, and epigenetic regulation promoting or facilitating hippocampal epileptogenesis. Genetic predisposition for HS is clearly suggested by the high incidence of family history in patients with HS, and by familial MTLE with HS. So far, it is clear that HS is multifactorial and there is no individual pathogenic factor either necessary or sufficient to generate this intriguing histopathological condition. The obvious variety of pathogenetic combinations underlying HS may explain the multitude of clinical presentations, different responses to clinical and surgical treatment. We believe that the stratification of neuropathological patterns can help to characterize specific clinic-pathological entities and predict the postsurgical seizure control in an improved fashion.

Intercepting moving targets: does memory from practice in a specific condition of target displacement affect movement timing?

This investigation aimed at assessing the extent to which memory from practice in a specific condition of target displacement modulates temporal errors and movement timing of interceptive movements. We compared two groups practicing with certainty of future target velocity either in unchanged target velocity or in target velocity decrease. Following practice, both experimental groups were probed in the situations of unchanged target velocity and target velocity decrease either under the context of certainty or uncertainty about target velocity. Results from practice showed similar improvement of temporal accuracy between groups, revealing that target velocity decrease did not disturb temporal movement organization when fully predictable. Analysis of temporal errors in the probing trials indicated that both groups had higher timing accuracy in velocity decrease in comparison with unchanged velocity. Effect of practice was detected by increased temporal accuracy of the velocity decrease group in situations of decreased velocity; a trend consistent with the expected effect of practice was observed for temporal errors in the unchanged velocity group and in movement initiation at a descriptive level. An additional point of theoretical interest was the fast adaptation in both groups to a target velocity pattern different from that practiced. These points are discussed under the perspective of integration of vision and motor control by means of an internal forward model of external motion.

Number of options in a movement sequence affects learners' behavior in a self-controlled practice condition

Self controlling practice implies a process of decision making which suggests that the options in a self controlled practice condition could affect learners The number of task components with no fixed position in a movement sequence may affect the (Nay learners self control their practice A 200 cm coincident timing track with 90 light emitting diodes (LEDs)-the first and the last LEDs being the warning and the target lights respectively was set so that the apparent speed of the light along the track was 1 33 m/sec Participants were required to touch six sensors sequentially the last one coincidently with the lighting of the tar get light (timing task) Group 1 (n=55) had only one constraint and were instructed to touch the sensors in any order except for the last sensor which had to be the one positioned close to the target light Group 2 (n=53) had three constraints the first two and the last sensor to be touched Both groups practiced the task until timing error was less than 30 msec on three consecutive trials There were no statistically significant differences between groups in the number of trials needed to reach the performance criterion but (a) participants in Group 2 created fewer sequences corn pared to Group 1 and (b) were more likely to use the same sequence throughout the learning process The number of options for a movement sequence affected the way learners self-controlled their practice but had no effect on the amount of practice to reach criterion performance.

Expert system for the assessment of power transformer insulation condition based on type-2 fuzzy logic systems

An efficient expert system for the power transformer condition assessment is presented in this paper. Through the application of Duval`s triangle and the method of the gas ratios a first assessment of the transformer condition is obtained in the form of a dissolved gas analysis (DGA) diagnosis according IEC 60599. As a second step, a knowledge mining procedure is performed, by conducting surveys whose results are fed into a first Type-2 Fuzzy Logic System (T2-FLS), in order to initially evaluate the condition of the equipment taking only the results of dissolved gas analysis into account. The output of this first T2-FLS is used as the input of a second T2-FLS, which additionally weighs up the condition of the paper-oil system. The output of this last T2-FLS is given in terms of words easily understandable by the maintenance personnel. The proposed assessing methodology has been validated for several cases of transformers in service. (C) 2010 Elsevier Ltd. All rights reserved.

Effect of precracking method on K(Ic) results for medium-density polyethylene tested under cryogenic condition

The effect of different precracking methods on the results of linear elastic K(Ic) fracture toughness testing with medium-density polyethylene (MDPE) was investigated. Cryogenic conditions were imposed in order to obtain valid K(Ic) values from specimens of suitable size. Most conservative K(Ic) values were obtained by slow pressing a fresh razor blade at the notch root of the specimen. Due to the low deformation level imposed on the crack tip region, the slow pressing razor blade technique also produced less scatter in fracture toughness results. It has been shown that the slow stable crack growth preceding catastrophic brittle failure during K(Ic) tests in MOPE under cryogenic conditions should not be disregarded as it has relevant physical meaning and may affect the fracture toughness results. (C) 2010 Elsevier Ltd. All rights reserved.