17,071 research outputs found
Multi-Parametric Extremum Seeking-based Auto-Tuning for Robust Input-Output Linearization Control
We study in this paper the problem of iterative feedback gains tuning for a
class of nonlinear systems. We consider Input-Output linearizable nonlinear
systems with additive uncertainties. We first design a nominal Input-Output
linearization-based controller that ensures global uniform boundedness of the
output tracking error dynamics. Then, we complement the robust controller with
a model-free multi-parametric extremum seeking (MES) control to iteratively
auto-tune the feedback gains. We analyze the stability of the whole controller,
i.e. robust nonlinear controller plus model-free learning algorithm. We use
numerical tests to demonstrate the performance of this method on a mechatronics
example.Comment: To appear at the IEEE CDC 201
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties
This paper proposes a statistical verification framework using Gaussian
processes (GPs) for simulation-based verification of stochastic nonlinear
systems with parametric uncertainties. Given a small number of stochastic
simulations, the proposed framework constructs a GP regression model and
predicts the system's performance over the entire set of possible
uncertainties. Included in the framework is a new metric to estimate the
confidence in those predictions based on the variance of the GP's cumulative
distribution function. This variance-based metric forms the basis of active
sampling algorithms that aim to minimize prediction error through careful
selection of simulations. In three case studies, the new active sampling
algorithms demonstrate up to a 35% improvement in prediction error over other
approaches and are able to correctly identify regions with low prediction
confidence through the variance metric.Comment: 8 pages, submitted to ACC 201
Gaussian Process priors with uncertain inputs? Application to multiple-step ahead time series forecasting
We consider the problem of multi-step ahead prediction in time series analysis using the non-parametric Gaussian process model. k-step ahead forecasting of a discrete-time non-linear dynamic system can be performed by doing repeated one-step ahead predictions. For a state-space model of the form y t = f(Yt-1 ,..., Yt-L ), the prediction of y at time t + k is based on the point estimates of the previous outputs. In this paper, we show how, using an analytical Gaussian approximation, we can formally incorporate the uncertainty about intermediate regressor values, thus updating the uncertainty on the current prediction
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
Goals are first-class entities in a self-adaptive system (SAS) as they guide
the self-adaptation. A SAS often operates in dynamic and partially unknown
environments, which cause uncertainty that the SAS has to address to achieve
its goals. Moreover, besides the environment, other classes of uncertainty have
been identified. However, these various classes and their sources are not
systematically addressed by current approaches throughout the life cycle of the
SAS. In general, uncertainty typically makes the assurance provision of SAS
goals exclusively at design time not viable. This calls for an assurance
process that spans the whole life cycle of the SAS. In this work, we propose a
goal-oriented assurance process that supports taming different sources (within
different classes) of uncertainty from defining the goals at design time to
performing self-adaptation at runtime. Based on a goal model augmented with
uncertainty annotations, we automatically generate parametric symbolic formulae
with parameterized uncertainties at design time using symbolic model checking.
These formulae and the goal model guide the synthesis of adaptation policies by
engineers. At runtime, the generated formulae are evaluated to resolve the
uncertainty and to steer the self-adaptation using the policies. In this paper,
we focus on reliability and cost properties, for which we evaluate our approach
on the Body Sensor Network (BSN) implemented in OpenDaVINCI. The results of the
validation are promising and show that our approach is able to systematically
tame multiple classes of uncertainty, and that it is effective and efficient in
providing assurances for the goals of self-adaptive systems
Parameter Estimation of Sigmoid Superpositions: Dynamical System Approach
Superposition of sigmoid function over a finite time interval is shown to be
equivalent to the linear combination of the solutions of a linearly
parameterized system of logistic differential equations. Due to the linearity
with respect to the parameters of the system, it is possible to design an
effective procedure for parameter adjustment. Stability properties of this
procedure are analyzed. Strategies shown in earlier studies to facilitate
learning such as randomization of a learning sequence and adding specially
designed disturbances during the learning phase are requirements for
guaranteeing convergence in the learning scheme proposed.Comment: 30 pages, 7 figure
- …