Controlled invariant set and viability regulation of dynamical control
systems have played important roles in many control and coordination
applications. In this paper we develop a temporal viability regulation theory
for general dynamical control systems, and in particular for control affine
systems. The time-varying viable set is parameterized by time-varying
constraint functions, with the aim to regulate a dynamical control system to be
invariant in the time-varying viable set so that temporal state-dependent
constraints are enforced. We consider both time-varying equality and inequality
constraints in defining a temporal viable set. We also present sufficient
conditions for the existence of feasible control input for the control affine
systems. The developed temporal viability regulation theory is applied to
mobile vehicle coordination.

more |
pdf
| html
MathPaper:
Temporal viability regulation for control affine systems with applications to mobile vehicle coordination under time-varying motion constraints. https://t.co/S6XaHqyNpW

None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 5143

Unqiue Words: 1392

The growing integration of distributed energy resources (DERs) in urban
distribution grids raises various reliability issues due to DER's uncertain and
complex behaviors. With a large-scale DER penetration, traditional outage
detection methods, which rely on customers making phone calls and smart meters'
"last gasp" signals, will have limited performance, because the renewable
generators can supply powers after line outages and many urban grids are mesh
so line outages do not affect power supply. To address these drawbacks, we
propose a data-driven outage monitoring approach based on the stochastic time
series analysis from micro phasor measurement unit ($\mu$PMU). Specifically, we
prove via power flow analysis that the dependency of time-series voltage
measurements exhibits significant statistical changes after line outages. This
makes the theory on optimal change-point detection suitable to identify line
outages via $\mu$PMUs with fast and accurate sampling. However, existing change
point detection methods require post-outage...

more |
pdf
| html
Memoirs:
Fast Distribution Grid Line Outage Identification with $\mu$PMU. https://t.co/3VXCIfjuKv

arxivml:
"Fast Distribution Grid Line Outage Identification with $μ$PMU",
Yizheng Liao, Yang Weng, Chin-Woo Tan, Ram Rajagop…
https://t.co/wnkHgfpVYQ

None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 7606

Unqiue Words: 2067

STATCOMs is used widely in power systems these days. Traditionally, this
converter was controlled using a double-loop control or Direct Output Voltage
(DOV) controller. But DOV controller do not function properly during a
three-phase fault and has a lot of overshoot. Also, the number of PI
controllers used in double-loop control is high, which led to complexities when
adjusting the coefficients. Therefore, in this paper, an improved DOV method is
proposed which, in addition to a reduced number of PI controllers, has a higher
speed, lower overshoots and a higher stability in a wider range. By validating
the proposed DOV method for controlling the STATCOMs, it has been attempted to
improve the dynamical behaviors of induction motor using Matlab/Simulink, and
the results indicate a better performance of the proposed method as compared to
the other methods.

more |
pdf
| html
ComputerPapers:
Dynamic Behavior Control of Induction Motor with STATCOM. https://t.co/0c3ZF3X9ck

None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 3627

Unqiue Words: 1201

Impedance is an intuitive and efficient way for dynamic representation of
power electronics devices. One of the evident strengths, when compared to other
small-signal methods, is the natural association with circuit theory. This
makes them possible to be connected through basic circuit laws. However,
careful attention should be paid when making this association since the
impedances obtained through linearization are local variables, often referred
to locally defined reference frames. To allow the operations of these
impedances using basic circuit laws, a unified reference has to be defined.
Though this issue was properly addressed on the state-space models, a thorough
analysis and a clarification regarding the unified impedances and stability
effects are still missing. This paper aims to bridge this gap by introducing
the Impedance Operator (IO) and associated properties to the development of
impedance networks. First, the IO for both the AC coupled and AC/DC coupled
systems are presented and verified through impedance...

more |
pdf
| html
ComputerPapers:
Impedance Network of Interconnected Power Electronics Systems: Impedance Operator and Stability Criterion. https://t.co/VRzMAmpZ05

None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 8177

Unqiue Words: 1951

The synthetic toggle switch, first proposed by Gardner & Collins [1] is a
MIMO control system that can be controlled by varying the concentrations of two
inducer molecules, aTc and IPTG, to achieve a desired level of expression of
the two genes it comprises. It has been shown [2] that this can be accomplished
through an open-loop external control strategy where the two inputs are
selected as mutually exclusive periodic pulse waves of appropriate amplitude
and duty-cycle. In this paper, we use a recently derived average model of the
genetic toggle switch subject to these inputs to synthesize new feedback
control approaches that adjust the inputs duty-cycle in real-time via two
different possible strategies, a model based hybrid PI-PWM approach and a
so-called Zero-Average dynamics (ZAD) controller. The controllers are validated
in-silico via both deterministic and stochastic simulations (SSA) illustrating
the advantages and limitations of each strategy

more |
pdf
| html
ComputerPapers:
In-silico Feedback Control of a MIMO Synthetic Toggle Switch via Pulse-Width Modulation. https://t.co/xpHQSDLwJA

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 4880

Unqiue Words: 1457

We present robust dynamic resource allocation mechanisms to allocate
application resources meeting Service Level Objectives (SLOs) agreed between
cloud providers and customers. In fact, two filter-based robust controllers,
i.e. H-infinity filter and Maximum Correntropy Criterion Kalman filter
(MCC-KF), are proposed. The controllers are self-adaptive, with process noise
variances and covariances calculated using previous measurements within a time
window. In the allocation process, a bounded client mean response time (mRT) is
maintained. Both controllers are deployed and evaluated on an experimental
testbed hosting the RUBiS (Rice University Bidding System) auction benchmark
web site. The proposed controllers offer improved performance under abrupt
workload changes, shown via rigorous comparison with current state-of-the-art.
On our experimental setup, the Single-Input-Single-Output (SISO) controllers
can operate on the same server where the resource allocation is performed;
while Multi-Input-Multi-Output (MIMO) controllers are on...

more |
pdf
| html
None.

ComputerPapers:
Robust Dynamic CPU Resource Provisioning in Virtualized Servers. https://t.co/6upOL4gBz2

None.

None.

Sample Sizes : None.

Authors: 5

Total Words: 13190

Unqiue Words: 3061

Reach-avoid problems involve driving a system to a set of desirable
configurations while keeping it away from undesirable ones. Providing
mathematical guarantees for such scenarios is challenging but have numerous
potential practical applications. Due to the challenges, analysis of
reach-avoid problems involves making trade-offs between generality of system
dynamics, generality of problem setups, optimality of solutions, and
computational complexity. In this paper, we combine sum-of-squares optimization
and dynamic programming to address the reach-avoid problem, and provide a
conservative solution that maintains reaching and avoidance guarantees. Our
method is applicable to polynomial system dynamics and to general problem
setups, and is more computationally scalable than previous related methods.
Through a numerical example involving two single integrators, we validate our
proposed theory and compare our method to Hamilton-Jacobi reachability. Having
validated our theory, we demonstrate the computational scalability of our
method...

more |
pdf
| html
None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 7045

Unqiue Words: 1947

This paper deals with a class of Resistive-Inductive-Capacitive (RLC)
circuits and switched RLC (s-RLC) circuits modeled in Brayton Moser framework.
For this class of systems, new passivity properties using a Krasovskii's type
Lyapunov function as storage function are presented. Consequently, the
supply-rate is a function of the system states, inputs and their first
time-derivatives. Moreover, after showing the integrability property of the
port-variables, two simple control methodologies called output shaping and
input shaping are proposed for regulating the voltage in RLC and s-RLC
circuits. Global asymptotic convergence to the desired operating point is
theoretically proved for both proposed control methodologies. Moreover,
robustness with respect to load uncertainty is ensured by the input shaping
methodology. The applicability of the proposed methodologies is illustrated by
designing voltage controllers for DC-DC converters and DC networks.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 11428

Unqiue Words: 2251

It is well known that exact notions of model abstraction and reduction for
dynamical systems may not be robust enough in practice because they are highly
sensitive to the specific choice of parameters. In this paper we consider this
problem for nonlinear ordinary differential equations (ODEs) with polynomial
derivatives. We introduce approximate differential equivalence as a more
permissive variant of a recently developed exact counterpart, allowing ODE
variables to be related even when they are governed by nearby derivatives. We
develop algorithms to (i) compute the largest approximate differential
equivalence; (ii) construct an approximate quotient model from the original one
via an appropriate parameter perturbation; and (iii) provide a formal
certificate on the quality of the approximation as an error bound, computed as
an over-approximation of the reachable set of the perturbed model. Finally, we
apply approximate differential equivalences to study the effect of parametric
tolerances in models of symmetric electric circuits.

more |
pdf
| html
None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 7994

Unqiue Words: 2275

We consider resilient versions of discrete-time multi-agent consensus in the
presence of faulty or even malicious agents in the network. In particular, we
develop event-triggered update rules which can mitigate the influence of the
malicious agents and at the same time reduce the necessary communication. Each
regular agent updates its state based on a given rule using its neighbors'
information. Only when the triggering condition is satisfied, the regular
agents send their current states to their neighbors. Otherwise, the neighbors
will continue to use the state received the last time. Assuming that a bound on
the number of malicious nodes is known, we propose two update rules with
event-triggered communication. They follow the so-called mean subsequence
reduced (MSR) type algorithms and ignore values received from potentially
malicious neighbors. We provide full characterizations for the necessary
connectivity in the network for the algorithms to perform correctly, which are
stated in terms of the notion of graph robustness. A...

more |
pdf
| html
None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 9421

Unqiue Words: 1943

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

*Tracking 57,756 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible