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

Systems and Control

New submissions

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

New submissions for Tue, 28 Mar 23

[1]  arXiv:2303.14390 [pdf, ps, other]
Title: Aggregated (Bi-)Simulation of Finite Valued Networks
Subjects: Systems and Control (eess.SY)

The paper provides a method to approximate a large-scale finite-valued network by a smaller model called the aggregated simulation, which is a combination of aggregation and (bi-)simulation. First, the algebraic state space representation (ASSR) of a transition system is presented. Under output equivalence, the quotient system is obtained, which is called the simulation of the original transition system. The ASSR of the quotient system is obtained. The aggregated (bi-)simulation is execueted in several steps: a large scale finite-valued network is firstly aggregated into several blocks, each of which is considered as a network where the in-degree nodes and out-degree nodes are considered as the block inputs and block outputs respectively. Then the dynamics of each block is converted into its quotient system, called its simulation. Then the overall network can be approximated by the quotient systems of each blocks, which is called the aggregated simulation. If the simulation of a block is a bi-simulation, the approximation becomes a lossless transformation. Otherwise, the quotient system is only a (non-deterministic) transition system, and it can be replaced by a probabilistic networks. Aggregated simulation can reduce the dimension of the original network, while a tradeoff between computation complexity and approximation error need to be decided.

[2]  arXiv:2303.14392 [pdf, other]
Title: On improved commutation for moving-magnet planar actuators
Comments: 6 pages, 8 figures, submission for IEEE CDC 2023
Subjects: Systems and Control (eess.SY)

The demand for high-precision and high-throughput motion control systems has increased significantly in recent years. The use of moving-magnet planar actuators (MMPAs) is gaining popularity due to their advantageous characteristics, such as complete environmental decoupling and reduction of stage mass. Nonetheless, model-based commutation techniques for MMPAs are compromised by misalignment between the mover and coil array and mismatch between the ideal electromagnetic model and the physical system, often leading to decreased system performance. To address this issue, a novel improved commutation approach is proposed in this paper by means of dynamic regulation of the position dependence of the ideal model-based commutation algorithm, which allows for attenuation of magnetic misalignment, manufacturing inaccuracies and other unmodelled phenomena. The effectiveness of the proposed approach is validated through experiments using a state-of-the-art moving-magnet planar actuator prototype.

[3]  arXiv:2303.14402 [pdf, other]
Title: Exploring the use of deep learning in task-flexible ILC
Comments: 6 pages, 5 figures, Regular paper ACC conference 2023
Subjects: Systems and Control (eess.SY)

Growing demands in today's industry results in increasingly stringent performance and throughput specifications. For accurate positioning of high-precision motion systems, feedforward control plays a crucial role. Nonetheless, conventional model-based feedforward approaches are no longer sufficient to satisfy the challenging performance requirements. An attractive method for systems with repetitive motion tasks is iterative learning control (ILC) due to its superior performance. However, for systems with non-repetitive motion tasks, ILC is {generally} not applicable, {despite of some recent promising advances}. In this paper, we aim to explore the use of deep learning to address the task flexibility constraint of ILC. For this purpose, a novel Task Analogy based Imitation Learning (TAIL)-ILC approach is developed. To benchmark the performance of the proposed approach, a simulation study is presented which compares the TAIL-ILC to classical model-based feedforward strategies and existing learning-based approaches, such as neural network based feedforward learning.

[4]  arXiv:2303.14519 [pdf, other]
Title: Stochastic Model Predictive Control Utilizing Bayesian Neural Networks
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG)

Integrating measurements and historical data can enhance control systems through learning-based techniques, but ensuring performance and safety is challenging. Robust model predictive control strategies, like stochastic model predictive control, can address this by accounting for uncertainty. Gaussian processes are often used but have limitations with larger models and data sets. We explore Bayesian neural networks for stochastic learning-assisted control, comparing their performance to Gaussian processes on a wastewater treatment plant model. Results show Bayesian neural networks achieve similar performance, highlighting their potential as an alternative for control designs, particularly when handling extensive data sets.

[5]  arXiv:2303.14564 [pdf, other]
Title: Compositional Neural Certificates for Networked Dynamical Systems
Comments: 25 pages, 8 figures
Subjects: Systems and Control (eess.SY)

Developing stable controllers for large-scale networked dynamical systems is crucial but has long been challenging due to two key obstacles: certifiability and scalability. In this paper, we present a general framework to solve these challenges using compositional neural certificates based on ISS (Input-to-State Stability) Lyapunov functions. Specifically, we treat a large networked dynamical system as an interconnection of smaller subsystems and develop methods that can find each subsystem a decentralized controller and an ISS Lyapunov function; the latter can be collectively composed to prove the global stability of the system. To ensure the scalability of our approach, we develop generalizable and robust ISS Lyapunov functions where a single function can be used across different subsystems and the certificates we produced for small systems can be generalized to be used on large systems with similar structures. We encode both ISS Lyapunov functions and controllers as neural networks and propose a novel training methodology to handle the logic in ISS Lyapunov conditions that encodes the interconnection with neighboring subsystems. We demonstrate our approach in systems including Platoon, Drone formation control, and Power systems. Experimental results show that our framework can reduce the tracking error up to 75% compared with RL algorithms when applied to large-scale networked systems.

[6]  arXiv:2303.14573 [pdf, other]
Title: Relay-based identification of Aerodynamic and Delay Sensor Dynamics with applications for Unmanned Aerial Vehicles
Comments: 9 pages, 5 figures, This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible
Subjects: Systems and Control (eess.SY)

In this paper, we present a real-time system identification method based on relay feedback testing with applications to multirotor unmanned aerial vehicles. The proposed identification method provides an alternative to the expensive lab testing of certain UAV dynamic parameters. Moreover, it has the advantage of identifying the parameters that get changed throughout the operation of the UAV, which requires onboard identification methods. The modified relay feedback test (MRFT) is used to generate stable limit cycles at frequency points that reveal the underlying UAV dynamics. The locus of the perturbed relay system (LPRS) is used to predict the exact amplitude and frequency of these limit cycles. Real-time identification is achieved by using the homogeneity properties of the MRFT and the LPRS which are proven in this paper. The proposed identification method was tested experimentally to estimate the aerodynamic parameters as well as the onboard sensor's time delay parameters. The MRFT testing takes a few seconds to perform, and the identification computations take an average of 0.2 seconds to complete in modern embedded computers. The proposed identification method is compared against state-of-the-art alternatives. Advantages in identification accuracy and quantification of uncertainty in estimated parameters are shown.

[7]  arXiv:2303.14733 [pdf, ps, other]
Title: Randomized Matrix Weighted Consensus
Comments: 10 pages, 2 figures, preprint
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

In this paper, a randomized gossip-type matrix-weighted consensus algorithm is proposed for both leaderless and leader-follower topologies. Under some mild assumptions, the proposed pairwise asynchronous update algorithm achieves a consensus in expectation. Moreover, the probability distribution, the weighting matrices, and the updating step size jointly determine the upper bound of the $\epsilon$-convergence time of the algorithm. The theoretical result is verified by several simulation examples.

[8]  arXiv:2303.14751 [pdf, ps, other]
Title: Matrix-Scaled Consensus over Undirected Networks
Comments: 12 pages, 5 figures, preprint
Subjects: Systems and Control (eess.SY)

In this paper, we propose matrix-scaled consensus algorithms for linear dynamical agents interacted over an undirected network. The goal of these algorithms is making the matrix-scaled state vectors of all agents to asymptotically agree. Algebraic properties of the matrix-scaled Laplacian are firstly examined. Second, we propose matrix-scaled consensus algorithms for networks of single integrators with or without constant parametric uncertainties. Third, observer-based matrix-scaled synchronization algorithms for networks of homogeneous or heterogeneous linear agents are proposed. The effectiveness of each proposed algorithm is asserted by rigorous analysis and supported by numerical simulations.

[9]  arXiv:2303.15097 [pdf, other]
Title: Control-oriented modeling of a LiBr/H2O absorption heat pumping device and experimental validation
Subjects: Systems and Control (eess.SY)

Absorption heat pumping devices (AHPDs, comprising absorption heat pumps and chillers) are devices that use thermal energy instead of electricity to generate heating and cooling, thereby facilitating the use of waste heat and renewable energy sources such as solar or geothermal energy. Despite this benefit, widespread use of AHPDs is still limited. One reason for this is partly unsatisfactory control performance under varying operating conditions, which can result in poor modulation and part load capability. A promising approach to tackle this issue is using dynamic, model-based control strategies, whose effectiveness, however, strongly depend on the model being used. This paper therefore focuses on the derivation of a viable dynamic model to be used for such model-based control strategies for AHPDs such as state feedback or model-predictive control. The derived model is experimentally validated, showing good modeling accuracy. Its modeling accuracy is also compared to alternative model versions, that contain other heat transfer correlations, as a benchmark. Although the derived model is mathematically simple, it does have the structure of a nonlinear differential-algebraic system of equations. To obtain an even simpler model structure, linearization at an operating point is discussed to derive a model in linear state space representation. The experimental validation shows that the linear model does have slightly worse steady-state accuracy, but that the dynamic accuracy seems to be almost unaffected by the linearization. The presented new modeling approach is considered suitable to be used as a basis for the design of advanced, model-based control strategies, ultimately aiming to improve the modulation and part load capability of AHPDs.

[10]  arXiv:2303.15131 [pdf, other]
Title: LQG Control Over SWIPT-enabled Wireless Communication Network
Subjects: Systems and Control (eess.SY)

In this paper, we consider using simultaneous wireless information and power transfer (SWIPT) to recharge the sensor in the LQG control, which provides a new approach to prolonging the network lifetime. We analyze the stability of the proposed system model and show that there exist two critical values for the power splitting ratio {\alpha}. Then, we propose an optimization problem to derive the optimal value of {\alpha}. This problem is non-convex but its numerical solution can be derived by our proposed algorithm efficiently. Moreover, we provide the feasible condition of the proposed optimization problem. Finally, simulation results are presented to verify and illustrate the main theoretical results.

[11]  arXiv:2303.15175 [pdf, ps, other]
Title: Sparse Feedback Controller: From Open-loop Solution to Closed-loop Realization
Comments: 18 pages, 5 figures
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

In this paper, we explore the discrete time sparse feedback control for a linear invariant system, where the proposed optimal feedback controller enjoys input sparsity by using a dynamic linear compensator, i.e., the components of feedback control signal having the smallest possible nonzero values. The resulting augmented dynamics ensures closed-loop stability, which infers sparse feedback controller from open-loop solution to closed-loop realization. In particular, we show that the implemented sparse feedback (closed-loop) control solution is equivalent to the original sparse (open-loop) control solution under a specified basis. We then extend the dynamic compensator to a feedforward tracking control problem. Finally, numerical examples demonstrate the effectiveness of proposed control approach.

[12]  arXiv:2303.15273 [pdf, other]
Title: Modified Implicit Discretization of the Super-Twisting Controller
Subjects: Systems and Control (eess.SY)

In this paper a novel discrete-time realization of the super-twisting controller is proposed. The closed-loop system is proven to be globally asymptotically stable in the absence of a disturbance by means of Lyapunov theory. Furthermore, the steady-state error in the disturbed case is computed analytically and shown to be independent of the parameters. The steady-state error only depends on the sampling time and the unknown disturbance. The proposed discrete-time controller is compared to previously published discrete-time super-twisting controllers by means of the controller structure. In extensive simulation studies the proposed controller is evaluated comparative to known controllers. The continuous-time super-twisting controller is capable of rejecting any unknown Lipschitz-continuous perturbation. Furthermore, the convergence time decreases, if any of the gains is increased. The simulations demonstrate that the systems closed in the loop with each of the known controllers lose one of these properties, introduce discretization-chattering effects, or do not yield the same accuracy level as with the proposed controller. The proposed controller, in contrast, is beneficial in terms of the above described properties of the continuous-time super-twisting controller.

[13]  arXiv:2303.15297 [pdf, other]
Title: On the use of Lagrange Multiplier State-Space Substructuring in dynamic substructuring analysis
Journal-ref: Mechanical Systems and Signal Processing, Volume 18015, November 2022, Article number 109419
Subjects: Systems and Control (eess.SY)

In this article, the formulation of Lagrange Multiplier State-Space Substructuring (LM-SSS) is presented and extended to directly compute coupled displacement and velocity state-space models. The LM-SSS method is applied to couple and decouple state-space models established in the modal domain. Moreover, it is used together with tailored postprocessing procedures to eliminate the redundant states originated from the coupling and decoupling operations. This specific formulation of the LM-SSS approach made it possible to develop a tailored coupling form, named Unconstrained Coupling Form (UCF). UCF just requires the computation of a nullspace and does not rely on the selection of a subspace from a nullspace. By exploiting a numerical example, LM-SSS was compared with the Lagrange Multiplier Frequency Based Substructuring (LMFBS) approach, which is currently widely recognized as a reference approach. This was done both in terms of: a)coupled FRFs derived by coupling the state-space models of two substructures and b) decoupled FRFs derived by decoupling the state-space model of a component from the coupled model. LM-SSS showed to be suitable to compute minimal order coupled models and UCF turned out to have similar performance as other coupling forms already presented to the scientific community. As for the decoupling task, the FRFs derived from the LM-SSS approach perfectly matched those obtained by LM-FBS. Moreover, it was also demonstrated that the elimination of the redundant states originated from the decoupling operation was correctly performed. The approaches discussed were exploited on an experimental substructuring application. LM-SSS resulted to be a reliable SSS technique to perform coupling and decoupling operations with state-space models estimated from measured FRFs as well as to provide accurate minimal-order models.

[14]  arXiv:2303.15299 [pdf, other]
Title: Resilient Output Consensus Control of Heterogeneous Multi-agent Systems against Byzantine Attacks: A Twin Layer Approach
Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI)

This paper studies the problem of cooperative control of heterogeneous multi-agent systems (MASs) against Byzantine attacks. The agent affected by Byzantine attacks sends different wrong values to all neighbors while applying wrong input signals for itself, which is aggressive and difficult to be defended. Inspired by the concept of Digital Twin, a new hierarchical protocol equipped with a virtual twin layer (TL) is proposed, which decouples the above problems into the defense scheme against Byzantine edge attacks on the TL and the defense scheme against Byzantine node attacks on the cyber-physical layer (CPL). On the TL, we propose a resilient topology reconfiguration strategy by adding a minimum number of key edges to improve network resilience. It is strictly proved that the control strategy is sufficient to achieve asymptotic consensus in finite time with the topology on the TL satisfying strongly $(2f+1)$-robustness. On the CPL, decentralized chattering-free controllers are proposed to guarantee the resilient output consensus for the heterogeneous MASs against Byzantine node attacks. Moreover, the obtained controller shows exponential convergence. The effectiveness and practicality of the theoretical results are verified by numerical examples.

[15]  arXiv:2303.15318 [pdf, other]
Title: Closed-Loop Koopman Operator Approximation
Comments: 21 pages, 13 figures
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Dynamical Systems (math.DS)

The Koopman operator allows a nonlinear system to be rewritten as an infinite-dimensional linear system by viewing it in terms of an infinite set of lifting functions instead of a state vector. The main feature of this representation is its linearity, making it compatible with existing linear systems theory. A finite-dimensional approximation of the Koopman operator can be identified from experimental data by choosing a finite subset of lifting functions, applying it to the data, and solving a least squares problem in the lifted space. Existing Koopman operator approximation methods are designed to identify open-loop systems. However, it is impractical or impossible to run experiments on some systems without a feedback controller. Unfortunately, the introduction of feedback control results in correlations between the system's input and output, making some plant dynamics difficult to identify if the controller is neglected. This paper addresses this limitation by introducing a method to identify a Koopman model of the closed-loop system, and then extract a Koopman model of the plant given knowledge of the controller. This is accomplished by leveraging the linearity of the Koopman representation of the system. The proposed approach widens the applicability of Koopman operator identification methods to a broader class of systems. The effectiveness of the proposed closed-loop Koopman operator approximation method is demonstrated experimentally using a Harmonic Drive gearbox exhibiting nonlinear vibrations.

[16]  arXiv:2303.15365 [pdf]
Title: Impulse excitation diagram as a tool to achieve high energy orbits
Comments: 5 pages, 4 figures
Journal-ref: IEEE Procecdings of 20th International Conference on Mechatronics - Mechatronika (ME), 2022
Subjects: Systems and Control (eess.SY); Applied Physics (physics.app-ph)

The paper presents the application of a new impulse excitation diagram (IED) to help realize high-energy orbits in nonlinear energy harvesting systems. In the case of non-linearity, we can deal with the occurrence of coexisting solutions and the proposed diagram allows for the use of the impulse excitation method in order to change the solution. For this purpose, the author's IED diagram was presented to determine the characteristics, duration and moment of initiation of the external disturbing impulse in order to jump to another orbit. An application example is the quasizero energy harvester and two different impulse characteristics.

Cross-lists for Tue, 28 Mar 23

[17]  arXiv:2303.14265 (cross-list from cs.LG) [pdf, other]
Title: Safe and Sample-efficient Reinforcement Learning for Clustered Dynamic Environments
Subjects: Machine Learning (cs.LG); Robotics (cs.RO); Systems and Control (eess.SY)

This study proposes a safe and sample-efficient reinforcement learning (RL) framework to address two major challenges in developing applicable RL algorithms: satisfying safety constraints and efficiently learning with limited samples. To guarantee safety in real-world complex environments, we use the safe set algorithm (SSA) to monitor and modify the nominal controls, and evaluate SSA+RL in a clustered dynamic environment which is challenging to be solved by existing RL algorithms. However, the SSA+RL framework is usually not sample-efficient especially in reward-sparse environments, which has not been addressed in previous safe RL works. To improve the learning efficiency, we propose three techniques: (1) avoiding behaving overly conservative by adapting the SSA; (2) encouraging safe exploration using random network distillation with safety constraints; (3) improving policy convergence by treating SSA as expert demonstrations and directly learn from that. The experimental results show that our framework can achieve better safety performance compare to other safe RL methods during training and solve the task with substantially fewer episodes. Project website: https://hychen-naza.github.io/projects/Safe_RL/.

[18]  arXiv:2303.14278 (cross-list from cs.RO) [pdf, other]
Title: Safe Hierarchical Navigation in Crowded Dynamic Uncertain Environments
Subjects: Robotics (cs.RO); Systems and Control (eess.SY)

This paper describes a hierarchical solution consisting of a multi-phase planner and a low-level safe controller to jointly solve the safe navigation problem in crowded, dynamic, and uncertain environments. The planner employs dynamic gap analysis and trajectory optimization to achieve collision avoidance with respect to the predicted trajectories of dynamic agents within the sensing and planning horizon and with robustness to agent uncertainty. To address uncertainty over the planning horizon and real-time safety, a fast reactive safe set algorithm (SSA) is adopted, which monitors and modifies the unsafe control during trajectory tracking. Compared to other existing methods, our approach offers theoretical guarantees of safety and achieves collision-free navigation with higher probability in uncertain environments, as demonstrated in scenarios with 20 and 50 dynamic agents. Project website: https://hychen-naza.github.io/projects/HDAGap/.

[19]  arXiv:2303.14328 (cross-list from cs.CY) [pdf, other]
Title: Optimizing Sepsis Care through Heuristics Methods in Process Mining: A Trajectory Analysis
Comments: 22 pages, 6 figures, 1 table
Subjects: Computers and Society (cs.CY); Systems and Control (eess.SY)

Process mining can help acquire insightful knowledge and heighten the system's performance. In this study, we surveyed the trajectories of 1050 sepsis patients in a regional hospital in the Netherlands from the registration to the discharge phase. Based on this real-world case study, the event log comprises events and activities related to the emergency ward, admission to hospital wards, and discharge enriched with data from lab experiments and triage checklists. At first, we aim to discover this process through Heuristics Miner (HM) and Inductive Miner (IM) methods. Then, we analyze a systematic process model based on organizational information and knowledge. Besides, we address conformance checking given medical guidelines for these patients and monitor the related flows on the systematic process model. The results show that HM and IM are inadequate in identifying the relevant process. However, using a systematic process model based on expert knowledge and organizational information resulted in an average fitness of 97.8%, a simplicity of 77.7%, and a generalization of 80.2%. The analyses demonstrate that process mining can shed light on the patient flow in the hospital and inspect the day-to-day clinical performance versus medical guidelines. Also, the process models obtained by the HM and IM methods cannot provide a concrete comprehension of the process structure for stakeholders compared to the systematic process model. The implications of our findings include the potential for process mining to improve the quality of healthcare services, optimize resource allocation, and reduce costs. Our study also highlights the importance of considering expert knowledge and organizational information in developing effective process models.

[20]  arXiv:2303.14414 (cross-list from math.OC) [pdf, other]
Title: Multi-agent Black-box Optimization using a Bayesian Approach to Alternating Direction Method of Multipliers
Comments: Accepted to IFAC World Congress 2023
Subjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Systems and Control (eess.SY)

Bayesian optimization (BO) is a powerful black-box optimization framework that looks to efficiently learn the global optimum of an unknown system by systematically trading-off between exploration and exploitation. However, the use of BO as a tool for coordinated decision-making in multi-agent systems with unknown structure has not been widely studied. This paper investigates a black-box optimization problem over a multi-agent network coupled via shared variables or constraints, where each subproblem is formulated as a BO that uses only its local data. The proposed multi-agent BO (MABO) framework adds a penalty term to traditional BO acquisition functions to account for coupling between the subsystems without data sharing. We derive a suitable form for this penalty term using alternating directions method of multipliers (ADMM), which enables the local decision-making problems to be solved in parallel (and potentially asynchronously). The effectiveness of the proposed MABO method is demonstrated on an intelligent transport system for fuel efficient vehicle platooning.

[21]  arXiv:2303.14581 (cross-list from cs.LG) [pdf]
Title: Shapley-based Explainable AI for Clustering Applications in Fault Diagnosis and Prognosis
Comments: 23 pages with 8 figures
Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Systems and Control (eess.SY)

Data-driven artificial intelligence models require explainability in intelligent manufacturing to streamline adoption and trust in modern industry. However, recently developed explainable artificial intelligence (XAI) techniques that estimate feature contributions on a model-agnostic level such as SHapley Additive exPlanations (SHAP) have not yet been evaluated for semi-supervised fault diagnosis and prognosis problems characterized by class imbalance and weakly labeled datasets. This paper explores the potential of utilizing Shapley values for a new clustering framework compatible with semi-supervised learning problems, loosening the strict supervision requirement of current XAI techniques. This broad methodology is validated on two case studies: a heatmap image dataset obtained from a semiconductor manufacturing process featuring class imbalance, and a benchmark dataset utilized in the 2021 Prognostics and Health Management (PHM) Data Challenge. Semi-supervised clustering based on Shapley values significantly improves upon clustering quality compared to the fully unsupervised case, deriving information-dense and meaningful clusters that relate to underlying fault diagnosis model predictions. These clusters can also be characterized by high-precision decision rules in terms of original feature values, as demonstrated in the second case study. The rules, limited to 1-2 terms utilizing original feature scales, describe 12 out of the 16 derived equipment failure clusters with precision exceeding 0.85, showcasing the promising utility of the explainable clustering framework for intelligent manufacturing applications.

[22]  arXiv:2303.14634 (cross-list from cs.NI) [pdf, other]
Title: Resource Efficiency vs Performance Isolation Tradeoff in Network Slicing
Subjects: Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY)

We consider the tradeoff between resource efficiency and performance isolation that emerges when multiplexing the resource demands of Network Slices (NSs). On the one hand, multiplexing allows the use of idle resources, which increases resource efficiency. On the other hand, the performance of each NS becomes susceptible to traffic surges in other NSs, which degrades performance isolation. The analysis of this tradeoff enables network operators to determine the effect of performance isolation on the operating cost of each NS.
To study the tradeoff, we solve an optimization problem where we find the multiplexing policy that requires the least provisioned resources to honor the Service Level Agreements (SLAs) of all NSs. The SLA of each NS i states that its resource demand should be met for $P^H_i$ fraction of time, and for $P^L_i \leq P^H_i$ fraction of time, it should be met regardless of the demands of other NSs.
For resource demands that follow ergodic Markov chains, we show that the well-known Max-Weight scheduler is an optimal multiplexing policy. Since the Max-Weight scheduler does not require any knowledge of the statistics of the resource demands, we also propose its use in non-markovian settings. For resource demands obtained in the LTE module of ns-3, we show that the Max-Weight scheduler reduces the provisioned bandwidth by 36.2% when no performance isolation is required. Lastly, for these non-markovian resource demands, the Max-Weight scheduler maintains its optimality since it requires as much provisioned bandwidth as the best non-causal scheduler.

[23]  arXiv:2303.14678 (cross-list from math.OC) [pdf, other]
Title: Plant Performance in Precision Horticulture: Optimal climate control under stochastic uncertainty
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

This paper presents an optimal control algorithm for crop production when state dynamics are uncertain due to stochastic noise. The case study concerns a 50 day production round of lettuce in a greenhouse where control input consists of daily and nightly temperature set points. The control problem was formulated in terms of a stochastic Markov decision process with the objective to maximize the expected net revenue at harvest time.
The performance was compared to that of a stochastic static controller, and a deterministic time-varying dynamic feedback controller for the case of heat limited weather conditions, and strict requirements on harvest weight precision. Compared to the stochastic dynamic controller, the static controller resulted in lower maximal expected net revenue (-19 \%), less precision at harvest time (state uncertainty increased with 86 \%), and a larger sensitivity towards a change in starting day (varying the starting time from 0 to 10 days caused a variation of 15 \% in expected net revenue, compared to 11\% for the original controller). The deterministic controller also resulted in lower maximal expected net revenue (-16 \%), and less precision at harvest time (state uncertainty increased with 40 \%). The sensitivity of expected net revenue towards a change in starting day increased dramatically (60 \% compared to 11\% for the original controller).
The results of the deterministic controller provided insights in the trade-off between optimality in case of no noise, versus robustness to noise, whereas the results of the static controller provided insights in importance of dynamic feedback in achieving high precision in harvest weight. The results of this single case study should be interpreted with caution, however they illustrate a considerable potential benefit for stochastic greenhouse climate control.

[24]  arXiv:2303.14693 (cross-list from cs.RO) [pdf, other]
Title: Robotic Packaging Optimization with Reinforcement Learning
Comments: 7 pages, 5 figures, 1 table, submitted to a conference
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)

Intelligent manufacturing is becoming increasingly important due to the growing demand for maximizing productivity and flexibility while minimizing waste and lead times. This work investigates automated secondary robotic food packaging solutions that transfer food products from the conveyor belt into containers. A major problem in these solutions is varying product supply which can cause drastic productivity drops. Conventional rule-based approaches, used to address this issue, are often inadequate, leading to violation of the industry's requirements. Reinforcement learning, on the other hand, has the potential of solving this problem by learning responsive and predictive policy, based on experience. However, it is challenging to utilize it in highly complex control schemes. In this paper, we propose a reinforcement learning framework, designed to optimize the conveyor belt speed while minimizing interference with the rest of the control system. When tested on real-world data, the framework exceeds the performance requirements (99.8% packed products) and maintains quality (100% filled boxes). Compared to the existing solution, our proposed framework improves productivity, has smoother control, and reduces computation time.

[25]  arXiv:2303.14705 (cross-list from cs.NE) [pdf]
Title: Control of synaptic plasticity via the fusion of reinforcement learning and unsupervised learning in neural networks
Authors: Mohammad Modiri
Comments: Draft version. arXiv admin note: substantial text overlap with arXiv:2303.07273
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO); Systems and Control (eess.SY)

The brain can learn to execute a wide variety of tasks quickly and efficiently. Nevertheless, most of the mechanisms that enable us to learn are unclear or incredibly complicated. Recently, considerable efforts have been made in neuroscience and artificial intelligence to understand and model the structure and mechanisms behind the amazing learning capability of the brain. However, in the current understanding of cognitive neuroscience, it is widely accepted that synaptic plasticity plays an essential role in our amazing learning capability. This mechanism is also known as the Credit Assignment Problem (CAP) and is a fundamental challenge in neuroscience and Artificial Intelligence (AI). The observations of neuroscientists clearly confirm the role of two important mechanisms including the error feedback system and unsupervised learning in synaptic plasticity. With this inspiration, a new learning rule is proposed via the fusion of reinforcement learning (RL) and unsupervised learning (UL). In the proposed computational model, the nonlinear optimal control theory is used to resemble the error feedback loop systems and project the output error to neurons membrane potential (neurons state), and an unsupervised learning rule based on neurons membrane potential or neurons activity are utilized to simulate synaptic plasticity dynamics to ensure that the output error is minimized.

[26]  arXiv:2303.14709 (cross-list from cs.RO) [pdf, other]
Title: Critical Zones for Comfortable Collision Avoidance with a Leading Vehicle
Subjects: Robotics (cs.RO); Systems and Control (eess.SY)

This paper provides a general framework for efficiently obtaining the appropriate intervention time for collision avoidance systems to just avoid a rear-end crash. The proposed framework incorporates a driver comfort model and a vehicle model. We show that there is a relationship between driver steering manoeuvres based on acceleration and jerk, and steering angle and steering angle rate profiles. We investigate how four different vehicle models influence the time when steering needs to be initiated to avoid a rear-end collision. The models assessed were: a dynamic bicycle model (DM), a steady-state cornering model (SSCM), a kinematic model (KM) and a point mass model (PMM). We show that all models can be described by a parameter-varying linear system. We provide three algorithms for steering that use a linear system to compute the intervention time efficiently for all four vehicle models. Two of the algorithms use backward reachability simulation and one uses forward simulation. Results show that the SSCM, KM and PMM do not accurately estimate the intervention time for a certain set of vehicle conditions. Due to its fast computation time, DM with a backward reachability algorithm can be used for rapid offline safety benefit assessment, while DM with a forward simulation algorithm is better suited for online real-time usage.

[27]  arXiv:2303.14720 (cross-list from eess.SP) [pdf, other]
Title: Driver Profiling and Bayesian Workload Estimation Using Naturalistic Peripheral Detection Study Data
Subjects: Signal Processing (eess.SP); Machine Learning (cs.LG); Systems and Control (eess.SY)

Monitoring drivers' mental workload facilitates initiating and maintaining safe interactions with in-vehicle information systems, and thus delivers adaptive human machine interaction with reduced impact on the primary task of driving. In this paper, we tackle the problem of workload estimation from driving performance data. First, we present a novel on-road study for collecting subjective workload data via a modified peripheral detection task in naturalistic settings. Key environmental factors that induce a high mental workload are identified via video analysis, e.g. junctions and behaviour of vehicle in front. Second, a supervised learning framework using state-of-the-art time series classifiers (e.g. convolutional neural network and transform techniques) is introduced to profile drivers based on the average workload they experience during a journey. A Bayesian filtering approach is then proposed for sequentially estimating, in (near) real-time, the driver's instantaneous workload. This computationally efficient and flexible method can be easily personalised to a driver (e.g. incorporate their inferred average workload profile), adapted to driving/environmental contexts (e.g. road type) and extended with data streams from new sources. The efficacy of the presented profiling and instantaneous workload estimation approaches are demonstrated using the on-road study data, showing $F_{1}$ scores of up to 92% and 81%, respectively.

[28]  arXiv:2303.14792 (cross-list from cs.HC) [pdf]
Title: A Wearable RFID-Based Navigation System for the Visually Impaired
Comments: 6 pages, 6 figures, 3 tables
Subjects: Human-Computer Interaction (cs.HC); Systems and Control (eess.SY)

Recent studies have focused on developing advanced assistive devices to help blind or visually impaired people. Navigation is challenging for this community; however, developing a simple yet reliable navigation system is still an unmet need. This study targets the navigation problem and proposes a wearable assistive system. We developed a smart glove and shoe set based on radio-frequency identification technology to assist visually impaired people with navigation and orientation in indoor environments. The system enables the user to find the directions through audio feedback. To evaluate the device's performance, we designed a simple experimental setup. The proposed system has a simple structure and can be personalized according to the user's requirements. The results identified that the platform is reliable, power efficient, and accurate enough for indoor navigation.

[29]  arXiv:2303.14841 (cross-list from cs.HC) [pdf]
Title: Driver Drowsiness Detection with Commercial EEG Headsets
Comments: 546 Preprint version of the manuscript published in the proceedings of the 10th RSI International Conference on Robotics and Mechatronics (ICRoM 2022), Nov. 15-18, 2022, Tehran, Iran
Subjects: Human-Computer Interaction (cs.HC); Systems and Control (eess.SY)

Driver Drowsiness is one of the leading causes of road accidents. Electroencephalography (EEG) is highly affected by drowsiness; hence, EEG-based methods detect drowsiness with the highest accuracy. Developments in manufacturing dry electrodes and headsets have made recording EEG more convenient. Vehicle-based features used for detecting drowsiness are easy to capture but do not have the best performance. In this paper, we investigated the performance of EEG signals recorded in 4 channels with commercial headsets against the vehicle-based technique in drowsiness detection. We recorded EEG signals of 50 volunteers driving a simulator in drowsy and alert states by commercial devices. The observer rating of the drowsiness method was used to determine the drowsiness level of the subjects. The meaningful separation of vehicle-based features, recorded by the simulator, and EEG-based features of the two states of drowsiness and alertness have been investigated. The comparison results indicated that the EEG-based features are separated with lower p-values than the vehicle-based ones in the two states. It is concluded that EEG headsets can be feasible alternatives with better performance compared to vehicle-based methods for detecting drowsiness.

[30]  arXiv:2303.14932 (cross-list from math.OC) [pdf, other]
Title: A Strong Duality Result for Constrained POMDPs with Multiple Cooperative Agents
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

The work studies the problem of decentralized constrained POMDPs in a team-setting where multiple nonstrategic agents have asymmetric information. Using an extension of Sion's Minimax theorem for functions with positive infinity and results on weak-convergence of measures, strong duality is established for the setting of infinite-horizon expected total discounted costs when the observations lie in a countable space, the actions are chosen from a finite space, the constraint costs are bounded, and the objective cost is bounded from below.

[31]  arXiv:2303.14936 (cross-list from math.OC) [pdf, ps, other]
Title: TALOS: A toolbox for spacecraft conceptual design
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

We present the Toolbox for Analysis and Large-scale Optimization of Spacecraft (TALOS), a framework designed for applying large-scale multidisciplinary design optimization (MDO) to spacecraft design problems. The framework is built using the Computational System Design Language (CSDL), with abstractions for users to describe systems at a high level. CSDL is a compiled, embedded domain-specific language that fully automates derivative computation using the adjoint method. CSDL provides a unified interface for defining MDO problems, separating model definition from low-level program implementation details. TALOS provides discipline models for spacecraft mission designers to perform analyses, optimizations, and trade studies early in the design process. TALOS also provides interfaces for users to provide high-level system descriptions without the need to use CSDL directly, which simplifies the exploration of different spacecraft configurations. We describe the interfaces in TALOS available to users and run analyses on selected spacecraft subsystem disciplines to demonstrate the current capabilities of TALOS.

[32]  arXiv:2303.15121 (cross-list from math.ST) [pdf, ps, other]
Title: Learning linear dynamical systems under convex constraints
Comments: 17 pages
Subjects: Statistics Theory (math.ST); Systems and Control (eess.SY); Optimization and Control (math.OC); Machine Learning (stat.ML)

We consider the problem of identification of linear dynamical systems from a single trajectory. Recent results have predominantly focused on the setup where no structural assumption is made on the system matrix $A^* \in \mathbb{R}^{n \times n}$, and have consequently analyzed the ordinary least squares (OLS) estimator in detail. We assume prior structural information on $A^*$ is available, which can be captured in the form of a convex set $\mathcal{K}$ containing $A^*$. For the solution of the ensuing constrained least squares estimator, we derive non-asymptotic error bounds in the Frobenius norm which depend on the local size of the tangent cone of $\mathcal{K}$ at $A^*$. To illustrate the usefulness of this result, we instantiate it for the settings where, (i) $\mathcal{K}$ is a $d$ dimensional subspace of $\mathbb{R}^{n \times n}$, or (ii) $A^*$ is $k$-sparse and $\mathcal{K}$ is a suitably scaled $\ell_1$ ball. In the regimes where $d, k \ll n^2$, our bounds improve upon those obtained from the OLS estimator.

[33]  arXiv:2303.15224 (cross-list from cs.NE) [pdf, other]
Title: Open the box of digital neuromorphic processor: Towards effective algorithm-hardware co-design
Subjects: Neural and Evolutionary Computing (cs.NE); Systems and Control (eess.SY)

Sparse and event-driven spiking neural network (SNN) algorithms are the ideal candidate solution for energy-efficient edge computing. Yet, with the growing complexity of SNN algorithms, it isn't easy to properly benchmark and optimize their computational cost without hardware in the loop. Although digital neuromorphic processors have been widely adopted to benchmark SNN algorithms, their black-box nature is problematic for algorithm-hardware co-optimization. In this work, we open the black box of the digital neuromorphic processor for algorithm designers by presenting the neuron processing instruction set and detailed energy consumption of the SENeCA neuromorphic architecture. For convenient benchmarking and optimization, we provide the energy cost of the essential neuromorphic components in SENeCA, including neuron models and learning rules. Moreover, we exploit the SENeCA's hierarchical memory and exhibit an advantage over existing neuromorphic processors. We show the energy efficiency of SNN algorithms for video processing and online learning, and demonstrate the potential of our work for optimizing algorithm designs. Overall, we present a practical approach to enable algorithm designers to accurately benchmark SNN algorithms and pave the way towards effective algorithm-hardware co-design.

[34]  arXiv:2303.15407 (cross-list from cs.LG) [pdf, other]
Title: Dimensionality Collapse: Optimal Measurement Selection for Low-Error Infinite-Horizon Forecasting
Comments: 33 Pages, 9 Figures, To appear in Proceedings of the 26th International Conference on Artificial Intelligence and Statistics (AISTATS) 2023
Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Systems and Control (eess.SY); Statistics Theory (math.ST)

This work introduces a method to select linear functional measurements of a vector-valued time series optimized for forecasting distant time-horizons. By formulating and solving the problem of sequential linear measurement design as an infinite-horizon problem with the time-averaged trace of the Cram\'{e}r-Rao lower bound (CRLB) for forecasting as the cost, the most informative data can be collected irrespective of the eventual forecasting algorithm. By introducing theoretical results regarding measurements under additive noise from natural exponential families, we construct an equivalent problem from which a local dimensionality reduction can be derived. This alternative formulation is based on the future collapse of dimensionality inherent in the limiting behavior of many differential equations and can be directly observed in the low-rank structure of the CRLB for forecasting. Implementations of both an approximate dynamic programming formulation and the proposed alternative are illustrated using an extended Kalman filter for state estimation, with results on simulated systems with limit cycles and chaotic behavior demonstrating a linear improvement in the CRLB as a function of the number of collapsing dimensions of the system.

Replacements for Tue, 28 Mar 23

[35]  arXiv:2103.13514 (replaced) [src]
Title: Constrained Deep Learning Based Nonlinear Model Predictive Control
Authors: Farshid Asadi
Comments: Withdrawn due to an unsolvable flaw in robustness and stability proof. Please do not cite this work
Subjects: Systems and Control (eess.SY)
[36]  arXiv:2112.04439 (replaced) [pdf, other]
Title: Data-driven tube-based stochastic predictive control
Comments: This work has been submitted to the IEEE Open Journal of Control Systems
Subjects: Systems and Control (eess.SY)
[37]  arXiv:2208.11682 (replaced) [pdf, other]
Title: Data-Driven Approach to form Energy Resilient Smart Microgrids with Identification of Vulnerable Nodes in Active Electrical Distribution Network
Subjects: Systems and Control (eess.SY); Neural and Evolutionary Computing (cs.NE)
[38]  arXiv:2210.02963 (replaced) [pdf, other]
Title: Valuing Uncertainties in Wind Generation: An Agent-Based Optimization Approach
Comments: 6 pages, 3 figures. Accepted to the 2023 American Control Conference (ACC)
Subjects: Systems and Control (eess.SY)
[39]  arXiv:2210.16712 (replaced) [pdf, other]
Title: Model-Free Learning of Optimal Beamformers for Passive IRS-Assisted Sumrate Maximization
Subjects: Systems and Control (eess.SY)
[40]  arXiv:2211.06339 (replaced) [pdf, other]
Title: Data-driven Nonlinear Predictive Control for Feedback Linearizable Systems
Comments: accepted to IFAC World Congress 2023. arXiv admin note: substantial text overlap with arXiv:2204.01148
Subjects: Systems and Control (eess.SY)
[41]  arXiv:2211.07341 (replaced) [pdf, other]
Title: Stability and Robustness of Distributed Suboptimal Model Predictive Control
Subjects: Systems and Control (eess.SY); Robotics (cs.RO); Optimization and Control (math.OC)
[42]  arXiv:2212.04140 (replaced) [pdf, other]
Title: Safe and Efficient Switching Controller Design for Partially Observed Linear-Gaussian Systems
Authors: Yiwen Lu, Yilin Mo
Subjects: Systems and Control (eess.SY)
[43]  arXiv:2212.12368 (replaced) [pdf, other]
Title: Tutorial: Circuit-based Electromagnetic Transient Simulation
Subjects: Systems and Control (eess.SY)
[44]  arXiv:2302.13705 (replaced) [pdf, other]
Title: Parameter Estimation-Based Extended Observer for Linear Systems with Polynomial Overparametrization
Comments: 6 pages, 2 figures
Subjects: Systems and Control (eess.SY)
[45]  arXiv:2303.04000 (replaced) [pdf]
Title: The potential of retrofitting existing coal power plants: a case study for operation with green iron
Comments: Applied Energy Journal
Subjects: Systems and Control (eess.SY); Fluid Dynamics (physics.flu-dyn)
[46]  arXiv:2303.04643 (replaced) [pdf]
Title: Robust Adaptive Control of STATCOMs to Mitigate Inverter-Based-Resource (IBR)-Induced Oscillations
Subjects: Systems and Control (eess.SY)
[47]  arXiv:2201.07916 (replaced) [pdf, other]
Title: PROMPT: Learning Dynamic Resource Allocation Policies for Network Applications
Comments: Accepted in Future Generation Computer Systems (FGCS)
Subjects: Machine Learning (cs.LG); Systems and Control (eess.SY)
[48]  arXiv:2204.01150 (replaced) [pdf, ps, other]
Title: Practical exponential stability of a robust data-driven nonlinear predictive control scheme
Comments: This technical report serves as a supplementary material to our recent paper "Data-driven Nonlinear Predictive Control for Feedback Linearizable Systems"
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[49]  arXiv:2207.01033 (replaced) [pdf, other]
Title: Adaptive Force Controller for Contact-Rich Robotic Systems using an Unscented Kalman Filter
Comments: Submitted to IROS 2023
Subjects: Robotics (cs.RO); Systems and Control (eess.SY)
[50]  arXiv:2209.05573 (replaced) [pdf, other]
Title: Sampling-Based Trajectory (re)planning for Differentially Flat Systems: Application to a 3D Gantry Crane
Comments: Published at IFAC-PapersOnLine (13th IFAC Symposium on Robot Control)
Journal-ref: IFAC-PapersOnLine Volume 55, Issue 38, 2022, Pages 33-40
Subjects: Robotics (cs.RO); Systems and Control (eess.SY)
[51]  arXiv:2210.03777 (replaced) [pdf, other]
Title: Optimal Energy Shaping Control for a Backdrivable Hip Exoskeleton
Subjects: Robotics (cs.RO); Systems and Control (eess.SY)
[52]  arXiv:2210.17347 (replaced) [pdf, other]
Title: Optimal Control for Wind Turbine Wake Mixing on Floating Platforms
Comments: 6 pages, 8 figures, accepted for publication for IFAC World Congress 2023
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Fluid Dynamics (physics.flu-dyn)
[53]  arXiv:2211.01146 (replaced) [pdf, other]
Title: DynamicISP: Dynamically Controlled Image Signal Processor for Image Recognition
Comments: Several updates from v1 including additional experiments, visualization results, and modified document
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
[54]  arXiv:2212.12380 (replaced) [pdf, other]
Title: Towards Scalable Physically Consistent Neural Networks: an Application to Data-driven Multi-zone Thermal Building Models
Comments: Submitted to Applied Energy
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
[55]  arXiv:2302.13161 (replaced) [pdf, other]
Title: Cybersecurity Challenges of Power Transformers
Comments: 11 pages
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Systems and Control (eess.SY)
[56]  arXiv:2303.12863 (replaced) [pdf, other]
Title: Peak Estimation of Time Delay Systems using Occupation Measures
Comments: 34 pages, 14 figures, 3 tables
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[ total of 56 entries: 1-56 ]
[ showing up to 1000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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