Search NASA⌕ Search

SEARCH · Search NASA

Results for “Pathway Logic”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

HypoRiPPAtlas as an Atlas of hypothetical natural products for mass spectrometry database search

Abstract Recent analyses of public microbial genomes have found over a million biosynthetic gene clusters, the natural products of the majority of which remain unknown. Additionally, GNPS harbors billions of mass spectra of natural products without known structures and biosynthetic genes. We bridge the gap between large-scale genome mining and mass spectral datasets for natural product discovery by developing HypoRiPPAtlas, an Atlas of hypothetical natural product structures, which is ready-to-use for in silico database search of tandem mass spectra. HypoRiPPAtlas is constructed by mining genomes using seq2ripp, a machine-learning tool for the prediction of ribosomally synthesized and post-translationally modified peptides (RiPPs). In HypoRiPPAtlas, we identify RiPPs in microbes and plants. HypoRiPPAtlas could be extended to other natural product classes in the future by implementing corresponding biosynthetic logic. This study paves the way for large-scale explorations of biosynthetic pathways and chemical structures of microbial and plant RiPP classes.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2024

Effect of fabrication processes on BaTiO 3 capacitor properties

There is an increasing desire to utilize complex functional electronic materials such as ferroelectrics in next-generation microelectronics. As new materials are considered or introduced in this capacity, an understanding of how we can process these materials into those devices must be developed. Here, the effect of different fabrication processes on the ferroelectric and related properties of prototypical metal oxide (SrRuO 3 )/ferroelectric (BaTiO 3 )/metal oxide (SrRuO 3 ) heterostructures is explored. Two different types of etching processes are studied, namely, wet etching of the top SrRuO 3 using a NaIO 4 solution and dry etching using an Ar + -ion beam (i.e., ion milling). Polarization-electric-field hysteresis loops for capacitors produced using both methods are compared. For the ion-milling process, it is found that the Ar + beam can introduce defects into the SrRuO 3 /BaTiO 3 /SrRuO 3 devices and that the milling depth strongly influences the defect level and can induce a voltage imprint on the function. Realizing that such processing approaches may be necessary, work is performed to ameliorate the imprint of the hysteresis loops via ex situ “healing” of the process-induced defects by annealing the ferroelectric material in a barium-and-oxygen-rich environment via a chemical-vapor-deposition-style process. This work provides a pathway for the nanoscale fabrication of these candidate materials for next-generation memory and logic applications.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Harnessing ferro-valleytricity in pentalayer rhombohedral graphene for memory and compute

Two-dimensional materials with multiple degrees of freedom, including spin, valleys, and orbitals, open up an exciting avenue for engineering multifunctional devices. Beyond spintronics, these degrees of freedom can lead to novel quantum effects such as valley-dependent Hall effects and orbital magnetism, which could revolutionize next-generation electronics. However, achieving independent control over valley polarization and orbital magnetism has been a challenge due to the need for large electric fields. A recent breakthrough involving pentalayer rhombohedral graphene has demonstrated the ability to individually manipulate anomalous Hall signals and orbital magnetic hysteresis, forming what is known as a valley-magnetic quartet. Here, we leverage the electrically tunable ferro-valleytricity of pentalayer rhombohedral graphene to develop nonvolatile memory and in-memory computation applications. We propose an architecture for a dense, scalable, and selector-less nonvolatile memory array that harnesses the electrically tunable ferro-valleytricity. In our designed array architecture, nondestructive read and write operations are conducted by sensing the valley state through two different pairs of terminals, allowing for independent optimization of read/write peripheral circuits. The power consumption of our PRG-based array is remarkably low, with only ∼6 nW required per write operation and ∼2.3 nW per read operation per cell. This consumption is orders of magnitude lower than that of the majority of state-of-the-art cryogenic memories. Additionally, we engineer in-memory computation by implementing majority logic operations within our proposed nonvolatile memory array without modifying the peripheral circuitry. In conclusion, our framework presents a promising pathway toward achieving ultra-dense cryogenic memory and in-memory computation capabilities.

2D materials↗
DOE OSTI2021

Application of Dislocation Theory to Minimize Defects in Artificial Solids Built with Nanocrystal Building Blocks

Conspectus. Oriented atomic attachment of colloidal inorganic nanocrystals represents a powerful synthetic method for preparing complex inorganic superstructures. Examples include fusion of nanocrystals into dimer and superlattice structures. If the attachment were perfect throughout, then the resulting materials would have single crystal-like alignment of the individual nanocrystals' atomic lattices. While individual colloidal nanocrystals typically are free of many defects, there are a multitude of pathways that can generate defects upon nanocrystal attachment. These attachment generated defects are typically undesirable, and thus developing strategies to favor defect-free attachment or heal defective interfaces are essential. There may also be some cases where attachment-derived defects are desirable. In this Account, we summarize our current understanding of how these defects arise, in order to offer guidance to those who are designing nanocrystal derived solids. The small size of inorganic nanocrystals means short diffusion lengths to the surface, which favor the formation of nanocrystal building blocks with pristine atomic structures. Upon attachment, however, there are numerous pathways that can lead to atomic scale defects, and bulk crystal dislocation theory provides an invaluable guide to understanding these phenomena. As an example, an atomic step edge can be incorporated into the interface leading to an extra half-plane of atoms, known as an edge dislocation. These dislocations can be well described by the Burgers vector description of dislocations, which geometrically identifies planes in which a dislocation can move. Our in situ measurements have verified that bulk dislocation theory predictions for 1D defects hold true at few-nanometer length scales in PbTe and CdSe nanocrystal interfaces. Ultimately, the applicability of dislocation theory to nanocrystal attachment enables the predictive design of attachment to prevent or facilitate healing of defects upon nanocrystal attachment. We applied similar logic to understand formation of planar (2D) defects such as stacking faults upon nanocrystal attachment. Again concepts from bulk crystal defect crystallography can identify attachment pathways that can prevent or deterministically form planar defects upon nanocrystal attachment. The concepts we discuss work well for identifying favorable attachment geometries for nanocrystal pairs ; however it is currently unclear how to translate these ideas to near-simultaneous multiparticle attachment. Geometric frustration, which prevents nanocrystal rotation, and yet-to-be considered defect generation pathways unique to multiparticle attachment complicate defect-free superlattice attachment. New imaging methods now allow for the direct observation of local attachment trajectories and may enable improved understanding of such multiparticle phenomena. With further refinement, a unified framework for understanding and ultimately eliminating structural defects in fused nanocrystal superstructures may well be achievable in coming years.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2022

A multi-stage single photochrome system for controlled photoswitching responses

The ability of molecular photoswitches to convert on/off responses into large macroscale property change is fundamental to light-responsive materials. However, moving beyond simple binary responses necessitates the introduction of new elements that control the chemistry of the photoswitching process at the molecular scale. To achieve this goal, we designed, synthesized and developed a single photochrome, based on a modified donor–acceptor Stenhouse adduct (DASA), capable of independently addressing multiple molecular states. The multi-stage photoswitch enables complex switching phenomena. To demonstrate this, we show spatial control of the transformation of a three-stage photoswitch by tuning the population of intermediates along the multi-step reaction pathway of the DASAs without interfering with either the first or final stage. This allows for a photonic three-stage logic gate where the secondary wavelength solely negates the input of the primary wavelength. Finally, these results provide a new strategy to move beyond traditional on/off binary photochromic systems and enable the design of future molecular logic systems.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2021

Alternative pathways utilize or circumvent putrescine for biosynthesis of putrescine-containing rhizoferrin

The siderophore rhizoferrin (N 1 ,N 4 -dicitrylputrescine) is produced in fungi and bacteria to scavenge iron. Putrescine-producing bacterium Ralstonia pickettii synthesizes rhizoferrin and encodes a single nonribosomal peptide synthetase-independent siderophore (NIS) synthetase. From biosynthetic logic, we hypothesized that this single enzyme is sufficient for rhizoferrin biosynthesis. We confirmed this by expression of R. pickettii NIS synthetase in Escherichia coli, resulting in rhizoferrin production. This was further confirmed in vitro using the recombinant NIS synthetase, synthesizing rhizoferrin from putrescine and citrate. Heterologous expression of homologous lbtA from Legionella pneumophila, required for rhizoferrin biosynthesis in that species, produced siderophore activity in E. coli. Rhizoferrin is also synthesized by Francisella tularensis and Francisella novicida, but unlike R. pickettii or L. pneumophila, Francisella species lack putrescine biosynthetic pathways because of genomic decay. Francisella encodes a NIS synthetase FslA/FigA and an ornithine decarboxylase homolog FslC/FigC, required for rhizoferrin biosynthesis. Ornithine decarboxylase produces putrescine from ornithine, but we show here in vitro that FigA synthesizes N-citrylornithine, and FigC is an N-citrylornithine decarboxylase that together synthesize rhizoferrin without using putrescine. We co-expressed F. novicida figA and figC in E. coli and produced rhizoferrin. A 2.1 Å X-ray crystal structure of the FigC N-citrylornithine decarboxylase reveals how the larger substrate is accommodated and how active site residues have changed to recognize N-citrylornithine. FigC belongs to a new subfamily of alanine racemase-fold PLP-dependent decarboxylases that are not involved in polyamine biosynthesis. These data reveal a natural product biosynthetic workaround that evolved to bypass a missing precursor and re-establish it in the final structure.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2023

Modbus RTU for Embedded Cyber Secure Inverter Controller

The Modbus communication protocol is a widely adopted communication standard in industrial control systems. This communication protocol is known for being reliable and straightforward to implement while being versatile in terms of its operating parameters while supporting multiple formats over various hardware infrastructures and architectures. Many intelligent devices such as Programmable Logic Controllers (PLCs), Human-Machine Interfaces (HMIs), Internet-of-Things (IoT), and various Operational Technologies (OT) utilize Modbus for their communication systems. These types of systems must communicate with each other through a standardized and central communication process. To support the integration of these modular systems, a Field-Programmable Gate Array (FPGA) can act as an embedded central routing fabric for this communication to take place. Embedded systems are versatile enough to interface with various devices and systems to accomplish various goals. Additionally, embedded systems require relatively small physical designs to minimize the required resources to facilitate the intended application by providing low-level system access. This minimization of system resources goes hand in hand with reducing the financial cost of a proposed solution or system. As remotely collaborating researchers often use FPGAs to prototype designs that are required to have a method for data transmission among systems, it is imperative to provide a baseline standard for communications among devices and systems. A typical method of implementing the Modbus RTU communication protocol in an embedded environment is using integrated logic architectures within the FPGA called “Intellectual Property (IP) cores.” IP cores can be designed using integrated logic or circuit designs to function as an embedded processor. These IP cores can then perform the required computational actions to support the Modbus RTU communication protocol by utilizing high-level programming languages such as the C programming language. The hardware description language of Very High-Speed Integrated Circuit Hardware Description Language (VHDL) allows for the control of real hardware at the logic gate and signal level. These logic gates and signals can be designed and controlled to perform desired actions based on the system design. Programming an FPGA using VHDL allows an individual to access the lowest abstraction level of the system during FPGA development. This level of abstraction is referred to as the register-transfer level (RTL), which gives access to manipulating values and variables at the register level. This register-level manipulation provides precision over creating the logical circuit within the FPGA, thus minimizing the required code to perform desired operations. The Modbus RTU communication protocol can be implemented within an FPGA using VHDL programming to establish a standardized and embedded serial communication pathway. This implementation provides a standardized communication protocol to streamline research efforts among researchers, thus increasing the efficiency of research efforts. Additionally, this Modbus RTU implementation requires fewer resources when compared to typical communication protocol implementations that utilize an IP core, reducing the hardware requirement for effective research efforts.

communication↗
DOE OSTI2025

A Perspective on Quantum Computing Applications in Quantum Chemistry Using 25-100 Logical Qubits

The intersection of quantum computing and quantum chemistry represents a promising frontier for achieving quantum utility in domains of both scientific and societal relevance. Owing to the exponential growth of classical resource requirements for simulating quantum systems, quantum chemistry has long been recognized as a natural candidate for quantum computation. This perspective focuses on identifying scientifically meaningful use cases where early fault-tolerant quantum computers, which are considered to be equipped with approximately 25-100 logical qubits, could deliver tangible impact. While recent advances in classical computing have pushed the boundaries of tractable simulations to unprecedented scales, this logical-qubit regime represents the first window where quantum devices can pursue qualitatively distinct strategies, such as polynomial-scaling phase estimation, direct simulation of quantum dynamics, and active-space embedding, that remain challenging for classical solvers, such as multireference charge-transfer and conical-intersection states central to photochemistry and materials design. We highlight near-term opportunities in algorithm and software design, discuss representative chemical problems suited for quantum acceleration, and propose strategic roadmaps and collaborative pathways for advancing practical quantum utility in quantum chemistry.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2022

Programmable soft valves for digital and analog control

In soft devices, complex actuation sequences and precise force control typically require hard electronic valves and microcontrollers. Existing designs for entirely soft pneumatic control systems are capable of either digital or analog operation, but not both, and are limited by speed of actuation, range of pressure, time required for fabrication, or loss of power through pull-down resistors. Using the nonlinear mechanics intrinsic to structures composed of soft materials—in this case, by leveraging membrane inversion and tube kinking—two modular soft components are developed: a piston actuator and a bistable pneumatic switch. These two components combine to create valves capable of analog pressure regulation, simplified digital logic, controlled oscillation, nonvolatile memory storage, linear actuation, and interfacing with human users in both digital and analog formats. Three demonstrations showcase the capabilities of systems constructed from these valves: 1) a wearable glove capable of analog control of a soft artificial robotic hand based on input from a human user’s fingers, 2) a human-controlled cushion matrix designed for use in medical care, and 3) an untethered robot which travels a distance dynamically programmed at the time of operation to retrieve an object. This work illustrates pathways for complementary digital and analog control of soft robots using a unified valve design.

42 ENGINEERING↗
DOE OSTI2026

Leveraging 13C-Labeling to Assign Molecular Formulas to Unknown Yeast Metabolites

Mass spectrometry analyses have identified tens of thousands of unknown small molecule-associated peaks in different biological specimens. Notably, even the simplest and best studied organisms like Escherichia coli and Saccharomyces cerevisiae yield thousands of unknown peaks. A key question is how many of these reflect actual novel endogenous metabolites. To explore this, Mahieu and Patti used complete 13 C -labeling in E. coli to credential peaks as biological. This reduced the number of unknowns by more than 90%. Here, we carry out similar uniform 13 C-labeling in the Baker’s yeast S. cerevisiae and two less-studied bioenergy-relevant yeasts Rhodotorula toruloides (lipid producer) and Issatchenkia orientalis (organic acid producer). Identification of unknown metabolite peaks and their molecular formulas is facilitated through software tailored for 13 C labeling data and resulting knowledge of carbon atom count. A classification model evaluates the plausibility of each candidate formula, with peaks lacking plausible candidate formulas unlikely to reflect metabolite molecular ions. This approach prioritizes about one hundred candidate abundant unknown metabolites with logical molecular formulas. Most of these are species-specific rather than conserved across yeasts, and more are found in the nonmodel yeasts than S. cerevisiae. Thus, 13 C-labeling data on unknown metabolites highlights the potential for discovering new metabolites and pathways in nonmodel yeasts.

Carbon↗
NASA NTRSDate not supplied

A Method for Validating Causal Diagrams of Human Health Risk in Space Flight

The complexity of cause-and-effect relationships between spaceflight hazards and resulting health conditions clouds understanding of the totality of human system risk in space. In response, NASA has introduced Directed Acyclic Graphs (causal diagrams) into the human systems risk management process. These diagrams allow for a common understanding of the mechanisms that lead from unique hazards of spaceflight to the health outcomes important to agencies and astronauts. However, the paucity of available biomedical data from spaceflight creates a need for methods of validating causal models that can accommodate data from spaceflight model analogs. Here we outline one approach utilizing open-access rodent bone datasets from the Ames Life Sciences Data Archive. The properties of directed acyclic graphs themselves can provide an epistemological and statistical framework for validation of a priori causal representations of human system risk in space flight. The assumed causal connections on the graph creates sets of logical implications: variables that – if the causal diagram is correct – should be correlated, as well as sets that should be conditionally independent. By testing these implied correlations and conditional independencies both statistically and heuristically, we can provide evidence for or against specific causal pathways on the causal diagram. In addition to validation of expert-generated causal diagrams, machine learning techniques can learn the most likely structure of a causal diagram from a given dataset. Comparison with and reconciliation between machine-learned causal diagrams and expert-generated diagrams is another technique for challenging assumptions and improving our understanding of causal mechanisms. Accurately representing complex causation is essential to systemic understanding of human health risks in space travel. Having a robust system of validating causal diagrams helps us arrive at more accurate representations of causal systems. This process will be integral to developing the countermeasures necessary for extended exploration of the moon and Mars.

Robert Reynolds↗
DOE OSTI2022

High Velocity, Low‐Voltage Collective In‐Plane Switching in (100) BaTiO 3 Thin Films

Abstract Ferroelectrics are being increasingly called upon for electronic devices in extreme environments. Device performance and energy efficiency is highly correlated to clock frequency, operational voltage, and resistive loss. To increase performance it is common to engineer ferroelectric domain structure with highly‐correlated electrical and elastic coupling that elicit fast and efficient collective switching. Designing domain structures with advantageous properties is difficult because the mechanisms involved in collective switching are poorly understood and difficult to investigate. Collective switching is a hierarchical process where the nano‐ and mesoscale responses control the macroscopic properties. Using chemical solution synthesis, epitaxially nearly‐relaxed (100) BaTiO 3 films are synthesized. Thermal strain induces a strongly‐correlated domain structure with alternating domains of polarization along the [010] and [001] in‐plane axes and 90° domain walls along the [011] or [01] directions. Simultaneous capacitance–voltage measurements and band‐excitation piezoresponse force microscopy revealed strong collective switching behavior. Using a deep convolutional autoencoder, hierarchical switching is automatically tracked and the switching pathway is identified. The collective switching velocities are calculated to be ≈500 cm s −1 at 5 V (7 kV cm −1 ), orders‐of‐magnitude faster than expected. These combinations of properties are promising for high‐speed tunable dielectrics and low‐voltage ferroelectric memories and logic.

36 MATERIALS SCIENCE↗
NASA NTRS2024

Final Technical Report for CMSC 838L

This paper describes Rahul Vishnoi’s final project supporting in his Graduate School curriculum CMSC 838L, Advanced Topics in Programming Languages and Computer Architecture. This project was selected to intersect with his work as a Pathways Intern supporting Code 583, the Ground Software Systems Branch, at NASA’s Goddard Space Flight Center (GSFC). In this project, Field Programmable Gate Array (FPGA) hardware from Xilinx is used to replace and offload processor and memory-intensive computations from a microcontroller/Processing System (PS) to the FPGA Programmable Logic (PL). An interface between the PL and PS in the form of a C library allows for this bridging of capability.

Microcontroller, FPGA, Embedded Development, Xilin↗
DOE OSTI2022

Enzymatic Nitrogen Insertion into Unactivated C–H Bonds

Selective functionalization of aliphatic C–H bonds, ubiquitous in molecular structures, could allow ready access to diverse chemical products. While enzymatic oxygenation of C–H bonds is well established, the analogous enzymatic nitrogen functionalization is still unknown; nature is reliant on pre-oxidized compounds for nitrogen incorporation. Likewise, synthetic methods for selective nitrogen derivatization of unbiased C–H bonds remain elusive. In this work, new-to-nature heme-containing nitrene transferases were used as starting points for the directed evolution of enzymes to selectively aminate and amidate unactivated C(sp3)–H sites. The desymmetrization of methyl- and ethylcyclohexane with divergent site selectivity is offered as demonstration. The evolved enzymes in these lineages are highly promiscuous and show activity towards a wide array of substrates, providing a foundation for further evolution of nitrene transferase function. Computational studies and kinetic isotope effects (KIEs) are consistent with a stepwise radical pathway involving an irreversible, enantiodetermining hydrogen atom transfer (HAT), followed by a lower-barrier diastereoselectivity determining radical rebound step. In-enzyme molecular dynamics (MD) simulations reveal a predominantly hydrophobic pocket with favorable dispersion interactions with the substrate. Here, by offering a direct path from saturated precursors, these enzymes present a new biochemical logic for accessing nitrogen-containing compounds.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

Understanding the dynamic nature of plant lipid anabolic and catabolic metabolism is key to sustainable oilseed engineering

Plant-derived oils are essential sources of reduced carbon and various fatty acid (FA) structures for food, biofuels, and the oleochemical industry. Despite extensive efforts, engineering mainstream oilseed crops to produce high levels of industrially valuable unusual FAs (UFAs) remains challenging. This review synthesizes recent advances in the understanding of lipid metabolic networks, emphasizing how species-specific regulation of FA synthesis, activation, and delivery influences triacylglycerol (TAG) assembly to govern the efficiency of UFA accumulation. Key insights reveal that acyl flux through anabolic and catabolic branches of lipid metabolism is tightly controlled by enzyme substrate selectivities, diacylglycerol (DAG) pool compartmentalization, and metabolic context, including lipid remodeling and degradation pathways. Engineering success is often constrained by incompatibilities between UFA biosynthetic enzymes and endogenous host metabolism, leading to flux imbalances, futile cycles, and undesired phenotypes. We highlight emerging strategies to overcome these barriers, such as the use of UFA-selective acyltransferases, coordinated manipulation of DAG source pools, suppression of competing endogenous enzymes, and exploitation of TAG remodeling mechanisms. This integrated synthesis provides a conceptual framework for logic-based engineering of oilseeds with enhanced UFA content by offering new avenues for sustainable biomanufacturing of valuable lipids.

acyltransferase specificity↗
NASA NTRS1984

Mental Models of Invisible Logical Networks

Subjects were required to discover the structure of a logical network whose links were invisible. Network structure had to be inferred from the behavior of the components after a failure. It was hypothesized that since such failure diagnosis tasks often draw on spatial processes, a good deal of spatial complexity in the network should affect network discovery. Results show that the ability to discover the linkages in the network is directly related to the spatial complexity of the pathway described by the linkages. This effect was generally independent of the amount of evidence available to subjects about the existence of the link. These results raise the question of whether inferences about spatially complex pathways were simply not made, or whether they were made but not retained because of a high load on memory resources.

Sanderson, P.↗
NASA NTRS2008

Evolution of Government and Industrial Partnerships to Open the Space Frontier

If the logical extension of the current exploration program is to develop self-sustaining settlements on the Moon and Mars over the next few centuries, then there is a path that takes civilization from its current one planet existence to a multi-world future. By considering the far term goal of space settlements as a desired endpoint and using the current state as a starting point, the policy drivers and potential pathways to the goal of sustainable space settlements can be explored. This paper describes a three-phased evolution of government and industrial partnerships from current day relationships to a time when there are sustainable settlements in space. Phase I details the current state government-led exploration while Phase III describes a desired endpoint of self-sufficient settlements in space. Phase II is an important transition phase, which acts as a bridge between now and the future. This paper discusses the critical evolution that must take place in two key areas to ensure a thriving future in space; space transportation and the right to use space property and resources. This paper focuses on the enabling role of government necessary to achieve United States (U.S.) goals for space exploration and open the frontier.

Martin, Gary L.↗
NASA NTRSDate not supplied

Minimum-Violation Traffic Management for Urban Air Mobility

Urban air mobility (UAM) refers to air transportation services in and over an urban area and has the potential to revolutionize mobility solutions. However, due to the projected scale of operations, current air traffic management (ATM) techniques are not viable. Increasingly autonomous systems are a pathway to accelerate the realization of UAM operations but must be fielded safely and efficiently. The heavily regulated, safety critical nature of aviation may lead to multiple, competing safety constraints that can be traded off based on the operational context. In this paper, we design a framework which allows for the scalable planning of a UAM ATM system. We formalize safety oriented constraints derived from FAA regulations by encoding them as temporal logic formulae. We then propose a method for UAM ATM that is both scalable and minimally violates the temporal logic constraints. Numerical results show that the runtime for our proposed algorithm is suitable for very large problems and is backed by theoretical guarantees of correctness with respect to given temporal logic constraints.

Urban Air Mobility↗