Showing 1–31 of 31 results for author: Falco, G

I Can Hear You Coming: RF Sensing for Uncooperative Satellite Evasion

Authors: Cameron Mehlman, Gregory Falco

Abstract: This work presents a novel method for leveraging intercepted Radio Frequency (RF) signals to inform a constrained Reinforcement Learning (RL) policy for robust control of a satellite operating in contested environments. Uncooperative satellite engagements with nation-state actors prompts the need for enhanced maneuverability and agility on-orbit. However, robust, autonomous and rapid adversary avo… ▽ More This work presents a novel method for leveraging intercepted Radio Frequency (RF) signals to inform a constrained Reinforcement Learning (RL) policy for robust control of a satellite operating in contested environments. Uncooperative satellite engagements with nation-state actors prompts the need for enhanced maneuverability and agility on-orbit. However, robust, autonomous and rapid adversary avoidance capabilities for the space environment is seldom studied. Further, the capability constrained nature of many space vehicles does not afford robust space situational awareness capabilities that can be used for well informed maneuvering. We present a "Cat & Mouse" system for training optimal adversary avoidance algorithms using RL. We propose the novel approach of utilizing intercepted radio frequency communication and dynamic spacecraft state as multi-modal input that could inform paths for a mouse to outmaneuver the cat satellite. Given the current ubiquitous use of RF communications, our proposed system can be applicable to a diverse array of satellites. In addition to providing a comprehensive framework for training and implementing a constrained RL policy capable of providing control for robust adversary avoidance, we also explore several optimization based methods for adversarial avoidance. These methods were then tested on real-world data obtained from the Space Surveillance Network (SSN) to analyze the benefits and limitations of different avoidance methods. △ Less

Submitted 28 April, 2025; v1 submitted 4 April, 2025; originally announced April 2025.

Adaptive Detection of On-Orbit Jamming for Securing GEO Satellite Links

Authors: Anouar Boumeftah, Olfa Ben Yahia, Jean-François Frigon, Gregory Falco, Gunes Karabulut Kurt

Abstract: This paper introduces a scenario where a maneuverable satellite in geostationary orbit (GEO) conducts on-orbit attacks, targeting communication between a GEO satellite and a ground station, with the ability to switch between stationary and time-variant jamming modes. We propose a machine learning-based detection approach, employing the random forest algorithm with principal component analysis (PCA… ▽ More This paper introduces a scenario where a maneuverable satellite in geostationary orbit (GEO) conducts on-orbit attacks, targeting communication between a GEO satellite and a ground station, with the ability to switch between stationary and time-variant jamming modes. We propose a machine learning-based detection approach, employing the random forest algorithm with principal component analysis (PCA) to enhance detection accuracy in the stationary model. At the same time, an adaptive threshold-based technique is implemented for the time-variant model to detect dynamic jamming events effectively. Our methodology emphasizes the need for the use of orbital dynamics in integrating physical constraints from satellite dynamics to improve model robustness and detection accuracy. Simulation results highlight the effectiveness of PCA in enhancing the performance of the stationary model, while the adaptive thresholding method achieves high accuracy in detecting jamming in the time-variant scenario. This approach provides a robust solution for mitigating the evolving threats to satellite communication in GEO environments. △ Less

Submitted 21 January, 2025; v1 submitted 25 November, 2024; originally announced November 2024.

Securing Satellite Link Segment: A Secure-by-Component Design

Authors: Olfa Ben Yahia, William Ferguson, Sumit Chakravarty, Nesrine Benchoubane, Gunes Karabulut Kurt, Gürkan Gür, Gregory Falco

Abstract: The rapid evolution of communication technologies, compounded by recent geopolitical events such as the Viasat cyberattack in February 2022, has highlighted the urgent need for fast and reliable satellite missions for military and civil security operations. Consequently, this paper examines two Earth observation (EO) missions: one utilizing a single low Earth orbit (LEO) satellite and another thro… ▽ More The rapid evolution of communication technologies, compounded by recent geopolitical events such as the Viasat cyberattack in February 2022, has highlighted the urgent need for fast and reliable satellite missions for military and civil security operations. Consequently, this paper examines two Earth observation (EO) missions: one utilizing a single low Earth orbit (LEO) satellite and another through a network of LEO satellites, employing a secure-by-component design strategy. This approach begins by defining the scope of technical security engineering, decomposing the system into components and data flows, and enumerating attack surfaces. Then it proceeds by identifying threats to low-level components, applying secure-by-design principles, redesigning components into secure blocks in alignment with the Space Attack Research & Tactic Analysis (SPARTA) framework, and crafting shall statements to refactor the system design, with a particular focus on improving the security of the link segment. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Cat-and-Mouse Satellite Dynamics: Divergent Adversarial Reinforcement Learning for Contested Multi-Agent Space Operations

Authors: Cameron Mehlman, Joseph Abramov, Gregory Falco

Abstract: As space becomes increasingly crowded and contested, robust autonomous capabilities for multi-agent environments are gaining critical importance. Current autonomous systems in space primarily rely on optimization-based path planning or long-range orbital maneuvers, which have not yet proven effective in adversarial scenarios where one satellite is actively pursuing another. We introduce Divergent… ▽ More As space becomes increasingly crowded and contested, robust autonomous capabilities for multi-agent environments are gaining critical importance. Current autonomous systems in space primarily rely on optimization-based path planning or long-range orbital maneuvers, which have not yet proven effective in adversarial scenarios where one satellite is actively pursuing another. We introduce Divergent Adversarial Reinforcement Learning (DARL), a two-stage Multi-Agent Reinforcement Learning (MARL) approach designed to train autonomous evasion strategies for satellites engaged with multiple adversarial spacecraft. Our method enhances exploration during training by promoting diverse adversarial strategies, leading to more robust and adaptable evader models. We validate DARL through a cat-and-mouse satellite scenario, modeled as a partially observable multi-agent capture the flag game where two adversarial `cat' spacecraft pursue a single `mouse' evader. DARL's performance is compared against several benchmarks, including an optimization-based satellite path planner, demonstrating its ability to produce highly robust models for adversarial multi-agent space environments. △ Less

Submitted 25 September, 2024; originally announced September 2024.

On the Role of Communications for Space Domain Awareness

Authors: Nathaniel G. Gordon, Nesrine Benchoubane, Gunes Karabulut Kurt, Gregory Falco

Abstract: Space Domain Awareness (SDA) has become increasingly vital with the rapid growth of commercial space activities and the expansion of New Space. This paper stresses the necessity of transitioning from centralized to distributed SDA architectures. The current architecture predominantly relies on individual downhaul, which we propose to transition to on-orbit distribution. Our results demonstrate tha… ▽ More Space Domain Awareness (SDA) has become increasingly vital with the rapid growth of commercial space activities and the expansion of New Space. This paper stresses the necessity of transitioning from centralized to distributed SDA architectures. The current architecture predominantly relies on individual downhaul, which we propose to transition to on-orbit distribution. Our results demonstrate that the individual downhaul architecture does not scale efficiently with the increasing number of nodes, while on-orbit distribution offers significant improvements. By comparing the centralized architecture with the proposed distributed architecture, we highlight the advantages of enhanced coverage and resilience. Our findings show that on-orbit distribution greatly outperforms individual downhaul in terms of latency and scalability. Specifically, the latency results for on-orbit distribution are substantially lower and more consistent, even as the number of satellites increases. In addition, we address the inherent challenges associated with on-orbit distribution architecture, particularly cybersecurity concerns. We focus on link security to ensure the availability and integrity of data transmission in these advanced SDA systems. Future expectations include further refinement of on-orbit distribution strategies and the development of robust cybersecurity measures to support the scalability and resilience of SDA systems. △ Less

Submitted 8 June, 2024; originally announced June 2024.

Comments: 12 pages, 3 figures

Adversarial Machine Learning Threats to Spacecraft

Authors: Rajiv Thummala, Shristi Sharma, Matteo Calabrese, Gregory Falco

Abstract: Spacecraft are among the earliest autonomous systems. Their ability to function without a human in the loop have afforded some of humanity's grandest achievements. As reliance on autonomy grows, space vehicles will become increasingly vulnerable to attacks designed to disrupt autonomous processes-especially probabilistic ones based on machine learning. This paper aims to elucidate and demonstrate… ▽ More Spacecraft are among the earliest autonomous systems. Their ability to function without a human in the loop have afforded some of humanity's grandest achievements. As reliance on autonomy grows, space vehicles will become increasingly vulnerable to attacks designed to disrupt autonomous processes-especially probabilistic ones based on machine learning. This paper aims to elucidate and demonstrate the threats that adversarial machine learning (AML) capabilities pose to spacecraft. First, an AML threat taxonomy for spacecraft is introduced. Next, we demonstrate the execution of AML attacks against spacecraft through experimental simulations using NASA's Core Flight System (cFS) and NASA's On-board Artificial Intelligence Research (OnAIR) Platform. Our findings highlight the imperative for incorporating AML-focused security measures in spacecraft that engage autonomy. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: Preprint

Efficiency and Cost Optimization of Dual Active Bridge Converter for 350kW DC Fast Chargers

Authors: Sadik Cinik, Fangzhou Zhao, Giuseppe De Falco, Xiongfei Wang

Abstract: This study focuses on optimizing the design parameters of a Dual Active Bridge (DAB) converter for use in 350 kW DC fast chargers, emphasizing the balance between efficiency and cost. Addressing the observed gaps in existing high-power application research, it introduces an optimization framework to evaluate critical design parameters,number of converter modules, switching frequency, and transform… ▽ More This study focuses on optimizing the design parameters of a Dual Active Bridge (DAB) converter for use in 350 kW DC fast chargers, emphasizing the balance between efficiency and cost. Addressing the observed gaps in existing high-power application research, it introduces an optimization framework to evaluate critical design parameters,number of converter modules, switching frequency, and transformer turns ratio,within a broad operational voltage range. The analysis identifies an optimal configuration that achieves over 95% efficiency at rated power across a wide output voltage range, comprising seven 50 kW DAB converters with a switching frequency of 30 kHz, and a transformer turns ratio of 0.9. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Circle radius distributions determine random close packing density

Authors: David J. Meer, Isabela Galoustian, Julio Gabriel de Falco Manuel, Eric R. Weeks

Abstract: Circles of a single size can pack together densely in a hexagonal lattice, but adding in size variety disrupts the order of those packings. We conduct simulations which generate dense random packings of circles with specified size distributions, and measure the area fraction in each case. While the size distributions can be arbitrary, we find that for a wide range of size distributions the random… ▽ More Circles of a single size can pack together densely in a hexagonal lattice, but adding in size variety disrupts the order of those packings. We conduct simulations which generate dense random packings of circles with specified size distributions, and measure the area fraction in each case. While the size distributions can be arbitrary, we find that for a wide range of size distributions the random close packing area fraction $φ_{rcp}$ is determined to high accuracy by the polydispersity and skewness of the size distribution. At low skewness, all packings tend to a minimum packing fraction $φ_0 \approx 0.840$ independent of polydispersity. In the limit of high skewness, $φ_{rcp}$ becomes independent of skewness, asymptoting to a polydispersity-dependent limit. We show how these results can be predicted from the behavior of simple, bidisperse or bi-Gaussian circle size distributions. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 12 pages, 9 figures, 1 appendix, 1 supplemental data

Journal ref: Phys. Rev. E 109, 064905 (2024)

Synthetic Oil Gels With Organoclays In The Formulation Of Magnetorheological Fluids

Authors: Jose Henrique Rodrigues da Rocha, Julio Gabriel de Falco Manuel, Antonio Jose Faria Bombard

Abstract: Magnetorheological fluids (MRF) are smart composite materials that, under an external magnetic field, show a reversible solid-liquid transition in less than 10 ms. This study aimed to evaluate which organoclays would jellify a synthetic oil for the formulation of MRF. Three dispersant additives for carbonyl iron powder were evaluated. Fifteen different gelling additives from four clay families, be… ▽ More Magnetorheological fluids (MRF) are smart composite materials that, under an external magnetic field, show a reversible solid-liquid transition in less than 10 ms. This study aimed to evaluate which organoclays would jellify a synthetic oil for the formulation of MRF. Three dispersant additives for carbonyl iron powder were evaluated. Fifteen different gelling additives from four clay families, bentonites, hectorites, montmorillonites, and mixed mineral thixotropes (MMT), were dispersed in oil only, keeping the same concentration, without iron particles. The gels were then tested through amplitude and frequency sweeps in oscillatory rheometry to evaluate their viscoelastic behavior. All the MRFs were prepared using carbonyl iron powder HS in oil gels with the same organoclay. All three dispersant additives showed a thixotropic recovery above 100% in the three-interval test. Regarding the dispersibility after one year, the MRF formulations with octan-1-amine and lecithin were reproved, as they reached normal force peaks of 19 and 24 N, while the work was 28 and 415 mJ, respectively. The best MRF was formulated with octan-1-ol, and resulted in a normal force of 0.33 N and 3.4 mJ at 35 mm of vane penetration. Therefore, we conclude that the MRF with octan-1-ol and montmorillonite #6 showed a better balance between thixotropy, MR effect, and, above all, good redispersibility. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Hacktivism Goes Orbital: Investigating NB65's Breach of ROSCOSMOS

Authors: Rajiv Thummala, Gregory Falco

Abstract: In March of 2022, Network battalion 65 (NB65), a hacktivist affiliate of Anonymous, publicly asserted its successful breach of ROSCOSMOS's satellite imaging capabilities in response to Russia's invasion of Ukraine. NB65 disseminated a series of primary sources as substantiation, proclaiming the incapacitation of ROSCOSMOS's space-based vehicle monitoring system and doxing of related proprietary do… ▽ More In March of 2022, Network battalion 65 (NB65), a hacktivist affiliate of Anonymous, publicly asserted its successful breach of ROSCOSMOS's satellite imaging capabilities in response to Russia's invasion of Ukraine. NB65 disseminated a series of primary sources as substantiation, proclaiming the incapacitation of ROSCOSMOS's space-based vehicle monitoring system and doxing of related proprietary documentation. Despite the profound implications of hacktivist incursions into the space sector, the event has garnered limited attention due to the obscurity of technical attack vectors and ROCOSMOS's denial of NB65's allegations. Through analysis of NB65's released primary sources of evidence, this paper uncovers the probable vulnerabilities and exploits that enabled the alleged breach into ROSCOSMOS's ground and space segment. Additionally, we highlight lessons learned and the consequences this event has for the global aerospace community. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Effect of polydispersity in concentrated magnetorheological fluids

Authors: Julio Gabriel de Falco Manuel, Antonio Jose F. Bombard, Eric R. Weeks

Abstract: Magnetorheological fluids (MRF) are smart materials of increasing interest due to their great versatility in mechanical and mechatronic systems. As main rheological features, MRFs must present low viscosity in the absence of a magnetic field (0.1 - 1.0 Pa.s) and high yield stress (50 - 100 kPa) when magnetized, in order to optimize the magnetorheological effect. Such properties, in turn, are direc… ▽ More Magnetorheological fluids (MRF) are smart materials of increasing interest due to their great versatility in mechanical and mechatronic systems. As main rheological features, MRFs must present low viscosity in the absence of a magnetic field (0.1 - 1.0 Pa.s) and high yield stress (50 - 100 kPa) when magnetized, in order to optimize the magnetorheological effect. Such properties, in turn, are directly influenced by the composition, volume fraction, size, and size distribution (polydispersity) of the particles, the latter being an important piece in the improvement of these main properties. In this context, the present work aims to analyze, through experiments and simulations, the influence of polydispersity on the maximum packing fraction, on the yield stress under field (on-state), and on the plastic viscosity in the absence of field (off-state) of concentrated MRF (phi = 48.5 vol.%). Three blends of carbonyl iron powder in polyalphaolefin oil were prepared. These blends have the same mode, but different polydispersity indexes, ranging from 0.46 to 1.44. Separate simulations show that the random close packing fraction increases from about 68% to 80% as the polydispersity index increases over this range. The on-state yield stress, in turn, is raised from 30 +/- 0.5 kPa to 42 +/- 2 kPa (B ~ 0.57 T) and the off-state plastic viscosity, is reduced from 4.8 Pa.s to 0.5 Pa.s. Widening the size distributions, as is well known in the literature, increases packing efficiency and reduces the viscosity of concentrated dispersions, but beyond that, it proved to be a viable way to increase the magnetorheological effect of concentrated MRF. The Brouwers model, which considers the void fraction in suspensions of particles with lognormal distribution, was proposed as a possible hypothesis to explain the increase in yield stress under magnetic field. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Journal ref: Smart Materials and Structures 32, 045014 (2023)

Morphology and Electronic Properties of Incipient Soot by Scanning Tunneling Microscopy and Spectroscopy

Authors: Stefano Veronesi, Mario Commodo, Luca Basta, Gianluigi De Falco, Patrizia Minutolo, Nikolaos Kateris, Hai Wang, Andrea D'Anna, Stefan Heun

Abstract: Soot nucleation is one of the most complex and debated steps of the soot formation process in combustion. In this work, we used scanning tunneling microscopy (STM) and spectroscopy (STS) to probe morphological and electronic properties of incipient soot particles formed right behind the flame front of a lightly sooting laminar premixed flame of ethylene and air. Particles were thermophoretically s… ▽ More Soot nucleation is one of the most complex and debated steps of the soot formation process in combustion. In this work, we used scanning tunneling microscopy (STM) and spectroscopy (STS) to probe morphological and electronic properties of incipient soot particles formed right behind the flame front of a lightly sooting laminar premixed flame of ethylene and air. Particles were thermophoretically sampled on an atomically flat gold film on a mica substrate. High-resolution STM images of incipient soot particles were obtained for the first time showing the morphology of sub-5 nm incipient soot particles. High-resolution single-particle spectroscopic properties were measured confirming the semiconductor behavior of incipient soot particles with an electronic band gap ranging from 1.5 to 2 eV, consistent with earlier optical and spectroscopic observations. △ Less

Submitted 5 January, 2022; originally announced January 2022.

Journal ref: Combustion and Flame 243 (2022) 111980

Cyberphysical Sequencing for Distributed Asset Management with Broad Traceability

Authors: Joshua Siegel, Gregory Falco

Abstract: Cyber-Physical systems (CPS) have complex lifecycles involving multiple stakeholders, and the transparency of both hardware and software components' supply chain is opaque at best. This raises concerns for stakeholders who may not trust that what they receive is what was requested. There is an opportunity to build a cyberphysical titling process offering universal traceability and the ability to d… ▽ More Cyber-Physical systems (CPS) have complex lifecycles involving multiple stakeholders, and the transparency of both hardware and software components' supply chain is opaque at best. This raises concerns for stakeholders who may not trust that what they receive is what was requested. There is an opportunity to build a cyberphysical titling process offering universal traceability and the ability to differentiate systems based on provenance. Today, RFID tags and barcodes address some of these needs, though they are easily manipulated due to non-linkage with an object or system's intrinsic characteristics. We propose cyberphysical sequencing as a low-cost, light-weight and pervasive means of adding track-and-trace capabilities to any asset that ties a system's physical identity to a unique and invariant digital identifier. CPS sequencing offers benefits similar Digital Twins' for identifying and managing the provenance and identity of an asset throughout its life with far fewer computational and other resources. △ Less

Submitted 30 November, 2021; originally announced December 2021.

Comments: 14 pages, 6 figures

Cyber Crossroads: A Global Research Collaborative on Cyber Risk Governance

Authors: Gregory Falco, Paul Cornish, Sadie Creese, Madeline Carr, Myriam Dunn Cavelty, Claudia Eckert, Herbert Lin, Gen Goto, Jamie Saunders, Andrew Grotto, Howard Shrobe, Sean Kanuck, Lawrence Susskind, Arvind Parthasarathi

Abstract: Spending on cybersecurity products and services is expected to top 123 billion U.S. dollars for 2020, more than double the 55 billion U.S. dollars spent in 2011.1 In that same period, cyber breaches quadrupled. Organizations globally face increasing liabilities, while boards of directors grapple with a seemingly Sisyphean challenge. Cyber Crossroads was born out of these alarming trends and a real… ▽ More Spending on cybersecurity products and services is expected to top 123 billion U.S. dollars for 2020, more than double the 55 billion U.S. dollars spent in 2011.1 In that same period, cyber breaches quadrupled. Organizations globally face increasing liabilities, while boards of directors grapple with a seemingly Sisyphean challenge. Cyber Crossroads was born out of these alarming trends and a realization that the world cannot go on funneling finite resources into an indefinite, intractable problem. Cyber Crossroads brings together expertise from across the world, spanning aspects of the cyber problem (including technology, legal, risk, and economic) with the goal of creating a Cyber Standard of Care built through a global, not-for-profit research collaborative with no commercial interests. A Cyber Standard of Care should be applicable across industries and regardless of the organization size. It should be practical and implementable, with no requirement to purchase any product/service. Cyber Standard of Care should be woven into the existing governance fabric of the organization and it should not be yet another technical checklist, but a process/governance framework that can stand over time. To achieve this, we engaged with cyber risk experts and practitioners with a variety of relevant expertise, secured the advice/guidance of regulators and legal experts across jurisdictions, and interviewed leaders from 56 organizations globally to understand their challenges and identify best practices. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Space Occupancy in Low-Earth Orbit

Authors: Claudio Bombardelli, Gabriele Falco, Davide Amato, Aaron J. Rosengren

Abstract: With the upcoming launch of large constellations of satellites in the low-Earth orbit (LEO) region it will become important to organize the physical space occupied by the different operating satellites in order to minimize critical conjunctions and avoid collisions. Here, we introduce the definition of space occupancy as the domain occupied by an individual satellite as it moves along its nominal… ▽ More With the upcoming launch of large constellations of satellites in the low-Earth orbit (LEO) region it will become important to organize the physical space occupied by the different operating satellites in order to minimize critical conjunctions and avoid collisions. Here, we introduce the definition of space occupancy as the domain occupied by an individual satellite as it moves along its nominal orbit under the effects of environmental perturbations throughout a given interval of time. After showing that space occupancy for the zonal problem is intimately linked to the concept of frozen orbits and proper eccentricity, we provide frozen-orbit initial conditions in osculating element space and obtain the frozen-orbit polar equation to describe the space occupancy region in closed analytical form. We then analyze the problem of minimizing space occupancy in a realistic model including tesseral harmonics, third-body perturbations, solar radiation pressure, and drag. The corresponding initial conditions, leading to what we call minimum space occupancy (MiSO) orbits, are obtained numerically for a set of representative configurations in LEO. The implications for the use of MiSO orbits to optimize the design of mega-constellations are discussed. △ Less

Submitted 16 December, 2020; originally announced December 2020.

Comments: Submitted to The Journal of Guidance, Control, and Dynamics

Death by AI: Where Assured Autonomy in Smart Cities Meets the End-to-End Argument

Authors: Gregory Falco

Abstract: A smart city involves critical infrastructure systems that have been digitally enabled. Increasingly, many smart city cyber-physical systems are becoming automated. The extent of automation ranges from basic logic gates to sophisticated, artificial intelligence (AI) that enables fully autonomous systems. Because of modern society's reliance on autonomous systems in smart cities, it is crucial for… ▽ More A smart city involves critical infrastructure systems that have been digitally enabled. Increasingly, many smart city cyber-physical systems are becoming automated. The extent of automation ranges from basic logic gates to sophisticated, artificial intelligence (AI) that enables fully autonomous systems. Because of modern society's reliance on autonomous systems in smart cities, it is crucial for them to operate in a safe manner; otherwise, it is feasible for these systems to cause considerable physical harm or even death. Because smart cities could involve thousands of autonomous systems operating in concert in densely populated areas, safety assurances are required. Challenges abound to consistently manage the safety of such autonomous systems due to their disparate developers, manufacturers, operators and users. A novel network and a sample of associated network functions for autonomous systems is proposed that aims to provide a baseline of safety for autonomous systems. This is accomplished by establishing a custom-designed network for autonomous systems that is separate from the Internet, and can handle certain functions that enable safety through active networking. Such a network design sits at the margins of the end-to-end principle, which is warranted considering the safety of autonomous systems is at stake as is argued in this paper. Without a scalable safety strategy for autonomous systems as proposed, assured autonomy in smart cities will remain elusive. △ Less

Submitted 13 February, 2020; originally announced February 2020.

Comments: PREPRINT, 6 Pages

A Distributed `Black Box' Audit Trail Design Specification for Connected and Automated Vehicle Data and Software Assurance

Authors: Gregory Falco, Joshua E. Siegel

Abstract: Automotive software is increasingly complex and critical to safe vehicle operation, and related embedded systems must remain up-to-date to ensure long-term system performance. Update mechanisms and data modification tools introduce opportunities for malicious actors to compromise these cyber-physical systems, and for trusted actors to mistakenly install incompatible software versions. A distribute… ▽ More Automotive software is increasingly complex and critical to safe vehicle operation, and related embedded systems must remain up-to-date to ensure long-term system performance. Update mechanisms and data modification tools introduce opportunities for malicious actors to compromise these cyber-physical systems, and for trusted actors to mistakenly install incompatible software versions. A distributed and stratified "black box" audit trail for automotive software and data provenance is proposed to assure users, service providers, and original equipment manufacturers (OEMs) of vehicular software integrity and reliability. The proposed black box architecture is both layered and diffuse, employing distributed hash tables (DHT), a parity system and a public blockchain to provide high resilience, assurance, scalability, and efficiency for automotive and other high-assurance systems. △ Less

Submitted 24 June, 2020; v1 submitted 7 February, 2020; originally announced February 2020.

Comments: 12 pages, 2 figures

Wave function correlations and the AC conductivity of disordered wires beyond the Mott-Berezinskii law

Authors: G. M. Falco, Andrei A. Fedorenko, Ilya A. Gruzberg

Abstract: In one-dimensional disordered wires electronic states are localized at any energy. Correlations of the states at close positive energies and the AC conductivity $σ(ω)$ in the limit of small frequency are described by the Mott-Berezinskii theory. We revisit the instanton approach to the statistics of wave functions and AC transport valid in the tails of the spectrum (large negative energies). Apply… ▽ More In one-dimensional disordered wires electronic states are localized at any energy. Correlations of the states at close positive energies and the AC conductivity $σ(ω)$ in the limit of small frequency are described by the Mott-Berezinskii theory. We revisit the instanton approach to the statistics of wave functions and AC transport valid in the tails of the spectrum (large negative energies). Applying our recent results on functional determinants, we calculate exactly the integral over gaussian fluctuations around the exact two-instanton saddle point. We derive correlators of wave functions at different energies beyond the leading order in the energy difference. This allows us to calculate corrections to the Mott-Berezinskii law (the leading small frequency asymptotic behavior of $σ(ω)$) which approximate the exact result in a broad range of $ω$. We compare our results with the ones obtained for positive energies. △ Less

Submitted 30 January, 2018; v1 submitted 23 August, 2017; originally announced August 2017.

Comments: 7 pages, 3 figures

Journal ref: EPL 120, 37004 (2017)

On functional determinants of matrix differential operators with multiple zero modes

Authors: G. M. Falco, Andrei A. Fedorenko, Ilya A. Gruzberg

Abstract: We generalize the method of computing functional determinants with a single excluded zero eigenvalue developed by McKane and Tarlie to differential operators with multiple zero eigenvalues. We derive general formulas for such functional determinants of $r\times r$ matrix second order differential operators $O$ with $0 < n \leqslant 2r$ linearly independent zero modes. We separately discuss the cas… ▽ More We generalize the method of computing functional determinants with a single excluded zero eigenvalue developed by McKane and Tarlie to differential operators with multiple zero eigenvalues. We derive general formulas for such functional determinants of $r\times r$ matrix second order differential operators $O$ with $0 < n \leqslant 2r$ linearly independent zero modes. We separately discuss the cases of the homogeneous Dirichlet boundary conditions, when the number of zero modes cannot exceed $r$, and the case of twisted boundary conditions, including the periodic and anti-periodic ones, when the number of zero modes is bounded above by $2r$. In all cases the determinants with excluded zero eigenvalues can be expressed only in terms of the $n$ zero modes and other $r-n$ or $2r-n$ (depending on the boundary conditions) solutions of the homogeneous equation $O h=0$, in the spirit of Gel'fand-Yaglom approach. In instanton calculations, the contribution of the zero modes is taken into account by introducing the so-called collective coordinates. We show that there is a remarkable cancellation of a factor (involving scalar products of zero modes) between the Jacobian of the transformation to the collective coordinates and the functional fluctuation determinant with excluded zero eigenvalues. This cancellation drastically simplifies instanton calculations when one uses our formulas. △ Less

Submitted 7 November, 2017; v1 submitted 21 March, 2017; originally announced March 2017.

Comments: 33 pages, 1 figure, significantly extended version with new results added

Journal ref: J. Phys. A: Math. Theor. 50, 485201 (2017)

Instanton theory for bosons in disordered speckle potential

Authors: G. M. Falco, Andrei A. Fedorenko

Abstract: We study the tail of the spectrum for non-interacting bosons in a blue-detuned random speckle potential. Using an instanton approach we derive the asymptotic behavior of the density of states in d dimensions. The leading corrections resulting from fluctuations around the saddle point solution are obtained by means of the Gel'fand-Yaglom method generalized to functional determinants with zero modes… ▽ More We study the tail of the spectrum for non-interacting bosons in a blue-detuned random speckle potential. Using an instanton approach we derive the asymptotic behavior of the density of states in d dimensions. The leading corrections resulting from fluctuations around the saddle point solution are obtained by means of the Gel'fand-Yaglom method generalized to functional determinants with zero modes. We find a good agreement with the results of numerical simulations in one dimension. The effect of weak repulsive interactions in the Lifshitz tail is also discussed. △ Less

Submitted 7 May, 2015; originally announced May 2015.

Comments: 12 pages, 3 figures, revtex4

Journal ref: Phys. Rev. A 92, 023412 (2015)

Density of states in an optical speckle potential

Authors: G. M. Falco, Andrei A. Fedorenko, Jacopo Giacomelli, Michele Modugno

Abstract: We study the single particle density of states of a one-dimensional speckle potential, which is correlated and non-Gaussian. We consider both the repulsive and the attractive cases. The system is controlled by a single dimensionless parameter determined by the mass of the particle, the correlation length and the average intensity of the field. Depending on the value of this parameter, the system e… ▽ More We study the single particle density of states of a one-dimensional speckle potential, which is correlated and non-Gaussian. We consider both the repulsive and the attractive cases. The system is controlled by a single dimensionless parameter determined by the mass of the particle, the correlation length and the average intensity of the field. Depending on the value of this parameter, the system exhibits different regimes, characterized by the localization properties of the eigenfunctions. We calculate the corresponding density of states using the statistical properties of the speckle potential. We find good agreement with the results of numerical simulations. △ Less

Submitted 12 November, 2010; v1 submitted 3 August, 2010; originally announced August 2010.

Comments: 11 pages, 11 figures, revtex4

Journal ref: Phys. Rev. A 82, 053405 (2010)

Variational approach for Bose-Einstein condensates in strongly disordered traps

Authors: G. M. Falco

Abstract: Recently, Nattermann and Pokrovsky [PRL 100, 060402 (2008)] have proposed a scaling approach for studying Bose-Einstein condensates in strongly disordered traps. In this paper we implement their scaling argument in the framework of the variational method for solving the time dependent Gross-Pitaevskii equation. We consider atomic gases with both short range s-wave interaction and long range anis… ▽ More Recently, Nattermann and Pokrovsky [PRL 100, 060402 (2008)] have proposed a scaling approach for studying Bose-Einstein condensates in strongly disordered traps. In this paper we implement their scaling argument in the framework of the variational method for solving the time dependent Gross-Pitaevskii equation. We consider atomic gases with both short range s-wave interaction and long range anisotropic dipolar interaction. The theory is addressed to the regime of strong disorder and weak interactions where the physics is dominated by the collective pinning due to the disorder. The phenomenon of condensate fragmentation in dipolar gases is also analyzed. △ Less

Submitted 2 February, 2010; originally announced February 2010.

Journal ref: J. Phys. B: At. Mol. Opt. Phys. 42 (2009) 215303

Cooper pairs under the action of disorder and strong magnetic field

Authors: V. L. Pokrovsky, G. M. Falco, T. Nattermann

Abstract: The zero temperature phase diagram of Cooper pairs exposed to disorder and magnetic field is found to exhibit four distinct phases: a Bose and a Fermi insulating, a metallic and a superconducting phase, respectively. The results explain the giant negative magneto-resistance found experimentally in In-O, TiN, Bi and high-$T_c$ materials. The zero temperature phase diagram of Cooper pairs exposed to disorder and magnetic field is found to exhibit four distinct phases: a Bose and a Fermi insulating, a metallic and a superconducting phase, respectively. The results explain the giant negative magneto-resistance found experimentally in In-O, TiN, Bi and high-$T_c$ materials. △ Less

Submitted 3 December, 2010; v1 submitted 29 January, 2010; originally announced January 2010.

Journal ref: Phys.Rev.Lett. 105 267001 (2010)

Weakly interacting Bose gas in a random environment

Authors: G. M. Falco, T. Nattermann, V. L. Pokrovsky

Abstract: Zero temperature properties of a dilute weakly interacting $d$-dimensional Bose gas in a random potential are studied. We calculate geometrical and energetic characteristics of the localized state of a gas confined in a large box or in a harmonic trap. Different regimes of the localized state are found depending on the ratio of two characteristic length scales of the disorder, the Larkin length… ▽ More Zero temperature properties of a dilute weakly interacting $d$-dimensional Bose gas in a random potential are studied. We calculate geometrical and energetic characteristics of the localized state of a gas confined in a large box or in a harmonic trap. Different regimes of the localized state are found depending on the ratio of two characteristic length scales of the disorder, the Larkin length and the disorder correlation length. Repulsing bosons confined in a large box with average density $n$ well below a critical value $n_c$ are trapped in deep potential wells of extension much smaller than distance between them. Tunneling between these wells is exponentially small. The ground state of such a gas is a random singlet with no long-range phase correlation For $n>n_c$ repulsion between particles overcomes the disorder and the gas transits from the localized to a coherent superfluid state. The critical density $n_c$ is calculated in terms of the disorder parameters and the interaction strength. For atoms in traps four different regimes are found, only one of it is superfluid. The theory is extended to lower (1 and 2) dimensions. Its quantitative predictions can be checked in experiments with ultracold atomic gases and other Bose-systems. △ Less

Submitted 8 November, 2008; originally announced November 2008.

Journal ref: Phys. Rev B 80, 104515 (2009)

Localized states and interaction induced delocalization in Bose gases with quenched disorder

Authors: G. M. Falco, T. Nattermann, V. L. Pokrovsky

Abstract: Very diluted Bose gas placed into a disordered environment falls into a fragmented localized state. At some critical density the repulsion between particles overcomes the disorder. The gas transits into a coherent superfluid state. In this article the geometrical and energetic characteristics of the localized state at zero temperature and the critical density at which the quantum phase transitio… ▽ More Very diluted Bose gas placed into a disordered environment falls into a fragmented localized state. At some critical density the repulsion between particles overcomes the disorder. The gas transits into a coherent superfluid state. In this article the geometrical and energetic characteristics of the localized state at zero temperature and the critical density at which the quantum phase transition from the localized to the superfluid state proceeds are found. △ Less

Submitted 18 June, 2009; v1 submitted 19 August, 2008; originally announced August 2008.

Comments: 17 pages, 5 figure

Journal ref: Europhysics Letters {\bf 85}, 30002 (2009)

Collective Oscillations in Trapped Bose-Einstein Condensed Gases in the Presence of Weak Disorder

Authors: G. M. Falco, A. Pelster, R. Graham

Abstract: The influence of a weak random potential on the collective modes of a trapped interacting Bose-Einstein condensate at zero temperature is calculated in the limit when the correlation length of the disorder is smaller than the healing length of the superfluid. The problem is solved in the Thomas-Fermi limit by generalizing the superfluid hydrodynamic equations to allow for the presence of weak di… ▽ More The influence of a weak random potential on the collective modes of a trapped interacting Bose-Einstein condensate at zero temperature is calculated in the limit when the correlation length of the disorder is smaller than the healing length of the superfluid. The problem is solved in the Thomas-Fermi limit by generalizing the superfluid hydrodynamic equations to allow for the presence of weak disorder. We find that the disorder-induced frequency-shifts of the low-energy excitations can be of the same order of magnitude as the beyond mean-field corrections in the normal interaction recently observed experimentally. △ Less

Submitted 1 May, 2007; originally announced May 2007.

Comments: 6 pages, 2 figures

Journal ref: Phys. Rev. A 76, 013624 (2007)

Thermodynamics of a Bose-Einstein Condensate with Weak Disorder

Authors: G. M. Falco, A. Pelster, R. Graham

Abstract: We consider the thermodynamics of a homogeneous superfluid dilute Bose gas in the presence of weak quenched disorder. Following the zero-temperature approach of Huang and Meng, we diagonalize the Hamiltonian of a dilute Bose gas in an external random delta-correlated potential by means of a Bogoliubov transformation. We extend this approach to finite temperature by combining the Popov and the ma… ▽ More We consider the thermodynamics of a homogeneous superfluid dilute Bose gas in the presence of weak quenched disorder. Following the zero-temperature approach of Huang and Meng, we diagonalize the Hamiltonian of a dilute Bose gas in an external random delta-correlated potential by means of a Bogoliubov transformation. We extend this approach to finite temperature by combining the Popov and the many-body T-matrix approximations. This approach permits us to include the quasi-particle interactions within this temperature range. We derive the disorder-induced shifts of the Bose-Einstein critical temperature and of the temperature for the onset of superfluidity by approaching the transition points from below, i.e., from the superfluid phase. Our results lead to a phase diagram consistent with that of the finite-temperature theory of Lopatin and Vinokur which was based on the replica method, and in which the transition points were approached from above. △ Less

Submitted 5 February, 2007; originally announced February 2007.

Comments: 11 pages, 5 figures

Journal ref: Phys. Rev A, 063619 (2007)

Dressed-molecules in resonantly-interacting ultracold atomic Fermi gases

Authors: G. M. Falco, H. T. C. Stoof

Abstract: We present a detailed analysis of the two-channel atom-molecule effective Hamiltonian for an ultracold two-component homogeneous Fermi gas interacting near a Feshbach resonance. We particularly focus on the two-body and many-body properties of the dressed molecules in such a gas. An exact result for the many-body T-matrix of the two-channel theory is derived by both considering coupled vertex eq… ▽ More We present a detailed analysis of the two-channel atom-molecule effective Hamiltonian for an ultracold two-component homogeneous Fermi gas interacting near a Feshbach resonance. We particularly focus on the two-body and many-body properties of the dressed molecules in such a gas. An exact result for the many-body T-matrix of the two-channel theory is derived by both considering coupled vertex equations and the functional integral methods. The field theory incorporates exactly the two-body physics of the Feshbach scattering by means of simple analytical formulas without any fitting parameters. New interesting many-body effects are discussed in the case of narrow resonances. We give also a description of the BEC-BCS crossover above and below T_C. The effects of different approximations for the selfenergy of the dressed molecules are discussed. The single-channel results are derived as a special limit for broad resonances. Moreover, through an analytic analysis of the BEC limit, the relation between the composite boson of the single-channel model and the dressed-molecule of the two-channel model is established. △ Less

Submitted 9 March, 2006; originally announced March 2006.

Comments: 44 pages, 24 figures

Journal ref: Phys.Rev.A75:023612,2007

Atom-molecule theory of broad Feshbach resonances

Authors: G. M. Falco, H. T. C. Stoof

Abstract: We derive the atom-molecule theory for an atomic gas near a broad Feshbach resonance, where the energy dependence of the atom-molecule coupling becomes crucial for understanding experimental results. We show how our many-body theory incorporates the two-atom physics exactly. In particular, we calculate the magnetic moment of a two-component gas of ^{6}Li atoms for a wide range of magnetic fields… ▽ More We derive the atom-molecule theory for an atomic gas near a broad Feshbach resonance, where the energy dependence of the atom-molecule coupling becomes crucial for understanding experimental results. We show how our many-body theory incorporates the two-atom physics exactly. In particular, we calculate the magnetic moment of a two-component gas of ^{6}Li atoms for a wide range of magnetic fields near the broad Feshbach resonance at about 834 Gauss. We find excellent agreement with the experiment of Jochim et al. [Phys. Rev. Lett. 91, 240402 (2003)]. △ Less

Submitted 23 September, 2004; originally announced September 2004.

Comments: 4 pages, 2 figures

Journal ref: Phys.Rev.A71:063614,2005

Crossover temperature of Bose-Einstein condensation in an atomic Fermi gas

Authors: G. M. Falco, H. T. C. Stoof

Abstract: We show that in an atomic Fermi gas near a Feshbach resonance the crossover between a Bose-Einstein condensate of diatomic molecules and a Bose-Einstein condensate of Cooper pairs occurs at positive detuning, i.e., when the molecular energy level lies in the two-atom continuum. We determine the crossover temperature as a function of the applied magnetic field and find excellent agreement with th… ▽ More We show that in an atomic Fermi gas near a Feshbach resonance the crossover between a Bose-Einstein condensate of diatomic molecules and a Bose-Einstein condensate of Cooper pairs occurs at positive detuning, i.e., when the molecular energy level lies in the two-atom continuum. We determine the crossover temperature as a function of the applied magnetic field and find excellent agreement with the experiment of Regal et al. [Phys. Rev. Lett. 92, 040403 (2004)] that has recently observed this crossover temperature. △ Less

Submitted 24 February, 2004; originally announced February 2004.

Comments: 4 pages, 2 figures

Journal ref: Phys.Rev.Lett.92:130401,2004

The bosonic Kondo effect

Authors: G. M. Falco, R. A. Duine, H. T. C. Stoof

Abstract: The Kondo effect is associated with the formation of a many-body ground state that contains a quantum-mechanical entanglement between a (localized) fermion and the free fermions. We show that a bosonic version of the Kondo effect can occur in degenerate atomic Fermi gases near the Feshbach resonance. We also discuss how this bosonic Kondo effect can be observed experimentally. The Kondo effect is associated with the formation of a many-body ground state that contains a quantum-mechanical entanglement between a (localized) fermion and the free fermions. We show that a bosonic version of the Kondo effect can occur in degenerate atomic Fermi gases near the Feshbach resonance. We also discuss how this bosonic Kondo effect can be observed experimentally. △ Less

Submitted 9 July, 2003; v1 submitted 22 April, 2003; originally announced April 2003.

Comments: 4 pages, 2 figures, some references added, some removed. More comments added

Report number: ITP-UU-03/22

Journal ref: Phys.Rev.Lett.92:140402,2004