Consider robot swarm wireless networks where mobile robots offload their computing tasks to a computing server located at the mobile edge. Our aim is to maximize the swarm lifetime through efficient exploitation of the correlation between distributed data sources. The optimization problem is handled by selecting appropriate robot subsets to send their sensed data to the server. In this work, the data

Global navigation satellite systems (GNSSs) are essential in providing localization and navigation services to most of the world due to their superior coverage. However, due to high pathloss and inevitable atmospheric effect, the positioning performance of any standalone GNSS is still poor in urban areas. To improve the positioning performance of legacy GNSSs in urban areas, a positioning system, which

Quadrupedal robots resemble the physical ability of legged animals to walk through unstructured terrains. However, designing a controller for quadrupedal robots poses a significant challenge due to their functional complexity and requires adaptation to various terrains. Recently, deep reinforcement learning, inspired by how legged animals learn to walk from their experiences, has been utilized to synthesize

The quadratic optimal state feedback (LQR) is one of the most popular designs for linear systems and succeeds via the solution of the algebraic Riccati equation. The situation is different in the case of non-linear systems: the Riccati equation is then replaced by the Hamilton Jacobi Bellman equation (HJB), the solution of which is generally difficult. A compromise can be the so-called Inverse Optimal

Motion planning is a fundamental component in automated vehicles. It influences the comfort and time efficiency of the ride. Despite a vast collection of studies working towards improving motion comfort in self-driving cars, little attention has been paid to the performance of human drivers as a baseline. In this paper, we present an experimental study conducted on a public road using an instrumented

We study a variant of the problem of synthesizing Mealy machines that enforce LTL specifications against all possible behaviours of the environment including hostile ones. In the variant studied here, the user provides the high level LTL specification {\phi} of the system to design, and a set E of examples of executions that the solution must produce. Our synthesis algorithm works in two phases. First

Polar codes have received growing attention in the past decade and have been selected as the coding scheme for the control channel in the fifth generation (5G) wireless communication systems. However, the conventional polar codes have only been constructed by binary (2x2) kernel which poses block length limitation to powers of 2. To attain more flexible block lengths, multi-kernel polar codes are proposed

To keep supporting next-generation requirements, the radio access infrastructure will increasingly densify. Cell-free (CF) network architectures are emerging, combining dense deployments with extreme flexibility in allocating resources to users. In parallel, the Open Radio Access Networks (O-RAN) paradigm is transforming RAN towards an open, intelligent, virtualized, and fully interoperable architecture

In this paper, we propose a bilateral peer-to-peer (P2P) energy trading scheme for residential prosumers with a simplified entry to the market. We formulate the market as an assignment game, a special class of coalitional games. For solving the resulting decision problem, we design a bilateral negotiation mechanism that enables matched buyer-seller pairs to reach a consensus on a set of ``stable" and

The paper proposes Resource Allocation (RA) schemes for a closed loop feedback control system by analysing the control-communication dependencies. We consider an Automated Guided Vehicle (AGV) that communicates with a controller located in an edge-cloud over a wireless fading channel. The control commands are transmitted to an AGV and the position state is feedback to the controller at every time-instant

The changing nature of power systems dynamics is challenging present practices related to modeling and study of system-level dynamic behavior. While developing new techniques and models to handle the new modeling requirements, it is also critical to review some of the terminology used to describe existing simulation approaches and the embedded assumptions. This paper provides a first-principles review

The aim of the work is to design and develop light (less then 20 gr), expendable radioprobes to study complex micro-physical and chemical processes inside warm clouds. This includes the tracking of turbulent, both saturated and unsaturated, air parcels. With this new kind of radiosonde, we thus aim to obtain Lagrangian statistics of the intense turbulence inside warm clouds and of the lower intensity

In this paper, we introduce the system theoretic model for the multi-agent MC systems represented by multi-input and multi-output (MIMO) systems using the transfer functions, and then propose a method to analyze the stability for the special case of the circulant structured multi-agent MC systems. The proposed method decomposes the MIMO MC system into multiple single-input and single-output (SISO)

A common technique in reinforcement learning is to evaluate the value function from Monte Carlo simulations of a given policy, and use the estimated value function to obtain a new policy which is greedy with respect to the estimated value function. A well-known longstanding open problem in this context is to prove the convergence of such a scheme when the value function of a policy is estimated from

A free industry-grade education tool is developed for bulk-power-system reliability assessment. The software architecture is illustrated using a high-level flowchart. Three main algorithms of this tool, i.e., sequential Monte Carlo simulation, unit preventive maintenance schedule, and optimal-power-flow-based load shedding, are introduced. The input and output formats are described in detail, including

Wide-area damping control for inter-area oscillation (IAO) is critical to modern power systems. The recent breakthroughs in deep learning and the broad deployment of phasor measurement units (PMU) promote the development of datadriven IAO damping controllers. In this paper, the damping control of IAOs is modeled as a Markov Decision Process (MDP) and solved by the proposed Deep Deterministic Policy

Semi-autonomous (SA) systems face the problem of deciding whether to select control input from the human operator or autonomous controller when they conflict with each other. While one may design an SA system to default to accepting control from one or the other, such design choices can have catastrophic consequences in safety-critical settings. For instance, the sensors an autonomous controller relies

We consider a decision-making problem to evaluate absolute ratings of alternatives that are compared in pairs according to two criteria, subject to box constraints on the ratings. The problem is formulated as the log-Chebyshev approximation of two pairwise comparison matrices by a common consistent matrix (a symmetrically reciprocal matrix of unit rank), to minimize the approximation errors for both

We propose an adversarial, time-varying test-synthesis procedure for safety-critical systems without requiring specific knowledge of the underlying controller steering the system. From a broader test and evaluation context, determination of difficult tests of system behavior is important as these tests would elucidate problematic system phenomena before these mistakes can engender problematic outcomes

Cellular networks are becoming increasingly heterogeneous with higher base station (BS) densities and ever more frequency bands, making BS selection and band assignment key decisions in terms of rate and coverage. In this paper, we decompose the mobility-aware user association task into (i) forecasting of user rate and then (ii) convex utility maximization for user association accounting for the effects

Emergency department (ED) crowding is a well-recognized threat to patient safety and it has been repeatedly associated with increased mortality. Accurate forecasts of future service demand could lead to better resource management and has the potential to improve treatment outcomes. This logic has motivated an increasing number of research articles but there has been little to no effort to move these

This work focuses on the design of modern power system controllers for automatic voltage regulators (AVR) and the applications of machine learning (ML) algorithms to correctly classify the stability of the IEEE 14 bus system. The LQG controller performs the best time domain characteristics compared to PID and LQG, while the sensor and amplifier gain is changed in a dynamic passion. After that, the

The real-time electricity market with the integration of renewable energies and electric vehicles have been receiving significant attention recently. So far most of the literature addresses the optimal power flow (OPF) problem in the real-time electricity market context by iterative methods. However, solving OPF problems in real-time is challenging due to the high computational complexity by the iterative

Unmanned Aerial Vehicles equipped with cameras can be used to automate image capture for generating 3D models via photogrammetry. Current methods rely on a single vehicle to capture images sequentially, or use pre-planned and heuristic imaging configurations. We seek to provide a multi-agent control approach to capturing the images required to 3D map a region. A photogrammetry cost function is formulated

A community integrated energy system (CIES) is an important carrier of the energy internet and smart city in geographical and functional terms. Its emergence provides a new solution to the problems of energy utilization and environmental pollution. To coordinate the integrated demand response and uncertainty of renewable energy generation (RGs), a data-driven two-stage distributionally robust optimization

A modern-day society demands resilient, reliable, and smart urban infrastructure for effective and in telligent operations and deployment. However, unexpected, high-impact, and low-probability events such as earthquakes, tsunamis, tornadoes, and hurricanes make the design of such robust infrastructure more complex. As a result of such events, a power system infrastructure can be severely affected,

This paper presents a design and automation environment to study the control trajectory for new CDPR architectures, for instance CDPRs with an unusual number of cables or different motor location in the robot frame. In order to test the environment capabilities, an architecture of a planar under-constrained CDPR was designed, simulated, and implemented using standard industrial hardware. Both the simulated

The work show in this paper progresses through a sequence of physics-based increasing fidelity models that are used to design the robot controllers that respect the limits of the robot capabilities, develop a reference simple controller applicable to a large subset of tracking conditions, which include mostly non-invasive or highly dynamic movements and define path geometry following the control problem

This paper proposes a novel methodology for addressing the simulation-reality gap for multi-robot swarm systems. Rather than immediately try to shrink or `bridge the gap' anytime a real-world experiment failed that worked in simulation, we characterize conditions under which this is actually necessary. When these conditions are not satisfied, we show how very simple simulators can still be used to

Multi-human 3D pose estimation plays a key role in establishing a seamless connection between the real world and the virtual world. Recent efforts adopted a two-stage framework that first builds 2D pose estimations in multiple camera views from different perspectives and then synthesizes them into 3D poses. However, the focus has largely been on developing new computer vision algorithms on the offline

On-site estimation of sea state parameters is crucial for ship navigation systems' accuracy, stability, and efficiency. Extensive research has been conducted on model-based estimating methods utilizing only ship motion responses. Model-free approaches based on machine learning (ML) have recently gained popularity, and estimation from time-series of ship motion responses using deep learning (DL) methods

People suffering from Alzheimer's disease (AD) and their caregivers seek different approaches to cope with memory loss. Although AD patients want to live independently, they often need help from caregivers. In this situation, caregivers may attach notes on every single object or take out the contents of a drawer to make them visible before leaving the patient alone at home. This study reports preliminary

Why do we not profit from our long-existing classical robotics knowledge and look for some alternative way for data collection? The situation ignoring all existing methods might be such a waste. This article argues that a dataset created using a classical robotics algorithm is a crucial part of future development. This developed classic algorithm has a perfect domain adaptation and generalization property

This paper focuses on the development of minimum time control profiles for point-to-point motion of a gantry crane system in the presence of uncertainties in modal parameters. Assuming that the velocity of the trolley of the crane can be commanded and is subject to limits, an optimal control problem is posed to determine the bang-off-bang control profile to transition the system from a point of rest

Currently, there is an increasing interest in merging physics-based methods and artificial intelligence to push performance of feedforward controllers for high-precision mechatronics beyond what is achievable with linear feedforward control. In this paper, we develop a systematic design procedure for feedforward control using physics-guided neural networks (PGNNs) that can handle nonlinear and unknown

Across many disciplines, chemical reaction networks (CRNs) are an established population model defined as a system of coupled nonlinear ordinary differential equations. In many applications, for example, in systems biology and epidemiology, CRN parameters such as the kinetic reaction rates can be used as control inputs to steer the system toward a given target. Unfortunately, the resulting optimal

Parkinson's disease (PD) is a common neurodegenerative disorder with a prevalence rate estimated to 2.0% for people aged over 65 years. Cardinal motor symptoms of PD such as rigidity and bradykinesia affect the muscles involved in the handwriting process resulting in handwriting abnormalities called PD dysgraphia. Nowadays, online handwritten signal (signal with temporal information) acquired by the

Models of complex systems often consist of multiple interconnected subsystem/component models that are developed by multi-disciplinary teams of engineers or scientists. To ensure that such interconnected models can be applied for the purpose of simulation and/or control, a reduced-order model for the interconnected dynamics is needed. In the scope of this paper, we pursue this goal by subsystem reduction

In order to meet ever-stricter climate targets and achieve the eventual decarbonization of the energy supply of German industrial metropolises, the focus is on gradually phasing out nuclear power, then coal and gas combined with the increased use of renewable energy sources and employing hydrogen as a clean energy carrier. While complete electrification of the energy supply of households and the transportation

This letter studies the signal-to-interference-plus-noise (SINR) meta distribution of uplink transmission of UAV-enabled wireless networks with inversion power control. Within a framework of stochastic geometry, the Matern cluster process (MCP) is used to model the locations of users and UAVs. Conditional success probability and moments are derived to compute the exact expression and moment matching

Contraction theory formulates the analysis of nonlinear systems in terms of Jacobian matrices. Although this provides the potential to develop a linear matrix inequality (LMI) framework for nonlinear control design, conditions are imposed not on controllers but on their partial derivatives, which makes control design challenging. In this paper, we illustrate this so-called integrability problem can

Designing control inputs for a system that involves dynamical responses in multiple timescales is nontrivial. This paper proposes a parameterized time-warping function to enable a non-uniformly sampling along a prediction horizon given some parameters. The horizon should capture the responses under faster dynamics in the near future and preview the impact from slower dynamics in the distant future

This paper presents a novel 2-stage microgrid unit commitment (Microgrid-UC) algorithm considering cold-load pickup (CLPU) effects, three-phase load balancing requirements, and feasible reconfiguration options. Microgrid-UC schedules the operation of switches, generators, battery energy storage systems, and demand response resources to supply 3-phase unbalanced loads in an islanded microgrid for multiple

For neuromorphic engineering to emulate the human brain, improving memory density with low power consumption is an indispensable but challenging goal. In this regard, emerging RRAMs have attracted considerable interest for their unique qualities like low power consumption, high integration potential, durability, and CMOS compatibility. Using RRAMs to imitate the more analog storage behavior of brain

This paper considers online switching control with a finite candidate controller pool, an unknown dynamical system, and unknown cost functions. The candidate controllers can be unstabilizing policies. We only require at least one candidate controller to satisfy certain stability properties, but we do not know which one is stabilizing. We design an online algorithm that guarantees finite-gain stability

The possibility for hydrocarbon fluids to migrate through debonded micro-annuli wells is a major concern in the petroleum industry. With effective permeability of 0.1-1.0 mD, the existence of channels in a cement annulus with apertures of 10-300 micrometer constitutes a major threat. Squeeze cement is typically difficult to repair channels-leakage with small apertures; hence, a low-viscosity sealer

Temporal logic is a concise way of specifying complex tasks. But motion planning to achieve temporal logic specifications is difficult, and existing methods struggle to scale to complex specifications and high-dimensional system dynamics. In this paper, we cast Linear Temporal Logic (LTL) motion planning as a shortest path problem in a Graph of Convex Sets (GCS) and solve it with convex optimization

A classical problem for Markov chains is determining their stationary (or steady-state) distribution. This problem has an equally classical solution based on eigenvectors and linear equation systems. However, this approach does not scale to large instances, and iterative solutions are desirable. It turns out that a naive approach, as used by current model checkers, may yield completely wrong results

In mobile networks, unmanned aerial vehicles (UAVs) acting as flying base stations (FlyBSs) can effectively improve performance. Nevertheless, such potential improvement requires an efficient positioning of the FlyBS. In this paper, we study the problem of sum downlink capacity maximization in FlyBS-assisted networks with mobile users and with a consideration of wireless backhaul with channel reuse

This paper deals with learning stability of partially observed switched linear systems under arbitrary switching. Such systems are widely used to describe cyber-physical systems which arise by combining physical systems with digital components. In many real-world applications, the internal states cannot be observed directly. It is thus more realistic to conduct system analysis using the outputs of

Recently, Optical wireless communication (OWC) have been considered as a key element in the next generation of wireless communications due to its potential in supporting unprecedented communication speeds. In this paper, infrared lasers referred to as vertical-cavity surface-emitting lasers (VCSELs) are used as transmitters sending information to multiple users. In OWC, rate-maximization optimization

Digitalization and sector coupling enable companies to turn into flexumers. By using the flexibility of their multi-energy system (MES), they reduce costs and carbon emissions while stabilizing the electricity system. However, to identify the necessary investments in energy conversion and storage technologies to leverage demand response (DR) potentials, companies need to assess the value of flexibility

We present a novel dual control strategy for uncertain linear systems based on targeted harmonic exploration and gain scheduling with performance and excitation guarantees. In the proposed sequential approach, robust control is implemented after an exploration phase with the main feature that the exploration is optimized w.r.t. the robust control performance. Specifically, we leverage recent results

The acceptance of automated driving is under the potential threat of motion sickness. It hinders the passengers' willingness to perform secondary activities. In order to mitigate motion sickness in automated vehicles, we propose an optimization-based motion planning algorithm that minimizes the distribution of acceleration energy within the frequency range that is found to be the most nauseogenic.

Distributed model predictive control (DMPC) is a flexible and scalable feedback control method applicable to a wide range of systems. While stability analysis of DMPC is quite well understood, there exist only limited implementation results for realistic applications involving distributed computation and networked communication. This article approaches formation control of mobile robots via a cooperative

The article considers the issue of increasing the structural reliability of a biofuel production plant. A review of the existing basic technological schemes of the biofuel production plant has been carried out. The main structural elements are determined and a functional diagram is constructed. Processed cooking oil was chosen as the input raw material. A structural analysis of the reliability of each

This paper proposes a computationally efficient framework, based on interval analysis, for rigorous verification of nonlinear continuous-time dynamical systems with neural network controllers. Given a neural network, we use an existing verification algorithm to construct inclusion functions for its input-output behavior. Inspired by mixed monotone theory, we embed the closed-loop dynamics into a larger

The development of vibration protection systems that ensure efficiency and safety in the operation of process equipment and pipelines is one of the main tasks of controlling the dynamic state of machines. One of the effective methods of vibration isolation of the equipment of these installations is the use of vibration mounts. Today, both passive and active methods of extinguishing are actively used

For a receding-horizon controller with a known system and with an approximate terminal value function, it is well-known that increasing the prediction horizon can improve its control performance. However, when the prediction model is inexact, a larger prediction horizon also causes propagation and accumulation of the prediction error. In this work, we aim to analyze the effect of the above trade-off

Timeliness of information is critical for Basic Safety Messages (BSMs) in Vehicle-to-Everything (V2X) communication to enable highly reliable autonomous driving. However, the current semi-persistent scheduling (SPS) algorithms in the 5th generation New Radio (5G NR) standard can still generate collisions probability, close to 20% with 100 vehicles per kilometer, such that they cannot meet this requirement