SearcharxivSearch

arXiv subjects

Andrew Roberts

Publications and source records attributed to Andrew Roberts.

15 recordsLinked to original sources

Stochastic Emulation of a Fully Coupled Preindustrial E3SMv3 Simulation

We present a stochastic coupled emulator of E3SM version 3, built on the SamudrACE framework, which couples an atmosphere emulator (ACE2) with a full-depth ocean emulator (Samudra). We replace the deterministic atmosphere emulator with its stochastic counterpart, ACE2S, and fine-tune the coupled system with a probabilistic objective, so that the atmosphere acts as a source of internal variability for the ocean. Trained on 105 years of a pre-industrial control simulation and evaluated on an independent 400 years, the emulator reproduces E3SMv3's mean climate state with biases much smaller than existing model-to-observation differences. Relative to a deterministic baseline, stochastic training maintains internal variability across timescales, most notably in the ENSO power spectrum, eddy-rich SST anomalies, and sea ice variability in the marginal ice zone. The emulator captures daily precipitation accurately up to the 99.99th percentile, but underestimates the rarest tropical extremes. These results show that stochastic coupled emulators can reproduce long-timescale variability with high fidelity, while extrapolation to unseen extremes remains a key challenge.

physics.ao-ph

FuzzSense: Towards A Modular Fuzzing Framework for Autonomous Driving Software

Fuzz testing to find semantic control vulnerabilities is an essential activity to evaluate the robustness of autonomous driving (AD) software. Whilst there is a preponderance of disparate fuzzing tools that target different parts of the test environment, such as the scenario, sensors, and vehicle dynamics, there is a lack of fuzzing strategies that ensemble these fuzzers to enable concurrent fuzzing, utilizing diverse techniques and targets. This research proposes FuzzSense, a modular, black-box, mutation-based fuzzing framework that is architected to ensemble diverse AD fuzzing tools. To validate the utility of FuzzSense, a LiDAR sensor fuzzer was developed as a plug-in, and the fuzzer was implemented in the new AD simulation platform AWSIM and Autoware.Universe AD software platform. The results demonstrated that FuzzSense was able to find vulnerabilities in the new Autoware.Universe software. We contribute to FuzzSense open-source with the aim of initiating a conversation in the community on the design of AD-specific fuzzers and the establishment of a community fuzzing framework to better target the diverse technology base of autonomous vehicles.

cs.CR

REACT: Autonomous Intrusion Response System for Intelligent Vehicles

Autonomous and connected vehicles are rapidly evolving, integrating numerous technologies and software. This progress, however, has made them appealing targets for cybersecurity attacks. As the risk of cyber threats escalates with this advancement, the focus is shifting from solely preventing these attacks to also mitigating their impact. Current solutions rely on vehicle security operation centers, where attack information is analyzed before deciding on a response strategy. However, this process can be time-consuming and faces scalability challenges, along with other issues stemming from vehicle connectivity. This paper proposes a dynamic intrusion response system integrated within the vehicle. This system enables the vehicle to respond to a variety of incidents almost instantly, thereby reducing the need for interaction with the vehicle security operation center. The system offers a comprehensive list of potential responses, a methodology for response evaluation, and various response selection methods. The proposed solution was implemented on an embedded platform. Two distinct cyberattack use cases served as the basis for evaluating the system. The evaluation highlights the system's adaptability, its ability to respond swiftly, its minimal memory footprint, and its capacity for dynamic system parameter adjustments. The proposed solution underscores the necessity and feasibility of incorporating dynamic response mechanisms in smart vehicles. This is a crucial factor in ensuring the safety and resilience of future smart mobility.

cs.CR

(Un)predictability of strong El Ni\~no events

The El Ni\~no-Southern Oscillation (ENSO) is a mode of interannual variability in the coupled equatorial Pacific coupled atmosphere/ocean system. El Ni\~no describes a state in which sea surface temperatures in the eastern Pacific increase and upwelling of colder, deep waters diminishes. El Ni\~no events typically peak in boreal winter, but their strength varies irregularly on decadal time scales. There were exceptionally strong El Ni\~no events in 1982-83, 1997-98 and 2015-16 that affected weather on a global scale. Widely publicized forecasts in 2014 predicted that the 2015-16 event would occur a year earlier. Predicting the strength of El Ni\~no is a matter of practical concern due to its effects on hydroclimate and agriculture around the world. This paper discusses the frequency and regularity of strong El Ni\~no events in the context of chaotic dynamical systems. We discover a mechanism that limits their predictability in a conceptual "recharge oscillator" model of ENSO. Weak seasonal forcing or noise in this model can induce irregular switching between an oscillatory state that has strong El Ni\~no events and a chaotic state that lacks strong events, In this regime, the timing of strong El Ni\~no events on decadal time scales is unpredictable.

math.DS

An early warning system for multivariate time series with sparse and non-uniform sampling

In this paper we propose a new early warning test statistic, the ratio of deviations (RoD), which is defined to be the root mean squared of successive differences divided by the standard deviation. We show that RoD and autocorrelation are asymptotically related, and this relationship motivates the use of RoD to predict Hopf bifurcations in multivariate systems before they occur. We validate the use of RoD on synthetic data in the novel situation where the data is sparse and non-uniformly sampled. Additionally, we adapt the method to be used on high-frequency time series by sampling, and demonstrate the proficiency of RoD as a classifier.

math.DS

Code review and cooperative pair programming best practice

We need ways to improve the code quality. Programmers have different level of tenure and experience. Standard and programming languages change and we are forced to re-use legacy code with minimum revision. Programmers develop their habits and can be slow to incorporate new technologies to simplify the code or improve the performance. We rolled out our customized code review and pair programming process to address these issues. The paper discusses the about the improvement of mandatory code review and pair programming practiced in the commercial software development, and also proposes effective approaches to customize the code review and pair programming to avoid the pitfalls and keep the benefits.

cs.SE

Detecting transient rate-tipping using Steklov averages and Lyapunov vectors

A wide variety of physical systems ranging from the firing of neurons to eutrophication of lakes to the presence of Arctic summer sea ice exhibit a phenomenon known as tipping. In mathematical models, tipping can be caused by bifurcations, noise, and the rate at which parameters are changing in time [2]. Because traditional methods in dynamical systems are usually concerned with the long-term behavior of the system, these methods are not always able to detect the transient dynamics characteristic of rate-tipping. In this paper, we consider one- and two-dimensional dynamical systems with nonautonomous parameters that exhibit rate-tipping, as defined as not tracking the evolution of stable equilibria (QSEs) in the corresponding autonomous systems. We find that nonautonomous stability spectra in the form of Steklov averages and their derivatives appear to be correlated with transient rate-tipping in systems with unique QSEs or with parameters that change at a constant rate. Furthermore, for systems in two dimensions and higher, comparison of the angle between leading Lyapunov vectors of different trajectories admits a possible criterion for detecting rate-tipping. Our heuristic results add to the body of work dedicated to studying and understanding the phenomenon of rate-tipping.

math.DS

Intrinsic unpredictability of strong El Ni\~no events

The El Ni\~no-Southern Oscillation (ENSO) is a mode of interannual variability in the coupled equatorial ocean/atmosphere Pacific. El Ni\~no describes a state in which sea surface temperatures in the eastern Pacific increase and upwelling of colder, deep waters diminishes. El Ni\~no events typically peak in boreal winter, but their strength varies irregularly on decadal time scales. There were exceptionally strong El Ni\~no events in 1982-83, 1997-98 and 2015-16 that affected weather on a global scale. Widely publicized forecasts in 2014 predicted that the 2015-16 event would occur a year earlier. Predicting the strength of El Ni\~no is a matter of practical concern due to its effects on hydroclimate and agriculture around the world. This paper presents a new robust mechanism limiting the predictability of strong ENSO events: the existence of an irregular switching between an oscillatory state that has strong El Ni\~no events and a chaotic state that lacks strong events, which can be induced by very weak seasonal forcing or noise.

physics.ao-ph

Mixed mode oscillations of the El Ni\~no-Southern Oscillation

Very strong El Ni\~no events occur sporadically every 10-20 years. The origin of this bursting behavior still remains elusive. Using a simplified 3-dimensional dynamical model of the tropical Pacific climate system, which captures the El Ni\~no-Southern Oscillation (ENSO) combined with recently developed mathematical tools for fast-slow systems we show that decadal ENSO bursting behavior can be explained as a Mixed Mode Oscillation (MMO), which also predicts a critical threshold for rapid amplitude growth. It is hypothesized that the MMO dynamics of the low-dimensional climate model can be linked to a saddle-focus equilibrium point, which mimics a tropical Pacific Ocean state without ocean circulation.

math.DS

Persistence of Saddle Behavior in the Nonsmooth Limit of Smooth Dynamical Systems

Models such as those involving abrupt changes in the Earth's reflectivity due to ice melt and formation often use nonlinear terms (e.g., hyperbolic tangent) to model the transition between two states. For various reasons, these models are often approximated by "simplified" discontinuous piecewise-linear systems that are obtained by letting the length of the transition region limit to zero. The smooth versions of these models may exhibit equilibrium solutions that are destroyed as parameter changes transition the models from smooth to nonsmooth. Using one such model as motivation, we explore the persistence of local behavior around saddle equilibria under these transitions. We find sufficient conditions under which smooth models with saddle equilibria can become nonsmooth models with "zombie saddle" behavior, and analogues of stable and unstable manifolds persist.

math.DS

Canard explosion and relaxation oscillation in planar, piecewise-smooth, continuous systems

Classical canard explosion results in smooth systems require the vector field to be at least $C^3$, since canard cycles are created as the result of a Hopf bifurcation. The work on canards in nonsmooth, planar systems is recent and has thus far been restricted to piecewise-linear or piecewise-smooth Van der Pol systems, where an extremum of the critical manifold arises from the nonsmoothness. In both of these cases, a canard (or canard-like) explosion is created through a nonsmooth bifurcation as the slow nullcline passes through a corner of the critical manifold. Additionally, it is possible for these systems to exhibit a superexplosion bifurcation where the canard explosion is skipped. This paper extends the results to more general piecewise-smooth systems, finding conditions for when a periodic orbit is created through either a smooth or nonsmooth bifurcation. In the case the bifurcation is nonsmooth, conditions determining whether the bifurcation is a super-explosion or canards are created.

math.DS

Relaxation oscillations in an idealized ocean circulation model

This work is motivated by a desire to understand transitions between stable equilibria observed in Stommel's 1961 thermohaline circulation model. We adapt the model, including a forcing parameter as a dynamic slow variable. The resulting model is a piecewise-smooth, three time-scale system. The model is analyzed using geometric singular perturbation theory to demonstrate the existence of attracting periodic orbits. The system is capable of producing classical relaxation oscillations as expected, but there is also a parameter regime in which the model exhibits small amplitude oscillations known as canard cycles. Forcing the model with obliquity variations from the last 100,000 years produces oscillations that are modulated in amplitude and frequency. The output shows similarities with important features of the climate proxy data of the same period.

math.DS

Mixed mode oscillations in a conceptual climate model

Much work has been done on relaxation oscillations and other simple oscillators in conceptual climate models. However, the oscillatory patterns in climate data are often more complicated than what can be described by such mechanisms. This paper examines complex oscillatory behavior in climate data through the lens of mixed-mode oscillations. As a case study, a conceptual climate model with governing equations for global mean temperature, atmospheric carbon, and oceanic carbon is analyzed. The nondimensionalized model is a fast/slow system with one fast variable (corresponding to ice volume) and two slow variables (corresponding to the two carbon stores). Geometric singular perturbation theory is used to demonstrate the existence of a folded node singularity. A parameter regime is found in which (singular) trajectories that pass through the folded node are returned to the singular funnel in the limiting case where $\epsilon = 0$. In this parameter regime, the model has a stable periodic orbit of type $1^s$ for some $s>0$. To our knowledge, it is the first conceptual climate model demonstrated to have the capability to produce an MMO pattern.

math.DS

Canard-like phenomena in piecewise-smooth Van der Pol systems

We show that a nonlinear, piecewise-smooth, planar dynamical system can exhibit canard phenomena. Canard solutions and explosion in nonlinear, piecewise-smooth systems can be qualitatively more similar to the phenomena in smooth systems than piecewise-linear systems, since the nonlinearity allows for canards to transition from small cycles to canards ``with heads." The canards are born of a bifurcation that occurs as the slow-nullcline coincides with the splitting manifold. However, there are conditions under which this bifurcation leads to a phenomenon called super-explosion, the instantaneous transition from a globally attracting periodic orbit to relaxations oscillations. Also, we demonstrate that the bifurcation---whether leading to canards or super-explosion---can be subcritical.

math.DS

A New Position Control Strategy for VTOL UAVs using IMU and GPS measurements

We propose a new position control strategy for VTOL-UAVs using IMU and GPS measurements. Since there is no sensor that measures the attitude, our approach does not rely on the knowledge (or reconstruction) of the system orientation as usually done in the existing literature. Instead, IMU and GPS measurements are directly incorporated in the control law. An important feature of the proposed strategy, is that the accelerometer is used to measure the apparent acceleration of the vehicle, as opposed to only measuring the gravity vector, which would otherwise lead to unexpected performance when the vehicle is accelerating (i.e. not in a hover configuration). Simulation results are provided to demonstrate the performance of the proposed position control strategy in the presence of noise and disturbances.

math.OC