We propose a method for the Bayesian prediction of shocks in scalar partial differential equations (PDEs) representing conservation equations from noisy observations of the boundary conditions. By considering the impl...
We propose a method for the Bayesian prediction of shocks in scalar partial differential equations (PDEs) representing conservation equations from noisy observations of the boundary conditions. By considering the implicit transformation from boundary conditions to shocks, we construct an arrival process interpretation of shocks as well as an associated arrival rate function. We then introduce a Monte Carlo method to approximate the arrival rate of shocks based on the probability of a sufficiently large range of values in an epsilon ball conditioned on noisy boundary measurements. We illustrate the method with simulations of Burgers’ equation with initial conditions set by Brownian motion. Despite the non-smooth boundary, our proposed method constructs a sparse and readily interpretable probabilistic structure of shock arrival and propagation.
Through the lens of average and peak age-of-information (AoI), this paper takes a fresh look into the uplink medium access solutions for mission-critical (MC) communication coexisting with enhanced mobile broadband (e...
详细信息
Gaussian beamlets are generated simultaneously around a perfect vortex envelope, each with a unique frequency corresponding to its specific location around the envelope with an overall OAM encoded across the array. Th...
详细信息
ISBN:
(纸本)9781957171258
Gaussian beamlets are generated simultaneously around a perfect vortex envelope, each with a unique frequency corresponding to its specific location around the envelope with an overall OAM encoded across the array. These beams are propagated through a turbulent underwater environment, providing information between the interaction of these beams with this environment to understand the spatial and temporal properties of the water channel.
Urban Air Mobility (UAM) offers a solution to current traffic congestion by using electric Vertical Takeoff and Landing (eVTOL) vehicles to provide on-demand air mobility in urban areas. Effective traffic management i...
详细信息
Large language models (LLMs) such as ChatGPT have been trained to generate human-like responses to natural language prompts. LLMs use a vast corpus of text data for training, and can generate coherent and contextually...
Large language models (LLMs) such as ChatGPT have been trained to generate human-like responses to natural language prompts. LLMs use a vast corpus of text data for training, and can generate coherent and contextually relevant responses to a wide range of questions and statements. Despite this remarkable progress, LLMs are prone to hallucinations making their application to safety-critical applications such as autonomous systems difficult. The hallucinations in LLMs refer to instances where the model generates responses that are not factually accurate or contextually appropriate. These hallucinations can occur due to a variety of factors, such as the model’s lack of real-world knowledge, the influence of biased or inaccurate training data, or the model’s tendency to generate responses based on statistical patterns rather than a true understanding of the input. While these hallucinations are a nuisance in tasks such as text summarization and question-answering, they can be catastrophic when LLMs are used in autonomy-relevant applications such as planning. In this paper, we focus on the application of LLMs in autonomous systems and sketch a novel self-monitoring and iterative prompting architecture that uses formal methods to detect these errors in the LLM response automatically. We exploit the dialog capability of LLMs to iteratively steer them to responses that are consistent with our correctness specification. We report preliminary experiments that show the promise of the proposed approach on tasks such as automated planning.
Recent research has shown that a small perturbation to an input may forcibly change the prediction of a machine learning (ML) model. Such variants are commonly referred to as adversarial examples. Early studies have f...
详细信息
Control barrier functions (CBFs) have been widely used for synthesizing controllers in safety-critical applications. When used as a safety filter, a CBF provides a simple and computationally efficient way to obtain sa...
Control barrier functions (CBFs) have been widely used for synthesizing controllers in safety-critical applications. When used as a safety filter, a CBF provides a simple and computationally efficient way to obtain safe controls from a possibly unsafe performance controller. Despite its conceptual simplicity, constructing a valid CBF is well known to be challenging, especially for high-relative degree systems under nonconvex constraints. Recently, work has been done to learn a valid CBF from data based on a handcrafted CBF (HCBF). Even though the HCBF gives a good initialization point, it still requires a large amount of data to train the CBF network. In this work, we propose a new method to learn more efficiently from the collected data through a novel prioritized data sampling strategy. A priority score is computed from the loss value of each data point. Then, a probability distribution based on the priority score of the data points is used to sample data and update the learned CBF. Using our proposed approach, we can learn a valid CBF that recovers a larger portion of the true safe set using a smaller amount of data. The effectiveness of our method is demonstrated in simulation on a two-link arm.
The performance of Interline DC Power Flow Controllers (IDC-PFCs) in Voltage Source Converters (VSC)-based High Voltage Direct Current (HVDC) grids, can be affected due to different issues. The current limitation of H...
详细信息
The performance of Interline DC Power Flow Controllers (IDC-PFCs) in Voltage Source Converters (VSC)-based High Voltage Direct Current (HVDC) grids, can be affected due to different issues. The current limitation of HVDC lines, the voltage limitation of HVDC buses, and DC voltage of the IDC-PFC intermediary capacitor prevent effective and efficient operation of IDC-PFCs. In this paper, it is shown that this issue can be overcome by using a virtual capacitor in parallel with the IDC-PFC intermediary capacitor. Also, an energy control-based scheme is proposed for the operation of IDC-PFCs in VSC-HVDC grid. The benefits of using the virtual capacitor are: widening the operational area of the IDC-PFCs for the determined duty cycle and injecting more voltage in series to the interconnected HVDC line to control the related HVDC line current. The proposed solution is successfully evaluated on a CIGRE three-terminal VSC-HVDC grid which is modeled by linearized space-state equations.
In this article, we introduce an adaptive online model update algorithm designed for predictive control applications in networked systems, particularly focusing on power distribution systems. Unlike traditional method...
详细信息
An increasingly popular machine learning paradigm is to pretrain a neural network (NN) on many tasks offline, then adapt it to downstream tasks, often by re-training only the last linear layer of the network. This app...
详细信息
暂无评论