Top 10 Arxiv Papers Today in Systems And Control


2.013 Mikeys
#1. Temporal viability regulation for control affine systems with applications to mobile vehicle coordination under time-varying motion constraints
Marcus Greiff, Zhiyong Sun, Anders Robertsson, Rolf Johansson
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
Figures
Tweets
MathPaper: Temporal viability regulation for control affine systems with applications to mobile vehicle coordination under time-varying motion constraints. https://t.co/S6XaHqyNpW
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 5143
Unqiue Words: 1392

2.012 Mikeys
#2. Fast Distribution Grid Line Outage Identification with $μ$PMU
Yizheng Liao, Yang Weng, Chin-Woo Tan, Ram Rajagopal
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
Figures
Tweets
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 7606
Unqiue Words: 2067

2.004 Mikeys
#3. Dynamic Behavior Control of Induction Motor with STATCOM
Majid Dehghani, Peyman Karimyan, Mehradad Abedi, Hadis Karimipour
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
Figures
Tweets
ComputerPapers: Dynamic Behavior Control of Induction Motor with STATCOM. https://t.co/0c3ZF3X9ck
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 3627
Unqiue Words: 1201

2.004 Mikeys
#4. Impedance Network of Interconnected Power Electronics Systems: Impedance Operator and Stability Criterion
Chen Zhang, Marta Molinas, Atle Rygg, Xu Cai
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
Figures
Tweets
ComputerPapers: Impedance Network of Interconnected Power Electronics Systems: Impedance Operator and Stability Criterion. https://t.co/VRzMAmpZ05
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 8177
Unqiue Words: 1951

2.004 Mikeys
#5. In-silico Feedback Control of a MIMO Synthetic Toggle Switch via Pulse-Width Modulation
Agostino Guarino, Davide Fiore, Mario di Bernardo
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
Figures
Tweets
ComputerPapers: In-silico Feedback Control of a MIMO Synthetic Toggle Switch via Pulse-Width Modulation. https://t.co/xpHQSDLwJA
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 4880
Unqiue Words: 1457

2.0 Mikeys
#6. Robust Dynamic CPU Resource Provisioning in Virtualized Servers
Evagoras Makridis, Kyriakos Deliparaschos, Evangelia Kalyvianaki, Argyrios Zolotas, Themistoklis Charalambous
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
Figures
None.
Tweets
ComputerPapers: Robust Dynamic CPU Resource Provisioning in Virtualized Servers. https://t.co/6upOL4gBz2
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 5
Total Words: 13190
Unqiue Words: 3061

0.0 Mikeys
#7. Reach-Avoid Problems via Sum-of-Squares Optimization and Dynamic Programming
Benoit Landry, Mo Chen, Scott Hemley, Marco Pavone
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
Figures
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 7045
Unqiue Words: 1947

0.0 Mikeys
#8. Differentiation and Passivity for Control of Brayton-Moser Systems
Krishna Chaitanya Kosaraju, Michele Cucuzzella, Ramkrishna Pasumarthy, Jacquelien M. A. Scherpen
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
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 11428
Unqiue Words: 2251

0.0 Mikeys
#9. Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
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
Figures
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 7994
Unqiue Words: 2275

0.0 Mikeys
#10. Resilient Consensus Through Asynchronous Event-based Communication
Yuan Wang, Hideaki Ishii
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
Figures
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 9421
Unqiue Words: 1943

About

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.

Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Categories
All
Astrophysics
Cosmology and Nongalactic Astrophysics
Earth and Planetary Astrophysics
Astrophysics of Galaxies
High Energy Astrophysical Phenomena
Instrumentation and Methods for Astrophysics
Solar and Stellar Astrophysics
Condensed Matter
Disordered Systems and Neural Networks
Mesoscale and Nanoscale Physics
Materials Science
Other Condensed Matter
Quantum Gases
Soft Condensed Matter
Statistical Mechanics
Strongly Correlated Electrons
Superconductivity
Computer Science
Artificial Intelligence
Hardware Architecture
Computational Complexity
Computational Engineering, Finance, and Science
Computational Geometry
Computation and Language
Cryptography and Security
Computer Vision and Pattern Recognition
Computers and Society
Databases
Distributed, Parallel, and Cluster Computing
Digital Libraries
Discrete Mathematics
Data Structures and Algorithms
Emerging Technologies
Formal Languages and Automata Theory
General Literature
Graphics
Computer Science and Game Theory
Human-Computer Interaction
Information Retrieval
Information Theory
Machine Learning
Logic in Computer Science
Multiagent Systems
Multimedia
Mathematical Software
Numerical Analysis
Neural and Evolutionary Computing
Networking and Internet Architecture
Other Computer Science
Operating Systems
Performance
Programming Languages
Robotics
Symbolic Computation
Sound
Software Engineering
Social and Information Networks
Systems and Control
Economics
Econometrics
General Economics
Theoretical Economics
Electrical Engineering and Systems Science
Audio and Speech Processing
Image and Video Processing
Signal Processing
General Relativity and Quantum Cosmology
General Relativity and Quantum Cosmology
High Energy Physics - Experiment
High Energy Physics - Experiment
High Energy Physics - Lattice
High Energy Physics - Lattice
High Energy Physics - Phenomenology
High Energy Physics - Phenomenology
High Energy Physics - Theory
High Energy Physics - Theory
Mathematics
Commutative Algebra
Algebraic Geometry
Analysis of PDEs
Algebraic Topology
Classical Analysis and ODEs
Combinatorics
Category Theory
Complex Variables
Differential Geometry
Dynamical Systems
Functional Analysis
General Mathematics
General Topology
Group Theory
Geometric Topology
History and Overview
Information Theory
K-Theory and Homology
Logic
Metric Geometry
Mathematical Physics
Numerical Analysis
Number Theory
Operator Algebras
Optimization and Control
Probability
Quantum Algebra
Rings and Algebras
Representation Theory
Symplectic Geometry
Spectral Theory
Statistics Theory
Mathematical Physics
Mathematical Physics
Nonlinear Sciences
Adaptation and Self-Organizing Systems
Chaotic Dynamics
Cellular Automata and Lattice Gases
Pattern Formation and Solitons
Exactly Solvable and Integrable Systems
Nuclear Experiment
Nuclear Experiment
Nuclear Theory
Nuclear Theory
Physics
Accelerator Physics
Atmospheric and Oceanic Physics
Applied Physics
Atomic and Molecular Clusters
Atomic Physics
Biological Physics
Chemical Physics
Classical Physics
Computational Physics
Data Analysis, Statistics and Probability
Physics Education
Fluid Dynamics
General Physics
Geophysics
History and Philosophy of Physics
Instrumentation and Detectors
Medical Physics
Optics
Plasma Physics
Popular Physics
Physics and Society
Space Physics
Quantitative Biology
Biomolecules
Cell Behavior
Genomics
Molecular Networks
Neurons and Cognition
Other Quantitative Biology
Populations and Evolution
Quantitative Methods
Subcellular Processes
Tissues and Organs
Quantitative Finance
Computational Finance
Economics
General Finance
Mathematical Finance
Portfolio Management
Pricing of Securities
Risk Management
Statistical Finance
Trading and Market Microstructure
Quantum Physics
Quantum Physics
Statistics
Applications
Computation
Methodology
Machine Learning
Other Statistics
Statistics Theory
Feedback
Online
Stats
Tracking 57,756 papers.