arXiv subjects

Richard West

Publications and source records attributed to Richard West.

At least 37 records · Page 2Linked to original sources

arXiv2019

The EBLM Project V. Physical properties of ten fully convective, very-low-mass stars

Measurements of the physical properties of stars at the lower end of the main sequence are scarce. In this context we report masses, radii and surface gravities of ten very-low-mass stars in eclipsing binary systems, with orbital periods of the order of several days. The objects probe the stellar mass-radius relation in the fully convective regime, $M_\star \lesssim 0.35$ M$_\odot$, down to the hydrogen burning mass-limit, $M_{\mathrm{HB}} \sim 0.07$ M$_\odot$. The stars were detected by the WASP survey for transiting extra-solar planets, as low-mass, eclipsing companions orbiting more massive, F- and G-type host stars. We use eclipse observations of the host stars (TRAPPIST, Leonhard Euler, SPECULOOS telescopes), and radial velocities of the host stars (CORALIE spectrograph), to determine physical properties of the low-mass companions. Companion surface gravities are derived from the eclipse and orbital parameters of each system. Spectroscopic measurements of the host star effective temperature and metallicity are used to infer the host star mass and age from stellar evolution models. Masses and radii of the low-mass companions are then derived from the eclipse and orbital parameters of each system. The objects are compared to stellar evolution models for low-mass stars, to test for an effect of the stellar metallicity and orbital period on the radius of low-mass stars in close binary systems. Measurements are in good agreement with stellar models; an inflation of the radii of low-mass stars with respect to model predictions is limited to 1.6 $\pm$ 1.2% in the fully convective regime. The sample of ten objects indicates a scaling of the radius of low-mass stars with the host star metallicity. No correlation between stellar radii and orbital periods of the binary systems is determined. A combined analysis with comparable objects from the literature is consistent with this result.

astro-ph.SR↗

arXiv2019

The PDS 110 observing campaign - photometric and spectroscopic observations reveal eclipses are aperiodic

PDS 110 is a young disk-hosting star in the Orion OB1A association. Two dimming events of similar depth and duration were seen in 2008 (WASP) and 2011 (KELT), consistent with an object in a closed periodic orbit. In this paper we present data from a ground-based observing campaign designed to measure the star both photometrically and spectroscopically during the time of predicted eclipse in September 2017. Despite high-quality photometry, the predicted eclipse did not occur, although coherent structure is present suggesting variable amounts of stellar flux or dust obscuration. We also searched for RV oscillations caused by any hypothetical companion and can rule out close binaries to 0.1 $M_\odot$. A search of Sonneberg plate archive data also enabled us to extend the photometric baseline of this star back more than 50 years, and similarly does not re-detect any deep eclipses. Taken together, they suggest that the eclipses seen in WASP and KELT photometry were due to aperiodic events. It would seem that PDS 110 undergoes stochastic dimmings that are shallower and shorter-duration than those of UX Ori variables, but may have a similar mechanism.

astro-ph.SR↗

arXiv2019

The BEBOP radial-velocity survey for circumbinary planets I. Eight years of CORALIE observations of 47 single-line eclipsing binaries and abundance constraints on the masses of circumbinary planets

We introduce the BEBOP radial velocity survey for circumbinary planets. We initiated this survey using the CORALIE spectrograph on the Swiss Euler Telescope at La Silla, Chile. An intensive four year observing campaign commenced in 2013, targeting 47 single-lined eclipsing binaries drawn from the EBLM survey for low mass eclipsing binaries. Our specific use of binaries with faint M dwarf companions avoids spectral contamination, providing observing conditions akin to single stars. By combining new BEBOP observations with existing ones from the EBLM programme, we report on the results of 1519 radial velocity measurements over timespans as long as eight years. For the best targets we are sensitive to planets down to 0.1 Jupiter masses, and our median sensitivity is 0.4 Jupiter masses. In this initial survey we do not detect any planetary mass companions. Nonetheless, we present the first constraints on the abundance of circumbinary companions, as a function of mass and period. A comparison of our results to Kepler's detections indicates a dispersion of planetary orbital inclinations less than ~10 degrees.

astro-ph.EP↗

arXiv2018

Single site observations of \textit{TESS} single transit detections

Context: TESS has been successfully launched and has begin data acquisition. To expedite the science that may be performed with the resulting data it is necessary to gain a good understanding of planetary yields. Given the observing strategy employed by TESS the probability of detecting single transits in long period systems is increased. These systems require careful consideration. Aims: To simulate the number of TESS transit detections during its 2 year mission with a particular emphasis on single transits. Additionally, to determine the feasibility of ground-based follow-up observations from a single site. Methods: A distribution of planets is simulated around the $\sim$ 4 million stars in the TESS Candidate Target List. These planets are tested for detectable transits and characterised. Based on simulated parameters the single transit detections are further analysed to determine which are amenable to ground-based follow-up. Results: TESS will discover an approximate lower bound of 4700 planets with around 460 being single transits. A large fraction of these will be observable from a single ground-based site. This paper finds that, in a single year, approximately 1000 transit events of around 320 unique TESS single transit detections are theoretically observable. Conclusions: As we consider longer period exoplanets the need for exploring single transit detections increases. For periods $\gtrsim45$ days the number of single transit detections outnumber multitransits by a factor of 3 (82$\pm$18 and 25$\pm$7 respectively) a factor which only grows as longer period detections are considered. Therefore, it is worth expending the extra effort required to follow-up these more challenging, but potentially very rewarding, discoveries. Additionally, we conclude that a large fraction of these targets can be theoretically observed from just a single ground-based site.

astro-ph.EP↗

arXiv2018

Reinforcement Learning for UAV Attitude Control

Autopilot systems are typically composed of an "inner loop" providing stability and control, while an "outer loop" is responsible for mission-level objectives, e.g. way-point navigation. Autopilot systems for UAVs are predominately implemented using Proportional, Integral Derivative (PID) control systems, which have demonstrated exceptional performance in stable environments. However more sophisticated control is required to operate in unpredictable, and harsh environments. Intelligent flight control systems is an active area of research addressing limitations of PID control most recently through the use of reinforcement learning (RL) which has had success in other applications such as robotics. However previous work has focused primarily on using RL at the mission-level controller. In this work, we investigate the performance and accuracy of the inner control loop providing attitude control when using intelligent flight control systems trained with the state-of-the-art RL algorithms, Deep Deterministic Gradient Policy (DDGP), Trust Region Policy Optimization (TRPO) and Proximal Policy Optimization (PPO). To investigate these unknowns we first developed an open-source high-fidelity simulation environment to train a flight controller attitude control of a quadrotor through RL. We then use our environment to compare their performance to that of a PID controller to identify if using RL is appropriate in high-precision, time-critical flight control.

cs.RO↗

arXiv2018

End-to-end Analysis and Design of a Drone Flight Controller

Timing guarantees are crucial to cyber-physical applications that must bound the end-to-end delay between sensing, processing and actuation. For example, in a flight controller for a multirotor drone, the data from a gyro or inertial sensor must be gathered and processed to determine the attitude of the aircraft. Sensor data fusion is followed by control decisions that adjust the flight of a drone by altering motor speeds. If the processing pipeline between sensor input and actuation is not bounded, the drone will lose control and possibly fail to maintain flight. Motivated by the implementation of a multithreaded drone flight controller on the Quest RTOS, we develop a composable pipe model based on the system's task, scheduling and communication abstractions. This pipe model is used to analyze two semantics of end-to-end time: reaction time and freshness time. We also argue that end-to-end timing properties should be factored in at the early stage of application design. Thus, we provide a mathematical framework to derive feasible task periods that satisfy both a given set of end-to-end timing constraints and the schedulability requirement. We demonstrate the applicability of our design approach by using it to port the Cleanflight flight controller firmware to Quest on the Intel Aero board. Experiments show that Cleanflight ported to Quest is able to achieve end-to-end latencies within the predicted time bounds derived by analysis.

eess.SY↗

arXiv2018

vLibOS: Babysitting OS Evolution with a Virtualized Library OS

Many applications have service requirements that are not easily met by existing operating systems. Real-time and security-critical tasks, for example, often require custom OSes to meet their needs. However, development of special purpose OSes is a time-consuming and difficult exercise. Drivers, libraries and applications have to be written from scratch or ported from existing sources. Many researchers have tackled this problem by developing ways to extend existing systems with application-specific services. However, it is often difficult to ensure an adequate degree of separation between legacy and new services, especially when security and timing requirements are at stake. Virtualization, for example, supports logical isolation of separate guest services, but suffers from inadequate temporal isolation of time-critical code required for real-time systems. This paper presents vLibOS, a master-slave paradigm for new systems, whose services are built on legacy code that is temporally and spatially isolated in separate VM domains. Existing OSes are treated as sandboxed libraries, providing legacy services that are requested by inter-VM calls, which execute with the time budget of the caller. We evaluate a real-time implementation of vLibOS. Empirical results show that vLibOS achieves as much as a 50\% reduction in performance slowdown for real-time threads, when competing for a shared memory bus with a Linux VM.

cs.OS↗

arXiv2017

Qatar Exoplanet Survey: Qatar-6b -- a grazing transiting hot Jupiter

We report the discovery of Qatar-6b, a new transiting planet identified by the Qatar Exoplanet Survey (QES). The planet orbits a relatively bright (V=11.44), early-K main-sequence star at an orbital period of P~3.506 days. An SED fit to available multi-band photometry, ranging from the near-UV to the mid-IR, yields a distance of d = 101 +/- 6 pc to the system. From a global fit to follow-up photometric and spectroscopic observations, we calculate the mass and radius of the planet to be Mp = 0.67 +/- 0.07 Mjup and Rp = 1.06 +/- 0.07 Rjup, respectively. We use multi-color photometric light curves to show that the transit is grazing, making Qatar-6b one of the few exoplanets known in a grazing transit configuration. It adds to the short list of targets that offer the best opportunity to look for additional bodies in the host planetary system through variations in the transit impact factor and duration.

astro-ph.SR↗

arXiv2017

The EBLM Project IV. Spectroscopic orbits of over 100 eclipsing M dwarfs masquerading as transiting hot-Jupiters

We present 2271 radial velocity measurements taken on 118 single-line binary stars, taken over eight years with the CORALIE spectrograph. The binaries consist of F/G/K primaries and M-dwarf secondaries. They were initially discovered photometrically by the WASP planet survey, as their shallow eclipses mimic a hot-Jupiter transit. The observations we present permit a precise characterisation of the binary orbital elements and mass function. With modelling of the primary star this mass function is converted to a mass of the secondary star. In the future, this spectroscopic work will be combined with precise photometric eclipses to draw an empirical mass/radius relation for the bottom of the mass sequence. This has applications in both stellar astrophysics and the growing number of exoplanet surveys around M-dwarfs. In particular, we have discovered 34 systems with a secondary mass below $0.2 M_\odot$, and so we will ultimately double the known number of very low-mass stars with well characterised mass and radii. We are able to detect eccentricities as small as 0.001 and orbital periods to sub-second precision. Our sample can revisit some earlier work on the tidal evolution of close binaries, extending it to low mass ratios. We find some binaries that are eccentric at orbital periods < 3 days, while our longest circular orbit has a period of 10.4 days. By collating the EBLM binaries with published WASP planets and brown dwarfs, we derive a mass spectrum with twice the resolution of previous work. We compare the WASP/EBLM sample of tightly-bound orbits with work in the literature on more distant companions up to 10 AU. We note that the brown dwarf desert appears wider, as it carves into the planetary domain for our short-period orbits. This would mean that a significantly reduced abundance of planets begins at $\sim 3M_{\rm Jup}$, well before the Deuterium-burning limit. [abridged]

astro-ph.SR↗

arXiv2017

The EBLM project III. A Saturn-size low-mass star at the hydrogen-burning limit

We report the discovery of an eclipsing binary system with mass-ratio q $\sim$ 0.07. After identifying a periodic photometric signal received by WASP, we obtained CORALIE spectroscopic radial velocities and follow-up light curves with the Euler and TRAPPIST telescopes. From a joint fit of these data we determine that EBLM J0555-57 consists of a sun-like primary star that is eclipsed by a low-mass companion, on a weakly eccentric 7.8-day orbit. Using a mass estimate for the primary star derived from stellar models, we determine a companion mass of $85 \pm 4 M_{\rm Jup}$ ($0.081M_{\odot}$) and a radius of $0.84^{+0.14}_{-0.04} R_{\rm Jup}$ ($0.084 R_{\odot}$) that is comparable to that of Saturn. EBLM J0555-57Ab has a surface gravity $\log g_\mathrm{2} = 5.50^{+0.03}_{-0.13}$ and is one of the densest non-stellar-remnant objects currently known. These measurements are consistent with models of low-mass stars.

astro-ph.SR↗

arXiv2016

Peculiar architectures for the WASP-53 and WASP-81 planet-hosting systems

We report the detection of two new systems containing transiting planets. Both were identified by WASP as worthy transiting planet candidates. Radial-velocity observations quickly verified that the photometric signals were indeed produced by two transiting hot Jupiters. Our observations also show the presence of additional Doppler signals. In addition to short-period hot Jupiters, we find that the WASP-53 and WASP-81 systems also host brown dwarfs, on fairly eccentric orbits with semi-major axes of a few astronomical units. WASP-53c is over 16 $M_{\rm Jup} \sin i_{\rm c}$ and WASP-81c is 57 $M_{\rm Jup} \sin i_{\rm c}$. The presence of these tight, massive companions restricts theories of how the inner planets were assembled. We propose two alternative interpretations: a formation of the hot Jupiters within the snow line, or the late dynamical arrival of the brown dwarfs after disc-dispersal. We also attempted to measure the Rossiter--McLaughlin effect for both hot Jupiters. In the case of WASP-81b we fail to detect a signal. For WASP-53b we find that the planet is aligned with respect to the stellar spin axis. In addition we explore the prospect of transit timing variations, and of using Gaia's astrometry to measure the true masses of both brown dwarfs and also their relative inclination with respect to the inner transiting hot Jupiters.

astro-ph.EP↗

arXiv2016

Long-term variability of T Tauri stars using WASP

We present a reference study of the long-term optical variability of young stars using data from the WASP project. Our primary sample is a group of well-studied classical T Tauri stars (CTTS), mostly in Taurus-Auriga. WASP lightcurves cover timescales up to 7 years and typically contain 10000-30000 datapoints. We quantify the variability as function of timescale using the time-dependent standard deviation 'pooled sigma'. We find that the overwhelming majority of CTTS has low-level variability with sigma<0.3mag dominated by timescales of a few weeks, consistent with rotational modulation. Thus, for most young stars monitoring over a month is sufficient to constrain the total amount of variability over timescales up to a decade. The fraction of stars with strong optical variability (sigma>0.3mag) is 21% in our sample and 21% in an unbiased control sample. An even smaller fraction (13% in our sample, 6% in the control) show evidence for an increase in variability amplitude as a function of timescale from weeks to months or years. The presence of long-term variability correlates with the spectral slope at 3-5mu, which is an indicator of inner disk geometry, and with the U-B band slope, which is an accretion diagnostics. This shows that the long-term variations in CTTS are predominantly driven by processes in the inner disk and in the accretion zone. Four of the stars with long-term variations show periods of 20-60d, significantly longer than the rotation periods and stable over months to years. One possible explanation are cyclic changes in the interaction between the disk and the stellar magnetic field.

astro-ph.SR↗

arXiv2016

The Next Generation Transit Survey - Prototyping Phase

We present the prototype telescope for the Next Generation Transit Survey, which was built in the UK in 2008/09 and tested on La Palma in the Canary Islands in 2010. The goals for the prototype system were severalfold: to determine the level of systematic noise in an NGTS-like system; demonstrate that we can perform photometry at the (sub) millimagnitude level on transit timescales across a wide field; show that it is possible to detect transiting super-Earth and Neptune-sized exoplanets and prove the technical feasibility of the proposed planet survey. We tested the system for around 100 nights and met each of the goals above. Several key areas for improvement were highlighted during the prototyping phase. They have been subsequently addressed in the final NGTS facility which was recently commissioned at ESO Cerro Paranal, Chile.

astro-ph.IM↗

arXiv2016

Mixed-Criticality Scheduling with I/O

This paper addresses the problem of scheduling tasks with different criticality levels in the presence of I/O requests. In mixed-criticality scheduling, higher criticality tasks are given precedence over those of lower criticality when it is impossible to guarantee the schedulability of all tasks. While mixed-criticality scheduling has gained attention in recent years, most approaches typically assume a periodic task model. This assumption does not always hold in practice, especially for real-time and embedded systems that perform I/O. For example, many tasks block on I/O requests until devices signal their completion via interrupts; both the arrival of interrupts and the waking of blocked tasks can be aperiodic. In our prior work, we developed a scheduling technique in the Quest real-time operating system, which integrates the time-budgeted management of I/O operations with Sporadic Server scheduling of tasks. This paper extends our previous scheduling approach with support for mixed-criticality tasks and I/O requests on the same processing core. Results show the effective schedulability of different task sets in the presence of I/O requests is superior in our approach compared to traditional methods that manage I/O using techniques such as Sporadic Servers.

cs.OS↗

arXiv2013

The Quest-V Separation Kernel for Mixed Criticality Systems

Multi- and many-core processors are becoming increasingly popular in embedded systems. Many of these processors now feature hardware virtualization capabilities, such as the ARM Cortex A15, and x86 processors with Intel VT-x or AMD-V support. Hardware virtualization offers opportunities to partition physical resources, including processor cores, memory and I/O devices amongst guest virtual machines. Mixed criticality systems and services can then co-exist on the same platform in separate virtual machines. However, traditional virtual machine systems are too expensive because of the costs of trapping into hypervisors to multiplex and manage machine physical resources on behalf of separate guests. For example, hypervisors are needed to schedule separate VMs on physical processor cores. In this paper, we discuss the design of the Quest-V separation kernel, that partitions services of different criticalities in separate virtual machines, or sandboxes. Each sandbox encapsulates a subset of machine physical resources that it manages without requiring intervention of a hypervisor. Moreover, a hypervisor is not needed for normal operation, except to bootstrap the system and establish communication channels between sandboxes.

cs.OS↗

arXiv2013

Predictable Migration and Communication in the Quest-V Multikernel

Quest-V is a system we have been developing from the ground up, with objectives focusing on safety, predictability and efficiency. It is designed to work on emerging multicore processors with hardware virtualization support. Quest-V is implemented as a "distributed system on a chip" and comprises multiple sandbox kernels. Sandbox kernels are isolated from one another in separate regions of physical memory, having access to a subset of processing cores and I/O devices. This partitioning prevents system failures in one sandbox affecting the operation of other sandboxes. Shared memory channels managed by system monitors enable inter-sandbox communication. The distributed nature of Quest-V means each sandbox has a separate physical clock, with all event timings being managed by per-core local timers. Each sandbox is responsible for its own scheduling and I/O management, without requiring intervention of a hypervisor. In this paper, we formulate bounds on inter-sandbox communication in the absence of a global scheduler or global system clock. We also describe how address space migration between sandboxes can be guaranteed without violating service constraints. Experimental results on a working system show the conditions under which Quest-V performs real-time communication and migration.

cs.OS↗

arXiv2013

Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems

Modern processors are increasingly featuring multiple cores, as well as support for hardware virtualization. While these processors are common in desktop and server-class computing, they are less prevalent in embedded and real-time systems. However, smartphones and tablet PCs are starting to feature multicore processors with hardware virtualization. If the trend continues, it is possible that future real-time systems will feature more sophisticated processor architectures. Future automotive or avionics systems, for example, could replace complex networks of uniprocessors with consolidated services on a smaller number of multicore processors. Likewise, virtualization could be used to isolate services and increase the availability of a system even when failures occur. This paper investigates whether advances in modern processor technologies offer new opportunities to rethink the design of real-time operating systems. We describe some of the design principles behind Quest-V, which is being used as an exploratory vehicle for real-time system design on multicore processors with hardware virtualization capabilities. While not all embedded systems should assume such features, a case can be made that more robust, safety-critical systems can be built to use hardware virtualization without incurring significant overheads.

cs.OS↗

arXiv2011

Quest-V: A Virtualized Multikernel for High-Confidence Systems

This paper outlines the design of `Quest-V', which is implemented as a collection of separate kernels operating together as a distributed system on a chip. Quest-V uses virtualization techniques to isolate kernels and prevent local faults from affecting remote kernels. This leads to a high-confidence multikernel approach, where failures of system subcomponents do not render the entire system inoperable. A virtual machine monitor for each kernel keeps track of shadow page table mappings that control immutable memory access capabilities. This ensures a level of security and fault tolerance in situations where a service in one kernel fails, or is corrupted by a malicious attack. Communication is supported between kernels using shared memory regions for message passing. Similarly, device driver data structures are shareable between kernels to avoid the need for complex I/O virtualization, or communication with a dedicated kernel responsible for I/O. In Quest-V, device interrupts are delivered directly to a kernel, rather than via a monitor that determines the destination. Apart from bootstrapping each kernel, handling faults and managing shadow page tables, the monitors are not needed. This differs from conventional virtual machine systems in which a central monitor, or hypervisor, is responsible for scheduling and management of host resources amongst a set of guest kernels. In this paper we show how Quest-V can implement novel fault isolation and recovery techniques that are not possible with conventional systems. We also show how the costs of using virtualization for isolation of system services does not add undue overheads to the overall system performance.

cs.OS↗