Search NASA⌕ Search

SEARCH · Search NASA

Results for “Adaptive Scheduling”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Emulated Spacecraft Communication Testbed for Evaluating Cognitive Networking Technology

The ability to emulate the full space protocol stack is an essential aspect required to evaluate and mature cognitive communication capabilities. The interaction between the physical layer and network layers is key to developing network optimizations for a dynamic and complex environment. We present a laboratory testbed for the evaluation of cognitive radio and networking techniques applied to space communications. The testbed is a high fidelity, flight-like hardware testbed consisting of software-defined radios, channel emulators, modems, and orbital analysis and scheduling software. The testbed uses RF links with signal quality, propagation delay, and Doppler effects driven by orbital mechanics simulations of emulated spacecraft. Our framework enables control of link bidirectionality, data rates, and interference sources. In addition to hardware radio nodes, the testbed can incorporate virtualized emulated nodes for larger and more challenging network scenarios. Our approach to a cognitive communication system uses delay tolerant networking (DTN) to mitigate the challenges of the space environment. While many DTN networks use only preplanned schedules, our system uses User-Initiated Service (UIS) to dynamically schedule service providers. Software-defined radio allows the system to adapt to a variety of service providers. Integration of DTN, UIS, and software-defined radio technologies provides a framework for the implementation of a cognitive communication system. This paper describes the testbed capabilities, network emulation approach, component integration, and initial end-to-end testing results.

cognitive radio↗
NASA NTRS2013

Friction Stir Weld Application and Tooling Design for the Multi-purpose Crew Vehicle Stage Adapter

The Multi-Purpose Crew Vehicle (MPCV), commonly known as the Orion capsule, is planned to be the United States' next manned spacecraft for missions beyond low earth orbit. Following the cancellation of the Constellation program and creation of SLS (Space Launch System), the need arose for the MPCV to utilize the Delta IV Heavy rocket for a test launch scheduled for 2014 instead of the previously planned Ares I rocket. As a result, an adapter (MSA) must be used in conjunction with the MPCV to account for the variation in diameter of the launch vehicles; 5.5 meters down to 5.0 meters. Prior to ight article fabrication, a path nder (test article) will be fabricated to ne tune the associated manufacturing processes. The adapter will be comprised of an aluminum frustum (partial cone) that employs isogrid technology and circumferential rings on each end. The frustum will be fabricated by friction stir welding (FSW) three individual panels together on a Vertical Weld Tool (VWT) at NASA Marshall Space Flight Center. Subsequently, each circumferential ring will be friction stir welded to the frustum using a Robotic Weld Tool (RWT). The irregular geometry and large mass of the MSA require that extensive tooling preparation be put into support structures for the friction stir weld. The tooling on the VWT will be comprised of a set of conveyors mounted on pre-existing stanchions so that the MSA will have the ability to be rotated after each of the three friction stir welds. The tooling requirements to friction stir weld the rings with the RWT are somewhat more demanding. To support the mass of the MSA and resist the load of the weld tool, a system of mandrels will be mounted to stanchions and assembled in a circle. The goal of the paper will be to explain the design, fabrication, and assembly of the tooling, to explain the use of friction stir welding on the MSA path nder, and also to discuss the lessons learned and modi cations made in preparation for ight article fabrication in support of the 2014 launch of the Orion MPCV.

Alcorn, John↗
NASA NTRS2004

Coordinating Shared Activities

Shared Activity Coordination (ShAC) is a computer program for planning and scheduling the activities of an autonomous team of interacting spacecraft and exploratory robots. ShAC could also be adapted to such terrestrial uses as helping multiple factory managers work toward competing goals while sharing such common resources as floor space, raw materials, and transports. ShAC iteratively invokes the Continuous Activity Scheduling Planning Execution and Replanning (CASPER) program to replan and propagate changes to other planning programs in an effort to resolve conflicts. A domain-expert specifies which activities and parameters thereof are shared and reports the expected conditions and effects of these activities on the environment. By specifying these conditions and effects differently for each planning program, the domain-expert subprogram defines roles that each spacecraft plays in a coordinated activity. The domain-expert subprogram also specifies which planning program has scheduling control over each shared activity. ShAC enables sharing of information, consensus over the scheduling of collaborative activities, and distributed conflict resolution. As the other planning programs incorporate new goals and alter their schedules in the changing environment, ShAC continually coordinates to respond to unexpected events.

Clement, Bradley↗
NASA NTRS2011

Full-Scaled Advanced Systems Testbed: Ensuring Success of Adaptive Control Research Through Project Lifecycle Risk Mitigation

The National Aeronautics and Space Administration's Dryden Flight Research Center completed flight testing of adaptive controls research on the Full-Scale Advance Systems Testbed (FAST) in January of 2011. The research addressed technical challenges involved with reducing risk in an increasingly complex and dynamic national airspace. Specific challenges lie with the development of validated, multidisciplinary, integrated aircraft control design tools and techniques to enable safe flight in the presence of adverse conditions such as structural damage, control surface failures, or aerodynamic upsets. The testbed is an F-18 aircraft serving as a full-scale vehicle to test and validate adaptive flight control research and lends a significant confidence to the development, maturation, and acceptance process of incorporating adaptive control laws into follow-on research and the operational environment. The experimental systems integrated into FAST were designed to allow for flexible yet safe flight test evaluation and validation of modern adaptive control technologies and revolve around two major hardware upgrades: the modification of Production Support Flight Control Computers (PSFCC) and integration of two, fourth-generation Airborne Research Test Systems (ARTS). Post-hardware integration verification and validation provided the foundation for safe flight test of Nonlinear Dynamic Inversion and Model Reference Aircraft Control adaptive control law experiments. To ensure success of flight in terms of cost, schedule, and test results, emphasis on risk management was incorporated into early stages of design and flight test planning and continued through the execution of each flight test mission. Specific consideration was made to incorporate safety features within the hardware and software to alleviate user demands as well as into test processes and training to reduce human factor impacts to safe and successful flight test. This paper describes the research configuration, experiment functionality, overall risk mitigation, flight test approach and results, and lessons learned of adaptive controls research of the Full-Scale Advanced Systems Testbed.

Pavlock, Kate M.↗
NASA NTRS2002

An End-to-End Architecture for Science Goal Driven Observing

New observatories will have greater on-board storage capacity and on-board processing capabilities. The new bottleneck will be download capacity. The cost of downlink time and limitations of bandwidth will end the era where all exposure data is downloaded and all data processing is performed on the ground. In addition, observing campaigns involving inherently variable targets will need scheduling flexibility to focus observing time and data download on exposures that are scientifically interesting. The ability to quickly recognize and react to such events by re-prioritizing the observing schedule will be an essential characteristic for maximizing scientific returns. It will also be a step towards increasing spacecraft autonomy, a major goal of NASA's strategic plan. The science goal monitoring (SGM) system is a proof-of-concept effort to address these challenges. We are developing an interactive distributed system that will use on-board processing and storage combined with event-driven interfaces with ground-based processing and operations, to enable fast re-prioritization of observing schedules, and to minimize time spent on non-optimized observations. SGM is initially aimed towards time-tagged observing modes used frequently in spectroscopic studies of varying targets. In particular, the SGM is collaborating with the proposed MIDEX-class mission Kronos team. The variable targets that Kronos seeks to study make an adaptive system such as SGM particularly valuable for achieving mission goals. However, the architecture and interfaces will also be designed for easy adaptability to other observing platforms, including ground-based systems and to work with different scheduling and pipeline processing systems. This talk will focus on our strategy for developing SGM and the technical challenges that we have encountered. We will discuss the SGM architecture as it applies to the Kronos mission and explain how it is scalable to other missions.

Jones, Jeremy↗
NASA NTRS2002

Science Goal Driven Observing and Spacecraft Autonomy

Spacecraft autonomy will be an integral part of mission operations in the coming decade. While recent missions have made great strides in the ability to autonomously monitor and react to changing health and physical status of spacecraft, little progress has been made in responding quickly to science driven events. For observations of inherently variable targets and targets of opportunity, the ability to recognize early if an observation will meet the science goals of a program, and react accordingly, can have a major positive impact on the overall scientific returns of an observatory and on its operational costs. If the onboard software can reprioritize the schedule to focus on alternate targets, discard uninteresting observations prior to downloading, or download a subset of observations at a reduced resolution, the spacecraft's overall efficiency will be dramatically increased. The science goal monitoring (SGM) system is a proof- of-concept effort to address the above challenge. The SGM will have an interface to help capture higher-level science goals from the scientists and translate them into a flexible observing strategy that SGM can execute and monitor. We are developing an interactive distributed system that will use on-board processing and storage combined with event-driven interfaces with ground-based processing and operations, to enable fast re-prioritization of observing schedules, and to minimize time spent on non-optimized observations. This paper will focus on our strategy for developing SGM and the technical challenges that we have encountered. We will discuss the SGM architecture as it applies to the proposed MIDEX-class mission Kronos. However, the architecture and interfaces will also be designed for easy adaptability to other observing platforms, including ground-based systems and to work with different scheduling and pipeline processing systems.

Jones, Jeremy↗
NASA NTRS2016

Designing and Building a Crew-Centric Mobile Scheduling and Planning Tool for Exploring Crew Autonomy Concepts Onboard the International Space Station

During 2015, as part of our ongoing research on crew autonomy, our team adapted and extended the plan viewing tool, Playbook, into a mobile tool for exploring crew autonomy onboard the International Space Station (ISS). This work enables crewmembers to intuitively re-plan and schedule on their own with limited input from mission control. Designed for ease of use, re-planning is composed of simple drag and drop interactions and learning the tool requires little to no training. Playbook was successfully uplinked onto ISS as a technology demonstration and completed its onboard ground and crew checkouts in August and September 2015, respectively. We will discuss and describe how Playbook was able to integrate with actual ISS operational plans and operational procedures without disrupting real mission operations. This work will also outline the design and technical constraints required to build a collaborative tool that allows multiple users to simultaneously self-schedule and synchronize during communication dropouts in the restricted networking and computing environment onboard ISS. Finally, we will explore the aspects of crew autonomy that this technology enables as well as discuss our next steps and possible extensions.

ISS↗
NASA NTRS2013

Scheduling Operations for Massive Heterogeneous Clusters

High-performance computing (HPC) programming has become increasingly difficult with the advent of hybrid supercomputers consisting of multicore CPUs and accelerator boards such as the GPU. Manual tuning of software to achieve high performance on this type of machine has been performed by programmers. This is needlessly difficult and prone to being invalidated by new hardware, new software, or changes in the underlying code. A system was developed for task-based representation of programs, which when coupled with a scheduler and runtime system, allows for many benefits, including higher performance and utilization of computational resources, easier programming and porting, and adaptations of code during runtime. The system consists of a method of representing computer algorithms as a series of data-dependent tasks. The series forms a graph, which can be scheduled for execution on many nodes of a supercomputer efficiently by a computer algorithm. The schedule is executed by a dispatch component, which is tailored to understand all of the hardware types that may be available within the system. The scheduler is informed by a cluster mapping tool, which generates a topology of available resources and their strengths and communication costs. Software is decoupled from its hardware, which aids in porting to future architectures. A computer algorithm schedules all operations, which for systems of high complexity (i.e., most NASA codes), cannot be performed optimally by a human. The system aids in reducing repetitive code, such as communication code, and aids in the reduction of redundant code across projects. It adds new features to code automatically, such as recovering from a lost node or the ability to modify the code while running. In this project, the innovators at the time of this reporting intend to develop two distinct technologies that build upon each other and both of which serve as building blocks for more efficient HPC usage. First is the scheduling and dynamic execution framework, and the second is scalable linear algebra libraries that are built directly on the former.

Humphrey, John↗
NASA NTRS2018

Performance Evaluation of Conflict-Free Trajectory Taxiing in Airport Ramp Area Using Fast-Time Simulations

The German Aerospace Center (DLR) and the National Aeronautics and Space Administration (NASA) have been collaborating to conduct joint research addressing future surface traffic management challenges. The surface management tool from DLR, called Taxi Routing for Aircraft: Creation and Controlling (TRACC), was adapted to be integrated in NASA's fast-time simulation environment called Surface Operations Simulator and Scheduler (SOSS). The research described in this paper 1) applied TRACC to trajectory-based ramp traffic management, where TRACC generates conflict-free aircraft trajectories in a congested ramp area, 2) investigated the feasibility of the concept through the integrated TRACC-SOSS fast-time simulation, and 3) evaluated the performance of the integrated system. For this activity, TRACC was adapted for ramp operations at Charlotte Douglas International Airport, called TRACC_PB (TRACC for pushback optimization). TRACC_PB provides four-dimensional taxi trajectories with a command speed profile for each aircraft following standard taxi routes within the ramp area. In this study, departures are given the Target Movement Area entry Times (TMATs) provided by the baseline surface metering scheduler based on NASA's Spot and Runway Departure Advisor (SARDA). TRACC_PB also calculates optimal pushback times for departures, as well as the times when arrivals shall enter the ramp, the Target Movement area Exit Times (TMETs). The initial results showed that the TRACC_PB successfully generated conflict-free trajectories for the ramp area taxi operations and improved taxiing efficiency compared to the baseline results. TRACC_PB aimed to provide conflict-free taxi routes avoiding any stops while taxiing. This resulted in longer gate hold times for departures and postponed throughput values compared to the baseline simulation without trajectory optimization. Having conflict-free routes without stoppage also created shorter taxi times but required renegotiation of the given TMATs. TRACC_PB also achieved reductions in both fuel consumption and engine emissions (17% for departures and 10% for arrivals), which correlate with the ramp taxi time reduction.

trajectory-based taxi operations↗
NASA NTRS1989

GetAway Tether Experiment (GATE) for the Tether Dynamics Explorer (TDE) series

Designs for the GetAway Tether Experiment (GATE) can easily be adapted and applied to the Tether Dynamics Explorer (TDE) series. The GATE development schedule coincides with the planned first flight of the TDE. GATE technology has centered on the development of miniature deployers/actuators, sensors, control laws and simulation capability. The sensors currently under development are a tension sensor and a video based tether tracker. Both sensors are currently undergoing laboratory testing and development. The actuators currently being investigated are a small reel/deployed for active control of the tether and a small tether crawler to damp vibrations of the tether. Laboratory results are presented and the designs reviewed and discussed.

Greene, Michael↗
NASA NTRS1992

A study of control approaches for large-angle beam slewing with an adaptive truss

This paper presents an analytical study of large-angle beam slewing with a double-octahedral adaptive truss and documents the performance of different control laws for simultaneous vibration control and beam slewing. A general nonlinear model of an adaptive truss and flexible beam is derived which includes a degree-of-freedom previously considered negligible for a double-octahedral adaptive truss actuated at its mid-plane. Linear and nonlinear, gain-scheduled, control laws are developed and applied to the nonlinear model for various large-angle slewing maneuvers. The nonlinear, gain-scheduled, control law is found to perform better than the linear control laws.

Warrington, Thomas J.↗
NASA NTRS2018

Playbook for UAS: UX of Goal-Oriented Planning & Execution

We are evaluating the tool Playbook, a mission planning and scheduling tool used for analog missions and research experiments at NASA. We are adapting Playbook to support an unmanned aerial vehicle (UAV) demonstration that will simulate a "search and recover" mission. To support this demonstration, we need to test this software and its usability with human subjects. Playbook will be used to plan, edit, and monitor simulated UAV swarms, and we are interested in evaluating these capabilities. Allocation of roles and responsibilities between human-automation systems is key to promoting productive cooperation between these two agents. When guiding swarms the user should not be concerned with moving waypoints, adjusting heading and altitude or any other small actions that traditional pilots control. Providing situational awareness through sensor data including radar, heat, live camera feed, and topographic information are key when managing multiple UAVs together. First responders need a good picture of disaster areas in order to make informed decisions. These sensors can initiate movements in the mission that indicate when the human should take control of single aircraft.

UAV swarms↗
NASA NTRS2023

The Assembly, Test, and Integration of LOFTID (Low-Earth Orbit Flight Test of an Inflatable Decelera-tor)

R.J. Bodkin Biography Mr. Bodkin worked in industry for a rapid prototype company focusing on UAVs and manned experimental aircraft. Later he served as the Inflation System Lead on IRVE-II and 3 and the Re-Entry Vehicle Lead for LOFTID at NASA Langley Research Center. Introduction: The Low-Earth Orbit Flight Test of an Inflatable Decelerator (LOFTID), developed in partnership with United Launch Alliance (ULA) and flown in conjunction with the National Oceanic and Atmospheric Administration (NOAA) Joint Polar Satellite System-2 (JPSS-2) satellite, demonstrated Hypersonic Inflatable Aerodynamic Decelerator (HIAD) technology has progressed and is ready for mission infusion. LOFTID’s success demonstrates that aeroshells are not limited to the internal diame-ter of the launch vehicle payload fairing, allowing larger payloads to be deployed to the surfaces of planetary bodies with atmospheres. The challenges of assembling, integrating, and testing this revolutionary spacecraft will be dis-cussed as well as issues associated with doing this with a fixed launch date the project did not control. Assembly: Because LOFTID flew as a rideshare partner with JPSS-2, it was constrained with addi-tional schedule, milestone, and technical require-ments that were beyond the project’s control. As-sembly of the LOFTID hardware was challenged with the normal mechanical fit issues while also having to navigate the SARS-COVID-II pandemic. Challenges ranged from availability of team per-sonnel required on-site for vehicle assembly to dif-ficulties associated with team collaboration while working remotely and increased costs and lead times of components due to supply chain con-straints. Numerous additional challenges cascaded from the additional time required. Integration: LOFTID flew as a secondary pay-load to JPSS-2 in a mission-unique configuration, directly under JPSS-2 primary payload, inside the Payload Adapter that integrated JPSS-2 to the Atlas V launch vehicle. A mission unique Payload Adapt-er Separation System (PASS) was required to sepa-rate the Payload Adapter from the Launch Vehicle prior to the start of the LOFTID flight demonstra-tion. Development of this system was challenging due to a shortened development schedule resulting from the iterative nature of Payload Adapter devel-opment with the partners at ULA. Preparations to integrate the main segments of the LOFTID vehicle posed unique challenges of having to accommodate issues with a fixed launch date that led to some cre-ative solutions to the integration. The partnership agreement with ULA and JPSS-2 resulted in a mass simulator designed to be installed late in the inte-gration in the event the LOFTID vehicle was not ready in time.. Test: LOFTID testing was carried out in several phases. Some components were tested at the com-ponent level, others at the sub-system levels and then finally the integrated vehicle level. This culmi-nated with the Complete Systems Test (CST) per-formed in a vacuum chamber as one of the final checkouts prior to disassembly for re-packing of the aeroshell. CST challenges will be discussed as well as obstacles encountered post-CST. After CST, the vehicle was disassembled so the HIAD could be repacked, and the vehicle was reassembled for ac-ceptance vibration testing. Testing concluded with the fully assembled vehicle being shipped to the launch site for final testing and integrations with the Payload Adapter to JPSS-2 for launch and opera-tions. Conclusion: The challenges posed by the AI&T for LOFTID could inform the planetary community of some of the opportunities and challenges of de-veloping technologies on a rideshare with a rela-tively small budget.

R.J. Bodkin↗
NASA NTRS2014

Stability Assessment and Tuning of an Adaptively Augmented Classical Controller for Launch Vehicle Flight Control

Recently, a robust and practical adaptive control scheme for launch vehicles [ [1] has been introduced. It augments a classical controller with a real-time loop-gain adaptation, and it is therefore called Adaptive Augmentation Control (AAC). The loop-gain will be increased from the nominal design when the tracking error between the (filtered) output and the (filtered) command trajectory is large; whereas it will be decreased when excitation of flex or sloshing modes are detected. There is a need to determine the range and rate of the loop-gain adaptation in order to retain (exponential) stability, which is critical in vehicle operation, and to develop some theoretically based heuristic tuning methods for the adaptive law gain parameters. The classical launch vehicle flight controller design technics are based on gain-scheduling, whereby the launch vehicle dynamics model is linearized at selected operating points along the nominal tracking command trajectory, and Linear Time-Invariant (LTI) controller design techniques are employed to ensure asymptotic stability of the tracking error dynamics, typically by meeting some prescribed Gain Margin (GM) and Phase Margin (PM) specifications. The controller gains at the design points are then scheduled, tuned and sometimes interpolated to achieve good performance and stability robustness under external disturbances (e.g. winds) and structural perturbations (e.g. vehicle modeling errors). While the GM does give a bound for loop-gain variation without losing stability, it is for constant dispersions of the loop-gain because the GM is based on frequency-domain analysis, which is applicable only for LTI systems. The real-time adaptive loop-gain variation of the AAC effectively renders the closed-loop system a time-varying system, for which it is well-known that the LTI system stability criterion is neither necessary nor sufficient when applying to a Linear Time-Varying (LTV) system in a frozen-time fashion. Therefore, a generalized stability metric for time-varying loop=gain perturbations is needed for the AAC.

VanZwieten, Tannen↗
NASA NTRS2012

Mixed Integer Programming and Heuristic Scheduling for Space Communication Networks

We developed framework and the mathematical formulation for optimizing communication network using mixed integer programming. The design yields a system that is much smaller, in search space size, when compared to the earlier approach. Our constrained network optimization takes into account the dynamics of link performance within the network along with mission and operation requirements. A unique penalty function is introduced to transform the mixed integer programming into the more manageable problem of searching in a continuous space. The constrained optimization problem was proposed to solve in two stages: first using the heuristic Particle Swarming Optimization algorithm to get a good initial starting point, and then feeding the result into the Sequential Quadratic Programming algorithm to achieve the final optimal schedule. We demonstrate the above planning and scheduling methodology with a scenario of 20 spacecraft and 3 ground stations of a Deep Space Network site. Our approach and framework have been simple and flexible so that problems with larger number of constraints and network can be easily adapted and solved.

Mixed Integer Programming↗
NASA NTRS1986

Coordinated observations of X-ray bright BL Lacertae objects

No new International Ultraviolet Explorer (IUE) observations were scheduled. The work on the spectral extraction routine was continued. The computer code was adapted from the RDAF PDP 11/44 computer to a VAX 11/750, in order that it run more quickly. A chapter on ultraviolet observations of blazars for a book celebrating the scientific accomplishment of IUE was written in colloboration. A copy of the final draft is attached.

Urry, C. M.↗
NASA NTRS1999

Circadian Entrainment, Sleep-Wake Regulation and Neurobehavioral Performance During Extended Duration Space Flight

Long-duration manned space flight requires crew members to maintain a high level of cognitive performance and vigilance while operating and monitoring sophisticated instrumentation. However, the reduction in the strength of environmental synchronizers in the space environment leads to misalignment of circadian phase among crew members, coupled with restricted time available to sleep, results in sleep deprivation and consequent deterioration of neurobehavioral function. Crew members are provided, and presently use, long-acting benzodiazepine hypnotics on board the current, relatively brief space shuttle missions to counteract such sleep disruption, a situation that is only likely to worsen during extended duration missions. Given the known carry-over effects of such compounds on daytime performance, together with the reduction in emergency readiness associated with their use at night, NASA has recognized the need to develop effective but safe countermeasures to allow crew members to obtain an adequate amount of sleep. Over the past eight years, we have successfully implemented a new technology for shuttle crew members involving bright light exposure during the pre-launch period to facilitate adaptation of the circadian timing system to the inversions of the sleep-wake schedule often required during dual shift missions. However for long duration space station missions it will be necessary to develop effective and attainable countermeasures that can be used chronically to optimize circadian entrainment. Our current research effort is to study the effects of light-dark cycles with reduced zeitgeber strength, such as are anticipated during long-duration space flight, on the entrainment of the endogenous circadian timing system and to study the effects of a countermeasure that consists of scheduled brief exposures to bright light on the human circadian timing system. The proposed studies are designed to address the following Specific Aims: (1) test the hypothesis that synchronization of the human circadian pacemaker will be disturbed in men and women by the reduction in LD cycle strength. (2) test the hypothesis that this disturbed circadian synchronization will result in the secretion of the sleep-promoting hormone melatonin during the waking day, disturbed sleep, reduced growth hormone secretion, and impaired performance and daytime alertness; (3) as a countermeasure, test the hypothesis that brief daily exposures to bright light (10,000 lux) will reestablish normal entrained circadian phase, resulting in improved sleep consolidation, normalized sleep structure and endogenous growth hormone secretion and enhanced daytime performance. To date, we have carried out twelve experiments to address Hypotheses I and 2 and data analyses are in progress. The results of the current research may have important implications for the treatment of circadian rhythm sleep disorders, such as delayed sleep phase syndrome and shift-work dyssomnia, which are anticipated to have a high incidence and prevalence during extended duration space flight such as planned for the International Space Station and manned missions to Mars.

Czeisler, Charles A.↗
NASA NTRS2012

A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations

The MAPGEN [2] (Mixed-initiative Activity Plan GENerator) planning system is a great example of a hybrid procedural/declarative system where the advantages of each are leveraged to produce an effective planner/scheduler for Mars Exploration Rover tactical planning. We explore the adaptation of the same domain to an entirely declarative planning system (ASPEN [4] Activity Scheduling and Planning ENvironment), and demonstrate that, with some translation, much of the procedural knowledge encoding is amenable to a declarative knowledge encoding.

declarative domain representations↗