Synthesis of Distributed Longitudinal Control Protocols for a Platoon of Autonomous Vehicles

We develop a framework for control protocol synthesis for a platoon of autonomous vehicles subject to temporal logic specifications. We describe the desired behavior of the platoon in a set of linear temporal logic formulas, such as collision avoidance, close spacing or comfortability. The problem of decomposing a global specification for the platoon into distributed specification for each pair of adjacent vehicles is hard to solve. We use the invariant specifications to tackle this problem and the decomposition is proved to be scalable.. Based on the specifications in Assumption/Guarantee form, we can construct a two-player game (between the vehicle and its closest leader) locally to automatically synthesize a controller protocol for each vehicle. Simulation example for a distributed vehicles control problem is also shown

An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis

In this paper, we consider the problem of synthesizing correct-by-construction controllers for discrete-time dynamical systems. A commonly adopted approach in the literature is to abstract the dynamical system into a Finite Transition System (FTS) and thus convert the problem into a two player game between the environment and the system on the FTS. The controller design problem can then be solved using synthesis tools for general linear temporal logic or generalized reactivity(1) specifications. In this article, we propose a new abstraction algorithm. Instead of generating a single FTS to represent the system, we generate two FTSs, which are under- and over-approximations of the original dynamical system. We further develop an iterative abstraction scheme by exploiting the concept of winning sets, i.e., the sets of states for which there exists a winning strategy for the system. Finally, the efficiency of the new abstraction algorithm is illustrated by numerical examples.Comment: A shorter version has been accepted for publication in the 54th IEEE Conference on Decision and Control (held Tuesday through Friday, December 15-18, 2015 at the Osaka International Convention Center, Osaka, Japan

Microservices : granularity vs. performance

Microservice Architectures (MA) have the potential to increase the agility of software development. In an era where businesses require software applications to evolve to support emerging software requirements, particularly for Internet of Things (IoT) applications, we examine the issue of microservice granularity and explore its effect upon application latency. Two approaches to microservice deployment are simulated; the first with microservices in a single container, and the second with microservices partitioned across separate containers. We observed a negligible increase in service latency for the multiple container deployment over a single container

Enabling Community Health Care with Microservices

Microservice architectures (MA) are composed of loosely coupled, course-grained services that emphasise resilience and autonomy, enabling more scalable applications to be developed. Such architectures are more tolerant of changing demands from users and enterprises, in response to emerging technologies and their associated influences upon human interaction and behaviour. This article looks at microservices in the Internet of Things (IoT) through the lens of agency, and using an example in the community health care domain explores how a complex application scenario (both in terms of software and hardware interactions) might be modelled

The role of electron and phonon temperatures in the helicity-independent all-optical switching of GdFeCo

Ultrafast optical heating of the electrons in ferrimagnetic metals can result in all-optical switching (AOS) of the magnetization. Here we report quantitative measurements of the temperature rise of GdFeCo thin films during helicity-independent AOS. Critical switching fluences are obtained as a function of the initial temperature of the sample and for laser pulse durations from 55 fs to 15 ps. We conclude that non-equilibrium phenomena are necessary for helicity-independent AOS, although the peak electron temperature does not play a critical role. Pump-probe time-resolved experiments show that the switching time increases as the pulse duration increases, with 10 ps pulses resulting in switching times of ~sim 13 ps. These results raise new questions about the fundamental mechanism of helicity-independent AOS.Comment: 18 pages, 6 figures and supplementary material

Observational Evidence for the Co-evolution of Galaxy Mergers, Quasars, and the Blue/Red Galaxy Transition

We compile a number of observations to estimate the time-averaged rate of formation or buildup of red sequence galaxies, as a function of mass and redshift. Comparing this with the mass functions of mergers and quasar hosts, and independently comparing their clustering properties as a function of redshift, we find that these populations trace the same mass distribution, with similar evolution, at redshifts 0<z<~1.5. Knowing one of the quasar, merger, or elliptical mass/luminosity functions, it is possible to predict the others. Allowing for greater model dependence, we compare the rate of early-type buildup with the implied merger and quasar triggering rates as a function of mass and redshift and find agreement. Over this redshift range, observed merger fractions can account for the entire bright quasar luminosity function and buildup of the red sequence at all but the highest masses at low redshift (>~10^11 M_solar at z<~0.3) where 'dry' mergers appear to dominate. This supports a necessary prediction of theories where mergers between gas-rich galaxies produce ellipticals with an associated phase of quasar activity, after which the remnant becomes red. These populations trace a similar characteristic transition mass, possibly reflecting the mass above which the elliptical population is mostly (>~50%) assembled at a given redshift, which increases with redshift over the observed range in a manner consistent with suggestions that cosmic downsizing may apply to red galaxy assembly as well as star formation. These mass distributions as a function of redshift do not uniformly trace the all/red/blue galaxy population, ruling out models in which quasar activity is generically associated with star formation or is long lived in 'old' systems.Comment: 24 pages, 17 figures. Accepted to ApJ. Substantially revised and expanded to match published versio

Seismic Delineation Of A Geothermal Reservoir

Surface seismic reflection surveys and VSP's have been extensively carried out in the Monteverdi area, within the Larderello region. Calibration of these seismic observations with data from numerous deep wells allowed the interpretation of the 2-D traverses so that a good geologic-structural reconstruction for the whole area was achieved. Many important reflectors were detected inside the Metamorphic basement by VSP's acquired in several wells in the area. These reflections were attributed to changes in petrophysical characteristics of the medium, particularly changes in fracture density, rather than to contrasts in lithology. Since at this time the main goal of the exploration in the Larderello region is the location of producing layers inside the basement, a major effort was applied to acquiring and modeling numerous VSP's in existing wells. In particular, a multioffset VSP was carried out in the COLLA 2 well with the specific goal of detecting fractured horizons within the reservoir of the Monte:verdi area. Because of the three-dimensionality of the seismic wave propagation in such a complicated geological structure, the standard onedimensional VSP modeling is not reliable. Therefore, 2-D and 3-D methods of modeling were applied. The modeling of the VSP data predicts important reflections at the depths corresponding to the main fractured zones intersected by drilling. These fractured zones should show subhorizontal distribution and thickness of tens of meters

Estimating Luminosity Function Constraints from High-Redshift Galaxy Surveys

The installation of the Wide Field Camera 3 (WFC3) on the Hubble Space Telescope (HST) will revolutionize the study of high-redshift galaxy populations. Initial observations of the HST Ultra Deep Field (UDF) have yielded multiple z>~7 dropout candidates. Supplemented by the Great Observatory Origins Deep Survey (GOODS) Early Release Science (ERS) and further UDF pointings, these data will provide crucial information about the most distant known galaxies. However, achieving tight constraints on the z~7 galaxy luminosity function (LF) will require even more ambitious photometric surveys. Using a Fisher matrix approach to fully account for Poisson and cosmic sample variance, as well as covariances in the data, we estimate the uncertainties on LF parameters achieved by surveys of a given area and depth. Applying this method to WFC3 z~7 dropout galaxy samples, we forecast the LF parameter uncertainties for a variety of model surveys. We demonstrate that performing a wide area (~1 deg^2) survey to H_AB~27 depth or increasing the UDF depth to H_AB~30 provides excellent constraints on the high-z LF when combined with the existing UDF GO and GOODS ERS data. We also show that the shape of the matter power spectrum may limit the possible gain of splitting wide area (>~0.5 deg^2) high-redshift surveys into multiple fields to probe statistically independent regions; the increased root-mean-squared density fluctuations in smaller volumes mostly offset the improved variance gained from independent samples.Comment: Version accepted by ApJ

Symmetry breaking orbital anisotropy on detwinned Ba(Fe1-xCox)2As2 above the spin density wave transition

Nematicity, defined as broken rotational symmetry, has recently been observed in competing phases proximate to the superconducting phase in the cuprate high temperature superconductors. Similarly, the new iron-based high temperature superconductors exhibit a tetragonal to orthorhombic structural transition (i.e. a broken C4 symmetry) that either precedes or is coincident with a collinear spin density wave (SDW) transition in undoped parent compounds, and superconductivity arises when both transitions are suppressed via doping. Evidence for strong in-plane anisotropy in the SDW state in this family of compounds has been reported by neutron scattering, scanning tunneling microscopy, and transport measurements. Here we present an angle resolved photoemission spectroscopy study of detwinned single crystals of a representative family of electron-doped iron-arsenide superconductors, Ba(Fe1-xCox)2As2 in the underdoped region. The crystals were detwinned via application of in-plane uniaxial stress, enabling measurements of single domain electronic structure in the orthorhombic state. At low temperatures, our results clearly demonstrate an in-plane electronic anisotropy characterized by a large energy splitting of two orthogonal bands with dominant dxz and dyz character, which is consistent with anisotropy observed by other probes. For compositions x>0, for which the structural transition (TS) precedes the magnetic transition (TSDW), an anisotropic splitting is observed to develop above TSDW, indicating that it is specifically associated with TS. For unstressed crystals, the band splitting is observed close to TS, whereas for stressed crystals the splitting is observed to considerably higher temperatures, revealing the presence of a surprisingly large in-plane nematic susceptibility in the electronic structure.Comment: final version published in PNAS, including supplementary informatio