We gratefully acknowledge support from
the Simons Foundation and member institutions.

Systems and Control

New submissions

[ total of 27 entries: 1-27 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 2 Jun 23

[1]  arXiv:2306.00157 [pdf]
Title: Virtual and Real Data Populated Intersection Visualization and Testing Tool for V2X Application Development
Subjects: Systems and Control (eess.SY)

The capability afforded by Vehicle-to-Vehicle communication improves situational awareness and provides advantages for many of the traffic problems caused by reduced visibility or No-Line-of-Sight situations, being useful for both autonomous and non-autonomous driving. Additionally, with the traffic light Signal Phase and Timing and Map Datainformation and other advisory information provided with Vehicle-to-Infrastructure (V2I) communication, outcomes which benefit the driver in the long run, such as reducing fuel consumption with speed regulation or decreasing traffic congestion through optimal speed advisories, providing red light violation warning messages and intersection motion assist messages for collision-free intersection maneuvering are all made possible. However, developing applications to obtain these benefits requires an intensive development process within a lengthy testing period. Understanding the intersection better is a large part of this development process. Being able to see what information is broadcasted and how this information translates into the real world would both benefit the development of these highly useful applications and also ensure faster evaluation, when presented visually, using an easy to use and interactive tool. Moreover, recordings of this broadcasted information can be modified and used for repeated testing. Modification of the data makes it flexible and allows us to use it for a variety of testing scenarios at a virtually populated intersection. Based on this premise, this paper presents and demonstrates visualization tools to project SPaT, MAP and Basic Safety Message information into easy to read real-world based graphs. Also, it provides information about the modification of the real-world data to allow creation of a virtually populated intersection, along with the capability to also inject virtual vehicles at this intersection.

[2]  arXiv:2306.00279 [pdf, other]
Title: Dynamic quantized consensus under DoS attacks: Towards a tight zooming-out factor
Subjects: Systems and Control (eess.SY); Multiagent Systems (cs.MA)

This paper deals with dynamic quantized consensus of dynamical agents in a general form under packet losses induced by Denial-of-Service (DoS) attacks. The communication channel has limited bandwidth and hence the transmitted signals over the network are subject to quantization. To deal with agent's output, an observer is implemented at each node. The state of the observer is quantized by a finite-level quantizer and then transmitted over the network. To solve the problem of quantizer overflow under malicious packet losses, a zooming-in and out dynamic quantization mechanism is designed. By the new quantized controller proposed in the paper, the zooming-out factor is lower bounded by the spectral radius of the agent's dynamic matrix. A sufficient condition of quantization range is provided under which the finite-level quantizer is free of overflow. A sufficient condition of tolerable DoS attacks for achieving consensus is also provided. At last, we study scalar dynamical agents as a special case and further tighten the zooming-out factor to a value smaller than the agent's dynamic parameter. Under such a zooming-out factor, it is possible to recover the level of tolerable DoS attacks to that of unquantized consensus, and the quantizer is free of overflow.

[3]  arXiv:2306.00372 [pdf, other]
Title: A Bi-level Decision Framework for Incentive-Based Demand Response in Distribution Systems
Comments: IEEE Transactions on Energy Markets, Policy and Regulation
Subjects: Systems and Control (eess.SY)

In a growing retail electricity market, demand response (DR) is becoming an integral part of the system to enhance economic and operational performances. This is rendered as incentive-based DR (IBDR) in the proposed study. It presents a bi-level decision framework under the ambit of multiple demand response providers (DRPs) in the retail competition. It is formulated as a multi-leader-multi-follower game, where multiple DRPs, as the DR stakeholders, are strategically interacting to optimize load serving entity cost at the upper level, and individual DRP as the aggregated customers is optimizing its cost at the lower level. The strategic behavior of DRPs is modeled in a game-theoretic framework using a generalized Stackelberg game. Further, the existence and uniqueness of the game are validated using variational inequalities. It is presented as a nonlinear problem to consider AC network constraints. An equilibrium problem with equilibrium constraints is used as a mathematical program to model the multi-leader-multi-follower, bi-level problem, which is simultaneously solved for all DRPs. The diagonalization method is employed to solve the problem. The detailed numerical analyses are conducted on IEEE 33-bus test and Indian-108 bus distribution systems to demonstrate the applicability and scalability of the proposed model and the suggested method.

[4]  arXiv:2306.00415 [pdf, ps, other]
Title: Mixed-Integer MPC Strategies for Fueling and Density Control in Fusion Tokamaks
Subjects: Systems and Control (eess.SY)

Model predictive control (MPC) is promising for fueling and core density feedback control in nuclear fusion tokamaks, where the primary actuators, frozen hydrogen fuel pellets fired into the plasma, are discrete. Previous density feedback control approaches have only approximated pellet injection as a continuous input due to the complexity that it introduces. In this letter, we model plasma density and pellet injection as a hybrid system and propose two MPC strategies for density control: mixed-integer (MI) MPC using a conventional mixed-integer programming (MIP) solver and MPC utilizing our novel modification of the penalty term homotopy (PTH) algorithm. By relaxing the integer requirements, the PTH algorithm transforms the MIP problem into a series of continuous optimization problems, reducing computational complexity. Our novel modification to the PTH algorithm ensures that it can handle path constraints, making it viable for constrained hybrid MPC in general. Both strategies perform well with regards to reference tracking without violating path constraints and satisfy the computation time limit for real-time control of the pellet injection system. However, the computation time of the PTH-based MPC strategy consistently outpaces the conventional MI-MPC strategy.

[5]  arXiv:2306.00619 [pdf, other]
Title: General SIS diffusion process with indirect spreading pathways on a hypergraph
Subjects: Systems and Control (eess.SY)

While conventional graphs only characterize pairwise interactions, higher-order networks (hypergraph, simplicial complex) capture multi-body interactions, which is a potentially more suitable modeling framework for a complex real system. However, the introduction of higher-order interactions brings new challenges for the rigorous analysis of such systems on a higher-order network. In this paper, we study a series of SIS-type diffusion processes with both indirect and direct pathways on a directed hypergraph. In a concrete case, the model we propose is based on a specific choice (polynomial) of interaction function (how several agents influence each other when they are in a hyperedge). Then, by the same choice of interaction function, we further extend the system and propose a bi-virus competing model on a directed hypergraph by coupling two single-virus models together. Finally, the most general model in this paper considers an abstract interaction function under single-virus and bi-virus settings. For the single-virus model, we provide the results regarding healthy state and endemic equilibrium. For the bi-virus setting, we further give an analysis of the existence and stability of the healthy state, dominant endemic equilibria, and coexisting equilibria. All theoretical results are finally supported by some numerical examples.

Cross-lists for Fri, 2 Jun 23

[6]  arXiv:2306.00148 (cross-list from cs.LG) [pdf, other]
Title: SafeDiffuser: Safe Planning with Diffusion Probabilistic Models
Comments: 19 pages, website: this https URL
Subjects: Machine Learning (cs.LG); Robotics (cs.RO); Systems and Control (eess.SY)

Diffusion model-based approaches have shown promise in data-driven planning, but there are no safety guarantees, thus making it hard to be applied for safety-critical applications. To address these challenges, we propose a new method, called SafeDiffuser, to ensure diffusion probabilistic models satisfy specifications by using a class of control barrier functions. The key idea of our approach is to embed the proposed finite-time diffusion invariance into the denoising diffusion procedure, which enables trustworthy diffusion data generation. Moreover, we demonstrate that our finite-time diffusion invariance method through generative models not only maintains generalization performance but also creates robustness in safe data generation. We test our method on a series of safe planning tasks, including maze path generation, legged robot locomotion, and 3D space manipulation, with results showing the advantages of robustness and guarantees over vanilla diffusion models.

[7]  arXiv:2306.00212 (cross-list from cs.LG) [pdf, ps, other]
Title: Provably Efficient Generalized Lagrangian Policy Optimization for Safe Multi-Agent Reinforcement Learning
Comments: 59 pages, a full version of the main paper in the 5th Annual Conference on Learning for Dynamics and Control
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Optimization and Control (math.OC)

We examine online safe multi-agent reinforcement learning using constrained Markov games in which agents compete by maximizing their expected total rewards under a constraint on expected total utilities. Our focus is confined to an episodic two-player zero-sum constrained Markov game with independent transition functions that are unknown to agents, adversarial reward functions, and stochastic utility functions. For such a Markov game, we employ an approach based on the occupancy measure to formulate it as an online constrained saddle-point problem with an explicit constraint. We extend the Lagrange multiplier method in constrained optimization to handle the constraint by creating a generalized Lagrangian with minimax decision primal variables and a dual variable. Next, we develop an upper confidence reinforcement learning algorithm to solve this Lagrangian problem while balancing exploration and exploitation. Our algorithm updates the minimax decision primal variables via online mirror descent and the dual variable via projected gradient step and we prove that it enjoys sublinear rate $ O((|X|+|Y|) L \sqrt{T(|A|+|B|)}))$ for both regret and constraint violation after playing $T$ episodes of the game. Here, $L$ is the horizon of each episode, $(|X|,|A|)$ and $(|Y|,|B|)$ are the state/action space sizes of the min-player and the max-player, respectively. To the best of our knowledge, we provide the first provably efficient online safe reinforcement learning algorithm in constrained Markov games.

[8]  arXiv:2306.00223 (cross-list from cs.RO) [pdf]
Title: Customized Co-Simulation Environment for Autonomous Driving Algorithm Development and Evaluation
Subjects: Robotics (cs.RO); Systems and Control (eess.SY)

Increasing the implemented SAE level of autonomy in road vehicles requires extensive simulations and verifications in a realistic simulation environment before proving ground and public road testing. The level of detail in the simulation environment helps ensure the safety of a real-world implementation and reduces algorithm development cost by allowing developers to complete most of the validation in the simulation environment. Considering sensors like camera, LIDAR, radar, and V2X used in autonomous vehicles, it is essential to create a simulation environment that can provide these sensor simulations as realistically as possible. While sensor simulations are of crucial importance for perception algorithm development, the simulation environment will be incomplete for the simulation of holistic AV operation without being complemented by a realistic vehicle dynamic model and traffic cosimulation. Therefore, this paper investigates existing simulation environments, identifies use case scenarios, and creates a cosimulation environment to satisfy the simulation requirements for autonomous driving function development using the Carla simulator based on the Unreal game engine for the environment, Sumo or Vissim for traffic co-simulation, Carsim or Matlab, Simulink for vehicle dynamics co-simulation and Autoware or the author or user routines for autonomous driving algorithm co-simulation. As a result of this work, a model-based vehicle dynamics simulation with realistic sensor simulation and traffic simulation is presented. A sensor fusion methodology is implemented in the created simulation environment as a use case scenario. The results of this work will be a valuable resource for researchers who need a comprehensive co-simulation environment to develop connected and autonomous driving algorithms.

[9]  arXiv:2306.00331 (cross-list from eess.AS) [pdf, other]
Title: A Multi-dimensional Deep Structured State Space Approach to Speech Enhancement Using Small-footprint Models
Comments: Accepted to Interspeech 2023. Code will be released at this https URL
Subjects: Audio and Speech Processing (eess.AS); Artificial Intelligence (cs.AI); Sound (cs.SD); Signal Processing (eess.SP); Systems and Control (eess.SY)

We propose a multi-dimensional structured state space (S4) approach to speech enhancement. To better capture the spectral dependencies across the frequency axis, we focus on modifying the multi-dimensional S4 layer with whitening transformation to build new small-footprint models that also achieve good performance. We explore several S4-based deep architectures in time (T) and time-frequency (TF) domains. The 2-D S4 layer can be considered a particular convolutional layer with an infinite receptive field although it utilizes fewer parameters than a conventional convolutional layer. Evaluated on the VoiceBank-DEMAND data set, when compared with the conventional U-net model based on convolutional layers, the proposed TF-domain S4-based model is 78.6% smaller in size, yet it still achieves competitive results with a PESQ score of 3.15 with data augmentation. By increasing the model size, we can even reach a PESQ score of 3.18.

[10]  arXiv:2306.00408 (cross-list from cs.CY) [pdf, other]
Title: Pursuing Equilibrium of Medical Resources via Data Empowerment in Parallel Healthcare System
Subjects: Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC); Systems and Control (eess.SY)

The imbalance between the supply and demand of healthcare resources is a global challenge, which is particularly severe in developing countries. Governments and academic communities have made various efforts to increase healthcare supply and improve resource allocation. However, these efforts often remain passive and inflexible. Alongside these issues, the emergence of the parallel healthcare system has the potential to solve these problems by unlocking the data value. The parallel healthcare system comprises Medicine-Oriented Operating Systems (MOOS), Medicine-Oriented Scenario Engineering (MOSE), and Medicine-Oriented Large Models (MOLMs), which could collect, circulate, and empower data. In this paper, we propose that achieving equilibrium in medical resource allocation is possible through parallel healthcare systems via data empowerment. The supply-demand relationship can be balanced in parallel healthcare systems by (1) increasing the supply provided by digital and robotic doctors in MOOS, (2) identifying individual and potential demands by proactive diagnosis and treatment in MOSE, and (3) improving supply-demand matching using large models in MOLMs. To illustrate the effectiveness of this approach, we present a case study optimizing resource allocation from the perspective of facility accessibility. Results demonstrate that the parallel healthcare system could result in up to 300% improvement in accessibility.

[11]  arXiv:2306.00565 (cross-list from math.OC) [pdf, other]
Title: Optimization Algorithm Synthesis based on Integral Quadratic Constraints: A Tutorial
Comments: A short version of this paper has been submitted to the CDC 2023
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

We expose in a tutorial fashion the mechanisms which underly the synthesis of optimization algorithms based on dynamic integral quadratic constraints. We reveal how these tools from robust control allow to design accelerated gradient descent algorithms with optimal guaranteed convergence rates by solving small-sized convex semi-definite programs. It is shown that this extends to the design of extremum controllers, with the goal to regulate the output of a general linear closed-loop system to the minimum of an objective function.
Numerical experiments illustrate that we can not only recover gradient decent and the triple momentum variant of Nesterov's accelerated first order algorithm, but also automatically synthesize optimal algorithms even if the gradient information is passed through non-trivial dynamics, such as time-delays.

[12]  arXiv:2306.00571 (cross-list from math.OC) [pdf, other]
Title: Robust Exponential Stability and Invariance Guarantees with General Dynamic O'Shea-Zames-Falb Multipliers
Comments: This paper will appear in the Proceedings of the IFAC World Congress 2023
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

We propose novel time-domain dynamic integral quadratic constraints with a terminal cost for exponentially weighted slope-restricted gradients of not necessarily convex functions. This extends recent results for subdifferentials of convex function and their link to so-called O'Shea-Zames-Falb multipliers. The benefit of merging time-domain and frequency-domain techniques is demonstrated for linear saturated systems.

[13]  arXiv:2306.00596 (cross-list from math.OC) [pdf, ps, other]
Title: Data-driven optimal control under safety constraints using sparse Koopman approximation
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

In this work we approach the dual optimal reach-safe control problem using sparse approximations of Koopman operator. Matrix approximation of Koopman operator needs to solve a least-squares (LS) problem in the lifted function space, which is computationally intractable for fine discretizations and high dimensions. The state transitional physical meaning of the Koopman operator leads to a sparse LS problem in this space. Leveraging this sparsity, we propose an efficient method to solve the sparse LS problem where we reduce the problem dimension dramatically by formulating the problem using only the non-zero elements in the approximation matrix with known sparsity pattern. The obtained matrix approximation of the operators is then used in a dual optimal reach-safe problem formulation where a linear program with sparse linear constraints naturally appears. We validate our proposed method on various dynamical systems and show that the computation time for operator approximation is greatly reduced with high precision in the solutions.

[14]  arXiv:2306.00629 (cross-list from cs.LG) [pdf, other]
Title: Identifiability and Generalizability in Constrained Inverse Reinforcement Learning
Comments: Published at ICML 2023
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Optimization and Control (math.OC)

Two main challenges in Reinforcement Learning (RL) are designing appropriate reward functions and ensuring the safety of the learned policy. To address these challenges, we present a theoretical framework for Inverse Reinforcement Learning (IRL) in constrained Markov decision processes. From a convex-analytic perspective, we extend prior results on reward identifiability and generalizability to both the constrained setting and a more general class of regularizations. In particular, we show that identifiability up to potential shaping (Cao et al., 2021) is a consequence of entropy regularization and may generally no longer hold for other regularizations or in the presence of safety constraints. We also show that to ensure generalizability to new transition laws and constraints, the true reward must be identified up to a constant. Additionally, we derive a finite sample guarantee for the suboptimality of the learned rewards, and validate our results in a gridworld environment.

[15]  arXiv:2306.00844 (cross-list from cs.AR) [pdf, other]
Title: A Novel Fault-Tolerant Logic Style with Self-Checking Capability
Comments: 6 pages, 3 tables, 5 figures
Subjects: Hardware Architecture (cs.AR); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)

We introduce a novel logic style with self-checking capability to enhance hardware reliability at logic level. The proposed logic cells have two-rail inputs/outputs, and the functionality for each rail of outputs enables construction of faulttolerant configurable circuits. The AND and OR gates consist of 8 transistors based on CNFET technology, while the proposed XOR gate benefits from both CNFET and low-power MGDI technologies in its transistor arrangement. To demonstrate the feasibility of our new logic gates, we used an AES S-box implementation as the use case. The extensive simulation results using HSPICE indicate that the case-study circuit using on proposed gates has superior speed and power consumption compared to other implementations with error-detection capability

Replacements for Fri, 2 Jun 23

[16]  arXiv:2206.13374 (replaced) [pdf, other]
Title: Stability Verification of Neural Network Controllers using Mixed-Integer Programming
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC)
[17]  arXiv:2211.16145 (replaced) [pdf, other]
Title: Lettuce modelling for growth control in precision agriculture
Comments: 8 pages, Submitted to ECC23
Subjects: Systems and Control (eess.SY)
[18]  arXiv:2212.04156 (replaced) [pdf, other]
Title: No driver, No Regulation? --Online Legal Driving Behavior Monitoring for Self-driving Vehicles
Comments: 22 pages, 11 figures
Subjects: Systems and Control (eess.SY)
[19]  arXiv:2212.04592 (replaced) [pdf, other]
Title: Time-Synchronized State Estimation Using Graph Neural Networks in Presence of Topology Changes
Comments: 6 pages, 2 figures
Subjects: Systems and Control (eess.SY)
[20]  arXiv:2304.06631 (replaced) [pdf, other]
Title: Modeling Cell Size Distribution with Heterogeneous Flux Balance Analysis
Comments: 6 pages, 1 figure, Accepted for publication in IEEE Control Systems Letters
Subjects: Systems and Control (eess.SY)
[21]  arXiv:2304.10702 (replaced) [pdf, other]
Title: Power Grid Behavioral Patterns and Risks of Generalization in Applied Machine Learning
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG)
[22]  arXiv:2205.08540 (replaced) [pdf]
Title: Bi-Phasic Quasistatic Brain Communication for Fully Untethered Connected Brain Implants
Comments: 22 pages
Subjects: Neurons and Cognition (q-bio.NC); Signal Processing (eess.SP); Systems and Control (eess.SY)
[23]  arXiv:2206.02970 (replaced) [pdf]
Title: Total controllability analysis discovers explainable drugs for Covid-19 treatment
Comments: Contact the corresponding authors for Supplemental File and Tables
Subjects: Molecular Networks (q-bio.MN); Systems and Control (eess.SY)
[24]  arXiv:2301.01233 (replaced) [pdf, other]
Title: Transferable Energy Storage Bidder
Subjects: Machine Learning (cs.LG); Systems and Control (eess.SY)
[25]  arXiv:2301.07773 (replaced) [pdf, other]
Title: Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets
Authors: Vince Kurtz, Hai Lin
Subjects: Robotics (cs.RO); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
[26]  arXiv:2302.09450 (replaced) [pdf, other]
Title: Robust and Versatile Bipedal Jumping Control through Reinforcement Learning
Comments: Accepted in Robotics: Science and Systems 2023 (RSS 2023). The accompanying video is at this https URL
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
[27]  arXiv:2304.11520 (replaced) [pdf, other]
Title: Exploring Challenges of Deploying BERT-based NLP Models in Resource-Constrained Embedded Devices
Subjects: Computation and Language (cs.CL); Systems and Control (eess.SY)
[ total of 27 entries: 1-27 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, eess, recent, 2306, contact, help  (Access key information)