Architecture for spacecraft operations planning

A system which generates plans for the dynamic environment of space operations is discussed. This system synthesizes plans by combining known operations under a set of physical, functional, and temperal constraints from various plan entities, which are modeled independently but combine in a flexible manner to suit dynamic planning needs. This independence allows the generation of a single plan source which can be compiled and applied to a variety of agents. The architecture blends elements of temperal logic, nonlinear planning, and object oriented constraint modeling to achieve its flexibility. This system was applied to the domain of the Intravehicular Activity (IVA) maintenance and repair aboard Space Station Freedom testbed

Acquire Driving Scenarios Efficiently: A Framework for Prospective Assessment of Cost-Optimal Scenario Acquisition

Scenario-based testing is becoming increasingly important in safety assurance for automated driving. However, comprehensive and sufficiently complete coverage of the scenario space requires significant effort and resources if using only real-world data. To address this issue, driving scenario generation methods are developed and used more frequently, but the benefit of substituting generated data for real-world data has not yet been quantified. Additionally, the coverage of a set of concrete scenarios within a given logical scenario space has not been predicted yet. This paper proposes a methodology to quantify the cost-optimal usage of scenario generation approaches to reach a certainly complete scenario space coverage under given quality constraints and parametrization. Therefore, individual process steps for scenario generation and usage are investigated and evaluated using a meta model for the abstraction of knowledge-based and data-driven methods. Furthermore, a methodology is proposed to fit the meta model including the prediction of reachable complete coverage, quality criteria, and costs. Finally, the paper exemplary examines the suitability of a hybrid generation model under technical, economical, and quality constraints in comparison to different real-world scenario mining methods.Comment: Accepted to be published as part of the 26th IEEE International Conference on Intelligent Transportation Systems (ITSC) 2023, Bilbao, Spain, September 24-28, 202

Performance of Coupled Product Development Activities with a Deadline

This paper explores the performance of coupled development tasks subject to a deadline constraint by proposing a performance generation model (PGM). The goal of the PGM is to develop insights about optimal strategies (i.e. sequential, concurrent, or overlapped) to manage coupled design tasks that share fixed amount of engineering resources subject to performance and deadline constraints. Model analysis characterizes the solution space for the coupled development problem. The solution space is used to explore the generation of product performance and the associated dynamic forces affecting concurrent development practices. We use these forces to explain conditions under which concurrency is a desirable strategy

Supersymmetric Dark Matter and Yukawa Unification

An analysis of supersymmetric dark matter under the Yukawa unification constraint is given. The analysis utilizes the recently discovered region of the parameter space of models with gaugino mass nonuniversalities where large negative supersymmetric corrections to the b quark mass appear to allow $b-\tau$ unification for a positive $\mu$ sign consistent with the $b\to s+\gamma$ and $g_{\mu}-2$ constraints. In the present analysis we use the revised theoretical determination of $a_{\mu}^{SM}$ ($a_{\mu}= (g_{\mu}-2)/2$) in computing the difference $a_{\mu}^{exp}-a_{\mu}^{SM}$ which takes account of a reevaluation of the light by light contribution which has a positive sign. The analysis shows that the region of the parameter space with nonuniversalities of the gaugino masses which allows for unification of Yukawa couplings also contains regions which allow satisfaction of the relic density constraint. Specifically we find that the lightest neutralino mass consistent with the relic density constraint, $b\tau$ unification for SU(5) and $b-t-\tau$ unification for SO(10) in addition to other constraints lies in the region below 80 GeV. An analysis of the maximum and the minimum neutralino-proton scalar cross section for the allowed parameter space including the effect of a new determination of the pion-nucleon sigma term is also given. It is found that the full parameter space for this class of models can be explored in the next generation of proposed dark matter detectors.Comment: 28 pages,nLatex including 5 fig

Higgs Gravitational Interaction, Weak Boson Scattering, and Higgs Inflation in Jordan and Einstein Frames

We study gravitational interaction of Higgs boson through the unique dimension-4 operator $\xi H^\dag H R$, with $H$ the Higgs doublet and $R$ the Ricci scalar curvature. We analyze the effect of this dimensionless nonminimal coupling $\xi$ on weak gauge boson scattering in both Jordan and Einstein frames. We explicitly establish the longitudinal-Goldstone boson equivalence theorem with nonzero $\xi$ coupling in both frames, and analyze the unitarity constraints. We study the $\xi$-induced weak boson scattering cross sections at O(1-30)TeV scales, and propose to probe the Higgs-gravity coupling via weak boson scattering experiments at the LHC(14TeV) and the next generation pp colliders (50-100TeV). We further extend our study to Higgs inflation, and quantitatively derive the perturbative unitarity bounds via coupled channel analysis, under large field background at the inflation scale. We analyze the unitarity constraints on the parameter space in both the conventional Higgs inflation and the improved models in light of the recent BICEP2 data.Comment: 40pp, JCAP Final Version. Use jcappub.sty, only minor rewordings, references adde

A minimal U(1)′U(1)^\prime extension of MSSM in light of the B decay anomaly

Motivated by the $R_K$ and $R_{K^*}$ anomalies from B decays, we extend the minimal supersymmetric model with a non-universal anomaly-free $U(1)^\prime$ gauge symmetry, coupling non-universally to the lepton sector as well as the quark sector. In particular, only the third generation quarks are charged under this $U(1)^\prime$, which can easily evade the dilepton bound from the LHC searches. An extra singlet is introduced to break this $U(1)^\prime$ symmetry allowing for the $\mu$-term to be generated dynamically. The relevant constraints of $B_s-\bar{B}_s$ mixing, $D^0-\bar{D}^0$ mixing and the LHC dilepton searches are considered. We find that in the allowed parameter space this $U(1)^\prime$ gauge interaction can accommodate the $R_K$ and $R_{K^*}$ anomalies and weaken considerably the $Z^\prime$ mass limits while remaining perturbative up to the Planck scale.Comment: 12 pages,2 figure

Dark matter scenarios in a constrained model with Dirac gauginos

We perform the first analysis of Dark Matter scenarios in a constrained model with Dirac Gauginos. The model under investigation is the Constrained Minimal Dirac Gaugino Supersymmetric Standard model (CMDGSSM) where the Majorana mass terms of gauginos vanish. However, $R$-symmetry is broken in the Higgs sector by an explicit and/or effective $B_\mu$-term. This causes a mass splitting between Dirac states in the fermion sector and the neutralinos, which provide the dark matter candidate, become pseudo-Dirac states. We discuss two scenarios: the universal case with all scalar masses unified at the GUT scale, and the case with non-universal Higgs soft-terms. We identify different regions in the parameter space which fullfil all constraints from the dark matter abundance, the limits from SUSY and direct dark matter searches and the Higgs mass. Most of these points can be tested with the next generation of direct dark matter detection experiments.Comment: 28 pages, 11 figures; v2: minor changes, title modified; matches published versio