8,539 research outputs found
Surface solitons in quasiperiodic nonlinear photonic lattices
We study discrete surface solitons in semi-infinite, one-dimensional,
nonlinear (Kerr), quasiperiodic waveguide arrays of the Fibonacci and
Aubry-Andr\'e types, and explore different families of localized surface modes,
as a function of optical power content (`nonlinearity') and quasiperiodic
strength (`disorder'). We find a strong asymmetry in the power content of the
mode as a function of the propagation constant, between the cases of focussing
and defocussing nonlinearity, in both models. We also examine the dynamical
evolution of a completely-localized initial excitation at the array surface. We
find that in general, for a given optical power, a smaller quasiperiodic
strength is required to effect localization at the surface than in the bulk.
Also, for fixed quasiperiodic strength, a smaller optical power is needed to
localize the excitation at the edge than inside the bulk.Comment: 8 pages, 7 figures, submitted for publicatio
Active Sampling-based Binary Verification of Dynamical Systems
Nonlinear, adaptive, or otherwise complex control techniques are increasingly
relied upon to ensure the safety of systems operating in uncertain
environments. However, the nonlinearity of the resulting closed-loop system
complicates verification that the system does in fact satisfy those
requirements at all possible operating conditions. While analytical proof-based
techniques and finite abstractions can be used to provably verify the
closed-loop system's response at different operating conditions, they often
produce conservative approximations due to restrictive assumptions and are
difficult to construct in many applications. In contrast, popular statistical
verification techniques relax the restrictions and instead rely upon
simulations to construct statistical or probabilistic guarantees. This work
presents a data-driven statistical verification procedure that instead
constructs statistical learning models from simulated training data to separate
the set of possible perturbations into "safe" and "unsafe" subsets. Binary
evaluations of closed-loop system requirement satisfaction at various
realizations of the uncertainties are obtained through temporal logic
robustness metrics, which are then used to construct predictive models of
requirement satisfaction over the full set of possible uncertainties. As the
accuracy of these predictive statistical models is inherently coupled to the
quality of the training data, an active learning algorithm selects additional
sample points in order to maximize the expected change in the data-driven model
and thus, indirectly, minimize the prediction error. Various case studies
demonstrate the closed-loop verification procedure and highlight improvements
in prediction error over both existing analytical and statistical verification
techniques.Comment: 23 page
Application of Laguerre based adaptive predictive control to Shape Memory Alloy (SMA) actuators
This paper discusses the use of an existing adaptive predictive controller to control some Shape Memory Alloy (SMA) linear actuators. The model consists in a truncated linear combination of Laguerre filters identified online. The controller stability is studied in details. It is proven that the tracking error is asymptotically stable under some conditions on the modelling error. Moreover, the tracking error converge toward zero for step references, even if the identified model is inaccurate. Experimentalcresults obtained on two different kind of actuator validate the proposed control. They also show that it is robust with regard to input constraints.ANR MAFESM
A geometric characterisation of persistently exciting signals generated by autonomous systems
The persistence of excitation of signals generated by time-invariant, continuous-time, autonomous linear and nonlinear systems is studied. The notion of persistence of excitation is characterised as a rank condition which is reminiscent of a geometric condition used to study the controllability properties of a control system. The notions and tools introduced are illustrated by means of simple examples and of an application in system identification
Prediction error identification of linear dynamic networks with rank-reduced noise
Dynamic networks are interconnected dynamic systems with measured node
signals and dynamic modules reflecting the links between the nodes. We address
the problem of \red{identifying a dynamic network with known topology, on the
basis of measured signals}, for the situation of additive process noise on the
node signals that is spatially correlated and that is allowed to have a
spectral density that is singular. A prediction error approach is followed in
which all node signals in the network are jointly predicted. The resulting
joint-direct identification method, generalizes the classical direct method for
closed-loop identification to handle situations of mutually correlated noise on
inputs and outputs. When applied to general dynamic networks with rank-reduced
noise, it appears that the natural identification criterion becomes a weighted
LS criterion that is subject to a constraint. This constrained criterion is
shown to lead to maximum likelihood estimates of the dynamic network and
therefore to minimum variance properties, reaching the Cramer-Rao lower bound
in the case of Gaussian noise.Comment: 17 pages, 5 figures, revision submitted for publication in
Automatica, 4 April 201
- …