arXiv subjects

Daniel Mitchell

Publications and source records attributed to Daniel Mitchell.

At least 19 recordsLinked to original sources

arXiv2026

VASTER: The ASKAP real-time fast-imaging pipeline -- overview and discovery of two long period transients

Recent developments in widefield radio telescopes have enabled searches of a new region of parameter space in the time domain: timescales of seconds to minutes, that have been overlooked in traditional surveys. These searches have revealed a new population of sources: long period transients, which typically show periodic behaviour of minutes to hours. In addition they have detected phenomena ranging from extreme scintillation to stellar radio bursts. However, almost all searches to date have involved archival data that has been processed in offline, batch mode. In this context, we present VASTER, the first short-timescale imaging and transient detection pipeline running in real time on a widefield radio telescope. VASTER has been running on the Australian SKA Pathfinder (ASKAP) since July 2025, and images most of the ASKAP survey project data on timescales of 15 minutes. In this paper we describe the VASTER system, and present the results from the first two weeks of operation, including the discovery of two long period transients: ASKAP~J165130.3$-$450520 with a period of 6.48 hours and ASKAP~J170036.6$-$445758 with a period of 4.69 hours. The detection of these two sources adds to the small, but growing, population of long period transients, as well as demonstrating the potential of VASTER to explore this region of transient parameter space.

astro-ph.IM↗

arXiv2026

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)

While using formal methods offers advantages over unit testing, their steep learning curve can be daunting to developers and can be a major impediment to widespread adoption. To support integration into an industrial software engineering workflow, a tool must provide useful information and must be usable with relatively minimal user effort. In this paper, we discuss our experiences associated with identifying and applying formal methods tools on an electronic warfare (EW) system with stringent safety requirements and present perspectives on formal methods tools from EW software engineers who are proficient in development yet lack formal methods training. In addition to a difference in mindset between formal methods and unit testing approaches, some formal methods tools use terminology or annotations that differ from their target programming language, creating another barrier to adoption. Input/output contracts, objects in memory affected by a function, and loop invariants can be difficult to grasp and use. In addition to usability, our findings include a comparison of vulnerabilities detected by different tools. Finally, we present suggestions for improving formal methods usability including better documentation of capabilities, decreased manual effort, and improved handling of library code.

cs.LO↗

arXiv2025

Deep Investigation of Neutral Gas Origins (DINGO): Options for robust Deep Spectral Line Imaging in the SKA-Era

The data storage requirements for deep spectral line observations with next-generation radio interferometers like the Australian Square Kilometre Array Pathfinder (ASKAP) and the Square Kilometre Array (SKA) are challenging. The default strategy is to reduce data after each daily observation and stack the resulting images. Although computationally efficient, this approach risks propagating systematic errors (e.g. RFI, continuum and deconvolution residuals) and degrades data quality. Imaging the entire deep dataset jointly, the traditional approach, is prohibitively expensive in storage and compute. We present an alternative \textit{uv}-grid stacking method and compare its outcomes with both the traditional approach, our benchmark, and the default image-stacking method, using 200~h of the Deep Investigation of Neutral Gas Origins (DINGO) pilot and main survey data. Our method pauses the standard imaging pipeline after forming the daily residual visibility grids, which are then stacked and jointly deconvolved to combine many epochs of data. Relative to the traditional method, image-stacking recovers a median of 0.92$_{-0.02}^{+0.05}$ of the reference {\HI} flux across our source sample, and \textit{uv}-grid stacking recovers 0.99$_{-0.04}^{+0.01}$. For the brightest source, both methods show a similar, negligible flux offset of $\sim$3 per~cent from the traditional flux. {\HI} velocity widths ($W_{50}$, $W_{20}$) are recovered to within a few per~cent by both methods, with image-stacking showing somewhat larger deviations and scatter. Image-stacking further introduces non-physical artefacts, such as negative bowls around strong sources, indicating poor deconvolution and loss of physical information. Based on these findings, we intend to apply \textit{uv}-grid stacking to the DINGO survey on ASKAP.

astro-ph.IM↗

arXiv2025

Experiences of Commercial Supercomputing in Radio Astronomy Data Processing

The ongoing exponential growth of computational power, and the growth of the commercial High Performance Computing (HPC) industry, has led to a point where ten commercial systems currently exceed the performance of the highest-used HPC system in radio astronomy in Australia, and one of these exceeds the expected requirements of the Square Kilometre Array (SKA) Science Data Processors. In order to explore implications of this emerging change in the HPC landscape for radio astronomy, we report results from a survey conducted via semi-structured interviews with 14 Australian scientists and providers with experience of commercial HPC in astronomy and similar data intensive fields. We supplement these data with learnings from two earlier studies in which we investigated the application of commercial HPC to radio astronomy data processing, using cases with very different data and processing considerations. We use the established qualitative research approach of thematic analysis to extract key messages from our interviews. We find that commercial HPC can provide major advantages in accessibility and availability, and may contribute to increasing researchers' career productivity. Significant barriers exist, however, including the need for access to increased expertise in systems programming and parallelisation, and a need for recognition in research funding. We comment on potential solutions to these issues.

astro-ph.IM↗

arXiv2024

Motor Imagery Teleoperation of a Mobile Robot Using a Low-Cost Brain-Computer Interface for Multi-Day Validation

Brain-computer interfaces (BCI) have the potential to provide transformative control in prosthetics, assistive technologies (wheelchairs), robotics, and human-computer interfaces. While Motor Imagery (MI) offers an intuitive approach to BCI control, its practical implementation is often limited by the requirement for expensive devices, extensive training data, and complex algorithms, leading to user fatigue and reduced accessibility. In this paper, we demonstrate that effective MI-BCI control of a mobile robot in real-world settings can be achieved using a fine-tuned Deep Neural Network (DNN) with a sliding window, eliminating the need for complex feature extractions for real-time robot control. The fine-tuning process optimizes the convolutional and attention layers of the DNN to adapt to each user's daily MI data streams, reducing training data by 70% and minimizing user fatigue from extended data collection. Using a low-cost (~$3k), 16-channel, non-invasive, open-source electroencephalogram (EEG) device, four users teleoperated a quadruped robot over three days. The system achieved 78% accuracy on a single-day validation dataset and maintained a 75% validation accuracy over three days without extensive retraining from day-to-day. For real-world robot command classification, we achieved an average of 62% accuracy. By providing empirical evidence that MI-BCI systems can maintain performance over multiple days with reduced training data to DNN and a low-cost EEG device, our work enhances the practicality and accessibility of BCI technology. This advancement makes BCI applications more feasible for real-world scenarios, particularly in controlling robotic systems.

cs.RO↗

arXiv2024

Deep Investigation of Neutral Gas Origins (DINGO): Options for the Processing and Storage of Radio Astronomy Data for robust Deep Spectral Line Imaging in the SKA-Era using uv-Grids

The next generation of radio astronomy telescopes are challenging existing data analysis paradigms, as they have an order of magnitude more antennas and larger bandwidth. Foremost amongst these are deep spectral line surveys, because these have the largest number of epochs and spectral channels per dataset. For example, the Deep Investigation of Neutral Gas Origins (DINGO) project on the Australian Square Kilometre Array Pathfinder (ASKAP) aims to observe over 3,200 hours spread over hundreds of observing sessions, covering two tiles, two footprints and two frequency settings. The two primary problems encountered when processing this data are the need for storage and that processing is primarily I/O limited. To address these issues, we have implemented a deep imaging pipeline based on the storage of an intermediate data product in the software ASKAPsoft, that of the uv-gridded data, and have demonstrated lossy and lossless compression of this data on ASKAP, using MGARD and ADIOS2 libraries. We find data compression ratios from a factor of 7 (lossless) up to 20 (using lossy compression with an absolute error bound of $10^{-4}$), and processing is significantly faster for lossless compression. We discuss the effectiveness of lossy MGARD compression and its adherence to the designated error bounds, the trade-off between these error bounds and the corresponding compression ratios, as well as the potential consequences of these I/O and storage improvements on the science quality of the data products. As lossless compression allows us to achieve the DINGO goals within the storage limitations for the project, this will be the option adopted.

astro-ph.IM↗

arXiv2024

An image-based blind search for Fast Radio Bursts in 88 hours of data from the EoR0 Field, with the Murchison Widefield Array

This work is part of ongoing efforts to detect Fast Radio Bursts (FRBs) using the Murchison Widefield Array (MWA) in a spectral window below 300 MHz. We used an image-based method based on the pilot study of Tingay et al. 2015, scaled up via massively parallel processing using a commercial supercomputer. We searched 87.6 hours of 2-second snapshot images, each covering 1165 square degrees of the EoR0 field, over a dispersion measure range of 170 to 1035 pc cm$^{-3}$. The large amount of data necessitated the construction of a series of filters to classify and reject the large number of false positives. Our search was more sensitive than any previous blind search using the MWA telescope, but we report no FRB detections, a result which is consistent with the extrapolation into the low-frequency domain of the results of Sokolowski et al. (2024). We obtain upper bounds on the event rate ranging from <1783 sky$^{-1}$day$^{-1}$ at a fluence of 392 Jy ms, to <31 sky$^{-1}$day$^{-1}$ at 8400 Jy ms, for our spectral window of 167-198 MHz. Our method was shown to be computationally efficient and scalable by the two or three orders of magnitude required to seriously test the model of Sokolowski et al. Our process is especially sensitive to detections of satellites and meteor trails and may find applications in the identification of these transients. We comment on future surveys using this method, with both the MWA and the SKA.

astro-ph.IM↗

arXiv2023

Non-contact Sensing for Anomaly Detection in Wind Turbine Blades: A focus-SVDD with Complex-Valued Auto-Encoder Approach

The occurrence of manufacturing defects in wind turbine blade (WTB) production can result in significant increases in operation and maintenance costs and lead to severe and disastrous consequences. Therefore, inspection during the manufacturing process is crucial to ensure consistent fabrication of composite materials. Non-contact sensing techniques, such as Frequency Modulated Continuous Wave (FMCW) radar, are becoming increasingly popular as they offer a full view of these complex structures during curing. In this paper, we enhance the quality assurance of manufacturing utilizing FMCW radar as a non-destructive sensing modality. Additionally, a novel anomaly detection pipeline is developed that offers the following advantages: (1) We use the analytic representation of the Intermediate Frequency signal of the FMCW radar as a feature to disentangle material-specific and round-trip delay information from the received wave. (2) We propose a novel anomaly detection methodology called focus Support Vector Data Description (focus-SVDD). This methodology involves defining the limit boundaries of the dataset after removing healthy data features, thereby focusing on the attributes of anomalies. (3) The proposed method employs a complex-valued autoencoder to remove healthy features and we introduces a new activation function called Exponential Amplitude Decay (EAD). EAD takes advantage of the Rayleigh distribution, which characterizes an instantaneous amplitude signal. The effectiveness of the proposed method is demonstrated through its application to collected data, where it shows superior performance compared to other state-of-the-art unsupervised anomaly detection methods. This method is expected to make a significant contribution not only to structural health monitoring but also to the field of deep complex-valued data processing and SVDD application.

eess.SP↗

arXiv2022

Quantifying broadband chromatic drifts in Fabry-Perot resonators for exoplanet science

The possibility of an Earth-Sun analog beyond our solar system is one of the most longstanding questions in science. At present, answering this question embodies an extremely difficult measurement problem that requires multiple coordinated advances in astronomical telescopes, fiber optics, precision spectrographs, large format detector arrays, and advanced data processing. Taken together, addressing this challenge will require the measurement and calibration of shifts in stellar spectra at the 10^-10 level over multi-year periods. The potential for such precision has recently been advanced by the introduction of laser frequency combs (LFCs) to the field of precision astronomical spectroscopy. However, the expense, complexity and lack of full spectral coverage of LFCs has limited their widespread use and ultimate impact. To address this issue, we explore simple and robust white-light-illuminated Fabry-Perot (FP) etalons as spectral calibrators for precise radial velocity measurements. We track the frequencies of up to 13,000 etalon modes of the installed FPs from two state-of-the-art astronomical spectrographs. Combining these measurements with modeling, we trace unexpected chromatic variations of the FP modes to sub-picometer changes in the dielectric layers of the broad bandwidth FP mirrors. This yields the determination of the frequencies of the FP modes with precision approaching 10^-11/day, equivalent to a radial velocity (RV) Doppler shift of 3 mm/s/day. These results represent critical progress in precision RV measurements on two fronts: first, they make FP etalons a more powerful stand-alone calibration tool, and second, they demonstrate the capability of LFCs to extend cm/s level RV measurement precision over periods approaching a year. Together, these advances highlight a path to achieving spectroscopic calibration at levels that will be critical for finding earths like our own.

physics.optics↗

arXiv2022

Millimeter-Wave Sensing for Avoidance of High-Risk Ground Conditions for Mobile Robots

Mobile robot autonomy has made significant advances in recent years, with navigation algorithms well developed and used commercially in certain well-defined environments, such as warehouses. The common link in usage scenarios is that the environments in which the robots are utilized have a high degree of certainty. Operating environments are often designed to be robot friendly, for example augmented reality markers are strategically placed and the ground is typically smooth, level, and clear of debris. For robots to be useful in a wider range of environments, especially environments that are not sanitized for their use, robots must be able to handle uncertainty. This requires a robot to incorporate new sensors and sources of information, and to be able to use this information to make decisions regarding navigation and the overall mission. When using autonomous mobile robots in unstructured and poorly defined environments, such as a natural disaster site or in a rural environment, ground condition is of critical importance and is a common cause of failure. Examples include loss of traction due to high levels of ground water, hidden cavities, or material boundary failures. To evaluate a non-contact sensing method to mitigate these risks, Frequency Modulated Continuous Wave (FMCW) radar is integrated with an Unmanned Ground Vehicle (UGV), representing a novel application of FMCW to detect new measurands for Robotic Autonomous Systems (RAS) navigation, informing on terrain integrity and adding to the state-of-the-art in sensing for optimized autonomous path planning. In this paper, the FMCW is first evaluated in a desktop setting to determine its performance in anticipated ground conditions. The FMCW is then fixed to a UGV and the sensor system is tested and validated in a representative environment containing regions with significant levels of ground water saturation.

cs.RO↗

arXiv2022

Addressing Non-Intervention Challenges via Resilient Robotics utilizing a Digital Twin

Multi-robot systems face challenges in reducing human interventions as they are often deployed in dangerous environments. It is therefore necessary to include a methodology to assess robot failure rates to reduce the requirement for costly human intervention. A solution to this problem includes robots with the ability to work together to ensure mission resilience. To prevent this intervention, robots should be able to work together to ensure mission resilience. However, robotic platforms generally lack built-in interconnectivity with other platforms from different vendors. This work aims to tackle this issue by enabling the functionality through a bidirectional digital twin. The twin enables the human operator to transmit and receive information to and from the multi-robot fleet. This digital twin considers mission resilience and autonomous and human-led decision making to enable the resilience of a multi-robot fleet. This creates the cooperation, corroboration, and collaboration of diverse robots to leverage the capability of robots and support recovery of a failed robot.

cs.RO↗

arXiv2022

Millimeter-wave Foresight Sensing for Safety and Resilience in Autonomous Operations

Robotic platforms are highly programmable, scalable and versatile to complete several tasks including Inspection, Maintenance and Repair (IMR). Mobile robotics offer reduced restrictions in operating environments, resulting in greater flexibility; operation at height, dangerous areas and repetitive tasks. Cyber physical infrastructures have been identified by the UK Robotics Growth Partnership as a key enabler in how we utilize and interact with sensors and machines via the virtual and physical worlds. Cyber Physical Systems (CPS) allow for robotics and artificial intelligence to adapt and repurpose at pace, allowing for the addressment of new challenges in CPS. A challenge exists within robotics to secure an effective partnership in a wide range of areas which include shared workspaces and Beyond Visual Line of Sight (BVLOS). Robotic manipulation abilities have improved a robots accessibility via the ability to open doorways, however, challenges exist in how a robot decides if it is safe to move into a new workspace. Current sensing methods are limited to line of sight and are unable to capture data beyond doorways or walls, therefore, a robot is unable to sense if it is safe to open a door. Another limitation exists as robots are unable to detect if a human is within a shared workspace. Therefore, if a human is detected, extended safety precautions can be taken to ensure the safe autonomous operation of a robot. These challenges are represented as safety, trust and resilience, inhibiting the successful advancement of CPS. This paper evaluates the use of frequency modulated continuous wave radar sensing for human detection and through-wall detection to increase situational awareness. The results validate the use of the sensor to detect the difference between a person and infrastructure, and increased situational awareness for navigation via foresight monitoring through walls.

cs.RO↗

arXiv2022

Bio-inspired Multi-robot Autonomy

Increasingly, high value industrial markets are driving trends for improved functionality and resilience from resident autonomous systems. This led to an increase in multi-robot fleets that aim to leverage the complementary attributes of the diverse platforms. In this paper we introduce a novel bio-inspired Symbiotic System of Systems Approach (SSOSA) for designing the operational governance of a multi-robot fleet consisting of ground-based quadruped and wheeled platforms. SSOSA couples the MR-fleet to the resident infrastructure monitoring systems into one collaborative digital commons. The hyper visibility of the integrated distributed systems, achieved through a latency bidirectional communication network, supports collaboration, coordination and corroboration (3C) across the integrated systems. In our experiment, we demonstrate how an operator can activate a pre-determined autonomous mission and utilize SSOSA to overcome intrinsic and external risks to the autonomous missions. We demonstrate how resilience can be enhanced by local collaboration between SPOT and Husky wherein we detect a replacement battery, and utilize the manipulator arm of SPOT to support a Clearpath Husky A200 wheeled robotic platform. This allows for increased resilience of an autonomous mission as robots can collaborate to ensure the battery state of the Husky robot. Overall, these initial results demonstrate the value of a SSOSA approach in addressing a key operational barrier to scalable autonomy, the resilience.

cs.RO↗

arXiv2021

A Review: Challenges and Opportunities for Artificial Intelligence and Robotics in the Offshore Wind Sector

A global trend in increasing wind turbine size and distances from shore is emerging within the rapidly growing offshore wind farm market. In the UK, the offshore wind sector produced its highest amount of electricity in the UK in 2019, a 19.6% increase on the year before. Currently, the UK is set to increase production further, targeting a 74.7% increase of installed turbine capacity as reflected in recent Crown Estate leasing rounds. With such tremendous growth, the sector is now looking to Robotics and Artificial Intelligence (RAI) in order to tackle lifecycle service barriers as to support sustainable and profitable offshore wind energy production. Today, RAI applications are predominately being used to support short term objectives in operation and maintenance. However, moving forward, RAI has the potential to play a critical role throughout the full lifecycle of offshore wind infrastructure, from surveying, planning, design, logistics, operational support, training and decommissioning. This paper presents one of the first systematic reviews of RAI for the offshore renewable energy sector. The state-of-the-art in RAI is analyzed with respect to offshore energy requirements, from both industry and academia, in terms of current and future requirements. Our review also includes a detailed evaluation of investment, regulation and skills development required to support the adoption of RAI. The key trends identified through a detailed analysis of patent and academic publication databases provide insights to barriers such as certification of autonomous platforms for safety compliance and reliability, the need for digital architectures for scalability in autonomous fleets, adaptive mission planning for resilient resident operations and optimization of human machine interaction for trusted partnerships between people and autonomous assistants.

cs.RO↗

arXiv2021

A 21-cm power spectrum at 48 MHz, using the Owens Valley Long Wavelength Array

The Large-aperture Experiment to detect the Dark Age (LEDA) was designed to measure the 21-cm signal from neutral hydrogen at Cosmic Dawn, $z \approx $15-30. Using observations made with the $\approx $ 200 m diameter core of the Owens Valley Long Wavelength Array (OVRO-LWA), we present a 2-D cylindrical spatial power spectrum for data at 43.1-53.5 MHz ($z_{\rm median}\approx 28$) incoherently integrated for 4 hours, and an analysis of the array sensitivity. Power from foregrounds is localized to a "wedge" within $k_\perp, k_\parallel$ space. After calibration of visibilities using 5 bright compact sources including VirA, we measure $\Delta^2(k) \approx 2 \times 10^{12}\ \mathrm{mK}^2$ outside the foreground wedge, where an uncontaminated cosmological signal would lie, in principle. The measured $\Delta^2(k)$ is an upper limit that reflects a combination of thermal instrumental and sky noise, and unmodelled systematics that scatter power from the wedge, as will be discussed. By differencing calibrated visibilities for close pairs of frequency channels, we suppress foreground sky structure and systematics, extract thermal noise, and use a mix of coherent and incoherent integration to simulate a noise-dominated power spectrum for a 3000 h observation and $z = $16-37. For suitable calibration quality, the resulting noise level, $\Delta^2(k) \approx 100$ mK$^2$ (k = 0.3 Mpc$^{-1}$), would be sufficient to detect peaks in the 21-cm spatial power spectrum due to early Ly-$\alpha$ and X-ray sources, as predicted for a range of theoretical model parameters.

astro-ph.CO↗

arXiv2021

Symbiotic System of Systems Design for Safe and Resilient Autonomous Robotics in Offshore Wind Farms

To reduce Operation and Maintenance (O&M) costs on offshore wind farms, wherein 80% of the O&M cost relates to deploying personnel, the offshore wind sector looks to Robotics and Artificial Intelligence (RAI) for solutions. Barriers to Beyond Visual Line of Sight (BVLOS) robotics include operational safety compliance and resilience, inhibiting the commercialization of autonomous services offshore. To address safety and resilience challenges we propose a Symbiotic System Of Systems Approach (SSOSA), reflecting the lifecycle learning and co-evolution with knowledge sharing for mutual gain of robotic platforms and remote human operators. Our novel methodology enables the run-time verification of safety, reliability and resilience during autonomous missions. To achieve this, a Symbiotic Digital Architecture (SDA) was developed to synchronize digital models of the robot, environment, infrastructure, and integrate front-end analytics and bidirectional communication for autonomous adaptive mission planning and situation reporting to a remote operator. A reliability ontology for the deployed robot, based on our holistic hierarchical-relational model, supports computationally efficient platform data analysis. We demonstrate an asset inspection mission within a confined space through Cooperative, Collaborative and Corroborative (C3) governance (internal and external symbiosis) via decision-making processes and the associated structures. We create a hyper enabled human interaction capability to analyze the mission status, diagnostics of critical sub-systems within the robot to provide automatic updates to our AI-driven run-time reliability ontology. This enables faults to be translated into failure modes for decision-making during the mission.

cs.RO↗

arXiv2018

The extraordinary linear polarisation structure of the southern Centaurus A lobe revealed by ASKAP

We present observations of linear polarisation in the southern radio lobe of Centaurus A, conducted during commissioning of the Australian Square Kilometre Array Pathfinder (ASKAP) telescope. We used 16 antennas to observe a 30 square degree region in a single 12 hour pointing over a 240 MHz band centred on 913 MHz. Our observations achieve an angular resolution of $26\times33$ arcseconds (480 parsecs), a maximum recoverable angular scale of 30 arcminutes, and a full-band sensitivity of 85 $\muup$Jy beam$^{-1}$. The resulting maps of polarisation and Faraday rotation are amongst the most detailed ever made for radio lobes, with of order 10$^5$ resolution elements covering the source. We describe several as-yet unreported observational features of the lobe, including its detailed peak Faraday depth structure, and intricate networks of depolarised filaments. These results demonstrate the exciting capabilities of ASKAP for widefield radio polarimetry.

astro-ph.GA↗

arXiv2014

Serendipitous discovery of a dying Giant Radio Galaxy associated with NGC 1534, using the Murchison Widefield Array

Recent observations with the Murchison Widefield Array at 185~MHz have serendipitously unveiled a heretofore unknown giant and relatively nearby ($z = 0.0178$) radio galaxy associated with NGC\,1534. The diffuse emission presented here is the first indication that NGC\,1534 is one of a rare class of objects (along with NGC\,5128 and NGC\,612) in which a galaxy with a prominent dust lane hosts radio emission on scales of $\sim$700\,kpc. We present details of the radio emission along with a detailed comparison with other radio galaxies with disks. NGC1534 is the lowest surface brightness radio galaxy known with an estimated scaled 1.4-GHz surface brightness of just 0.2\,mJy\,arcmin$^{-2}$. The radio lobes have one of the steepest spectral indices yet observed: $\alpha=-2.1\pm0.1$, and the core to lobe luminosity ratio is $<0.1$\%. We estimate the space density of this low brightness (dying) phase of radio galaxy evolution as $7\times10^{-7}$\,Mpc$^{-3}$ and argue that normal AGN cannot spend more than 6\% of their lifetime in this phase if they all go through the same cycle.

astro-ph.GA↗