Decisions are often based on the results of quantitative analysis. To gain confidence in these results, some indication of their quality is needed. Measurement uncertainty, as proposed by the International Organization for Standardization (ISO), is a way to express this quality. Most measurement techniques compare references and therefore need to be calibrated. Usually least squares methods ign...

Passivity and dissipativity are energy based properties of dynamical systems that may be used for the analysis and synthesis of linear and nonlinear systems. The two properties provide valuable stability results as well as compositional results for the analysis of interconnected systems. Using both the stability and compositionality results, large scale systems can be determined to be stable by...

We give a lower bound of Ω̃( √ n) for the degree-4 Sum-of-Squares SDP relaxation for the planted clique problem. Specifically, we show that on an Erdös-Rényi graph G(n, 1 2 ), with high probability there is a feasible point for the degree-4 SOS relaxation of the clique problem with an objective value of Ω̃( √ n), so that the program cannot distinguish between a random graph and a random graph wit...

This paper deals with the class of polynomially uncertain continuous-time linear time-invariant (LTI) systems whose uncertainties belong to a semi-algebraic set. The objective is to determine the minimum of the smallest singular value of the controllability or observability Gramian over the uncertainty region. This provides a quantitative measure for the robust controllability or observability ...

Template abstract domains allow to express more interesting properties than classical abstract domains. However, template generation is a challenging problem when one uses template abstract domains for program analysis. In this paper, we relate template generation with the program properties that we want to prove. We focus on one-loop programs with nested conditional branches. We formally defin...

A control analysis and design framework is proposed for systems subject to parametric uncertainty. The underlying strategies are based on sum-of-squares (SOS) polynomial analysis and nonlinear optimization to design an optimally robust controller. The approach determines a maximum uncertainty range for which the closed-loop system satisfies a set of stability and performance requirements. These...

In a recent note [8], the author provides a counterexample to the global convergence of what his work refers to as “the DSOS and SDSOS hierarchies” for polynomial optimization problems (POPs) and purports that this refutes claims in our extended abstract [4] and slides in [3]. The goal of this paper is to clarify that neither [4], nor [3], and certainly not our full paper [5], ever defined DSOS...

While conventional approaches to diagnostics focus on detecting and identifying situations or behaviors which have previously been known to occur or can be anticipated, anomaly detection focuses on detecting and quantifying deviations away from learned “normal” behavior. A new anomaly detection scheme based on Growing Structure Multiple Model System(GSMMS) is utilized in this paper to detect an...

This paper studies factors that have influences on durations of syllables in Mandarin. Six factors are investigated by comparing means of duration in different categories in the preparatory study. The vector space is reduced from 299250 to 1000 by removing factors that do not cause significant changes in means and merging levels in each factor that have similar means. In order to remove influen...

With large-scale wind farms connected to AC/DC network, the transient stability assessment (TSA) of power system becomes more and difficult. Among them, estimating region attraction (ROA) equilibrium point is a traditional but still challenging problem. Based on Lyapunov theory, this paper proposes new approach obtain enlarged estimation ROA. The optimization updating strategy shape function in...