This paper proposes a structure exploiting algorithm for solving non-convex
power system state estimation problems in distributed fashion. Because the
power flow equations in large electrical grid networks are non-convex equality
constraints, we develop a tailored state estimator based on Augmented
Lagrangian Alternating Direction Inexact Newton (ALADIN) method, which can
handle the nonlinearities efficiently. Here, our focus is on using Gauss-Newton
Hessian approximations within ALADIN in order to arrive at at an efficient
(computationally and communicationally) variant of ALADIN for network maximum
likelihood estimation problems. Analyzing the IEEE 30-Bus system we illustrate
how the proposed algorithm can be used to solve highly non-trivial network
state estimation problems. We also compare the method with existing distributed
parameter estimation codes in order to illustrate its performance.

more |
pdf
| html
ComputerPapers:
Distributed State Estimation for AC Power Systems using Gauss-Newton ALADIN. https://t.co/fQZfMjpozO

None.

None.

Sample Sizes : None.

Authors: 5

Total Words: 5206

Unqiue Words: 1746

Stably inverting a dynamic system model is the foundation of numerous servo
designs. Existing inversion techniques have provided accurate model
approximations that are often highly effective in feedforward controls.
However, when the inverse is implemented in a feedback system, additional
considerations are needed for assuring causality, closed-loop stability, and
robustness. In pursuit of bridging the gap between the best model matching and
a robust feedback performance under closed-loop constraints, this paper
provides a modern review of frequency-domain model inversion techniques and a
new treatment of unstable zeros. We provide first a pole-zero-map-based
intuitive inverse tuning for motion control systems. Then for general
nonminimum-phase and unstable systems, we propose an optimal inversion
algorithm that can attain model accuracy at the frequency regions of interest
and meanwhile constrain noise amplification elsewhere to guarantee system
robustness. The design goals are achieved by a multi-objective H infinity
formulation...

more |
pdf
| html
None.

ComputerPapers:
An Optimal Stable Selective Model Inversion for Nonminimum-phase Systems. https://t.co/RC4a1wpeQc

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 6258

Unqiue Words: 1863

Principal submatrices of the controllability Gramian and their inverses are
examined, for a network-consensus model with inputs at a subset of network
nodes. Specifically, several properties of the Gramian submatrices and their
inverses -- including dominant eigenvalues and eigenvectors, diagonal entries,
and sign patterns -- are characterized by exploiting the special
doubly-nonnegative structure of the matrices. In addition, majorizations for
these properties are obtained in terms of cutsets in the network's graph, based
on the diffusive form of the model. The asymptotic (long time horizon)
structure of the controllability Gramian is also analyzed. The results on the
Gramian are used to study metrics for target control of the network-consensus
model.

more |
pdf
| html
ComputerPapers:
Controllability-Gramian Submatrices for a Network Consensus Model. https://t.co/8LQ85FS8dY

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 7473

Unqiue Words: 1849

This paper presents the design of an ecological adaptive cruise controller
(ECO-ACC) for a plug-in hybrid vehicle (PHEV) which exploits automated driving
and connectivity. Most existing papers for ECO-ACC focus on a short-sighted
control scheme. A two-level control framework for long-sighted ECO-ACC was only
recently introduced. However, that work is based on a deterministic traffic
signal phase and timing (SPaT) over the entire route. In practice, connectivity
with traffic lights may be limited by communication range, e.g. just one
upcoming traffic light. We propose a two-level receding-horizon control
framework for long-sighted ECO-ACC that exploits deterministic SPaT for the
upcoming traffic light, and utilizes historical SPaT for other traffic lights
within a receding control horizon. We also incorporate a powertrain control
mechanism to enhance PHEV energy prediction accuracy. Hardware-in-the-loop
simulation results validate the energy savings of the receding-horizon control
framework in various traffic scenarios.

more |
pdf
| html
ComputerPapers:
Real-time Ecological Velocity Planning for Plug-in Hybrid Vehicles with Partial Communication to Traffic Lights. https://t.co/KheE2GqqQ2

None.

None.

Sample Sizes : None.

Authors: 6

Total Words: 5563

Unqiue Words: 1803

In this work, we study the safety approach of synthesizing resilient
supervisors against actuator attacks, for cyber-physical systems that can be
modeled as discrete-event systems. A constraint based approach for the bounded
synthesis of resilient supervisors is developed. The supervisor obfuscation
problem, which is proposed in a specific setting of actuator attack, can be
naturally modeled and solved using the same approach.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 9133

Unqiue Words: 1697

Differential privacy has emerged as a formal framework for protecting
sensitive information in networked systems. One key feature is that it is
immune to post-processing, which means that arbitrary post-hoc computations can
be performed on privatized data without weakening differential privacy. It is
therefore common to filter private data streams. To characterize this setup, in
this paper we present error and entropy bounds for Kalman filtering
differentially private state trajectories generated by agents with linear
dynamics. We consider input perturbation privacy, in which privacy guarantees
are provided on an individual basis. We bound network-level a priori and a
posteriori error and entropy of a Kalman filter processing agents'
trajectories. Using the error bounds we develop, we further provide guidelines
to calibrate individuals' privacy levels in order to keep filter error within
pre-specified bounds. Simulation results are presented to demonstrate these
developments.

more |
pdf
| html
None.

ComputerPapers:
Error Bounds and Guidelines for Privacy Calibration in Differentially Private Kalman Filtering. https://t.co/PxHnVkWpN3

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 7295

Unqiue Words: 1792

The emergence of connected and automated vehicles (CAVs) provides an
unprecedented opportunity to capitalize on these technologies well beyond their
original designed intents. While abundant evidence has been accumulated showing
substantial fuel economy improvement benefits achieved through advanced
powertrain control, the implications of the CAV operation on power and thermal
management have not been fully investigated. In this paper, in order to explore
the opportunities for the coordination between the onboard thermal management
and the power split control, we present a sequential optimization solution for
eco-driving speed trajectory planning, air conditioning (A/C) thermal load
planning (eco-cooling), and powertrain control in hybrid electric CAVs to
evaluate the individual as well as the collective energy savings through
proactive usage of traffic data for vehicle speed prediction. Simulation
results over a real-world driving cycle show that compared to a baseline
non-CAV, 11.9%, 14.2%, and 18.8% energy savings can be...

more |
pdf
| html
None.

None.

Sample Sizes : None.

Authors: 6

Total Words: 6042

Unqiue Words: 1712

The purpose of this document is to collect and organize properties, tricks,
and applications related to linear matrix inequalities (LMIs) from a number of
references together in a single document. Proofs of the properties presented in
this document are not included when they can be found in the cited references
in the interest of brevity. Illustrative examples are included whenever
necessary to fully explain a certain property. Multiple equivalent forms of
LMIs are often presented to give the reader a choice of which form may be best
suited for a particular problem at hand. The equivalency of some of the LMIs in
this document may be straightforward to more experienced readers, but the
authors believe that some readers may benefit from the presentation of multiple
equivalent LMIs.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 36936

Unqiue Words: 3873

We present a new approach to verifying contraction and $L_2$-gain of
uncertain nonlinear systems, extending the well-known method of integral
quadratic constraints. The uncertain system consists of a feedback
interconnection of a nonlinear nominal system and uncertainties satisfying
differential integral quadratic constraints. A pointwise linear matrix
inequality condition is formulated to verify the closed-loop differential $ L_2
$ gain, which can lead to global reference-independent $ L_2 $ gain performance
of the nonlinear uncertain system. For a polynomial nominal system, the convex
verification conditions can be solved via sum-of-squares programming. A simple
computational example based on jet-engine surge with input delays illustrates
the approach.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 6446

Unqiue Words: 1758

We present Contingency Model Predictive Control (CMPC), a novel and
implementable control framework which tracks a desired path while
simultaneously maintaining a contingency plan -- an alternate trajectory to
avert an identified potential emergency. In this way, CMPC anticipates events
that might take place, instead of reacting when emergencies occur. We
accomplish this by adding an additional prediction horizon in parallel to the
classical receding MPC horizon. The contingency horizon is constrained to
maintain a feasible avoidance solution; as such, CMPC is selectively robust to
this emergency while tracking the desired path as closely as possible. After
defining the framework mathematically, we demonstrate its effectiveness
experimentally by comparing its performance to a state-of-the-art deterministic
MPC. The controllers drive an automated research platform through a left-hand
turn which may be covered by ice. Contingency MPC prepares for the potential
loss of friction by purposefully and intuitively deviating from the...

more |
pdf
| html
None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 4286

Unqiue Words: 1648

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 99,586 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible