Search NASA⌕ Search

SEARCH · Search NASA

Results for “Validation Network”

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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

Deep Space Networking Experiments on the EPOXI Spacecraft

NASA's Space Communications & Navigation Program within the Space Operations Directorate is operating a program to develop and deploy Disruption Tolerant Networking [DTN] technology for a wide variety of mission types by the end of 2011. DTN is an enabling element of the Interplanetary Internet where terrestrial networking protocols are generally unsuitable because they rely on timely and continuous end-to-end delivery of data and acknowledgments. In fall of 2008 and 2009 and 2011 the Jet Propulsion Laboratory installed and tested essential elements of DTN technology on the Deep Impact spacecraft. These experiments, called Deep Impact Network Experiment (DINET 1) were performed in close cooperation with the EPOXI project which has responsibility for the spacecraft. The DINET 1 software was installed on the backup software partition on the backup flight computer for DINET 1. For DINET 1, the spacecraft was at a distance of about 15 million miles (24 million kilometers) from Earth. During DINET 1 300 images were transmitted from the JPL nodes to the spacecraft. Then, they were automatically forwarded from the spacecraft back to the JPL nodes, exercising DTN's bundle origination, transmission, acquisition, dynamic route computation, congestion control, prioritization, custody transfer, and automatic retransmission procedures, both on the spacecraft and on the ground, over a period of 27 days. The first DINET 1 experiment successfully validated many of the essential elements of the DTN protocols. DINET 2 demonstrated: 1) additional DTN functionality, 2) automated certain tasks which were manually implemented in DINET 1 and 3) installed the ION SW on nodes outside of JPL. DINET 3 plans to: 1) upgrade the LTP convergence-layer adapter to conform to the international LTP CL specification, 2) add convergence-layer "stewardship" procedures and 3) add the BSP security elements [PIB & PCB]. This paper describes the planning and execution of the flight experiment and the validation results.

automated data communication↗
NASA NTRSDate not supplied

Artificial Neural Network (ANN) Surface Longwave and Shortwave Fluxes Trained on CERES Observations

The Clouds and Earth’s Radiant Energy System (CERES) project provides satellite-based observations of the radiative fluxes and clouds systems. CERES climate quality data products typically take several months of calibration and validation before release to the public. The Fast Longwave and Shortwave Radiative Flux (FLASHFlux) data product was developed to provide key data for the applied sciences and educational users within a week of observation. FLASHFlux achieves this by using simplified calibration, an operational meteorological product from Global Modeling and Assimilation Office (GMAO), and its own surface parameterizations model. The CERES FLASHFlux provides two data products: 1) an hourly Level 2 Single Scanner Footprint (SSF) data separately for Terra and NOAA-20 observations, and 2) a daily Level 3 Time Interpolated and Spatially Averaged (TISA) 1o x 1o gridded data that combines Terra and NOAA-20 observations. Currently, FLASHFlux uses the Langley Parameterized Shortwave Algorithm (LPSA) and Langley Parameterized Longwave Algorithm (LPLA) to derive its surface fluxes (Kratz et al., 2010; Gupta et al, 2001). A new Machine Learning (ML) based approach using Artificial Neural Networks to derive Surface Longwave (LW) & Shortwave (SW) fluxes based on training data from the CERES Clouds Radiative Swath (CRS) product is being investigated to replace LPSA and LPLA in the SSF surface flux products. One of the biggest hurdles in training ML model is model fitting. To overcome the problem of overfitting we use feature engineering that helps in finding the important feature and remove features that are irrelevant to the model. In our training we employed the Leave-One-Feature-Out Importance (LOFO) to evaluate the significance of each feature in our training. We intercompare ANN fluxes against surface fluxes produced from the Fu-Liou model in CRS and the LPSA/LPLA in FLASHFlux SSF. Furthermore, we validated ANN derived fluxes to the Baseline Surface Radiation Network (BSRN).

P C Sawaengphokhai↗
NASA NTRS2017

Assimilation of Global Radar Backscatter and Radiometer Brightness Temperature Observations to Improve Soil Moisture and Land Evaporation Estimates

Active radar backscatter (s◦) observations from the Advanced Scatterometer (ASCAT) and passive radiometer brightness temperature (TB) observations from the Soil Moisture Ocean Salinity (SMOS) mission are assimilated either individually or jointly into the Global Land Evaporation Amsterdam Model (GLEAM) to improve its simulations of soil moisture and land evaporation. To enable s◦ and TB assimilation, GLEAM is coupled to the Water Cloud Model and the L-band Microwave Emission from the Biosphere (L-MEB) model. The innovations, i.e. differences between observations and simulations, are mapped onto the model soil moisture states through an Ensemble Kalman Filter. The validation of surface (0-10 cm) soil moisture simulations over the period 2010-2014 against in situ measurements from the International Soil Moisture Network (ISMN) shows that assimilating s◦ or TB alone improves the average correlation of seasonal anomalies (Ran) from 0.514 to 0.547 and 0.548, respectively. The joint assimilation further improves Ran to 0.559. Associated enhancements in daily evaporative flux simulations by GLEAM are validated based on measurements from 22 FLUXNET stations. Again, the singular assimilation improves Ran from 0.502 to 0.536 and 0.533, respectively for s◦ and TB, whereas the best performance is observed for the joint assimilation (Ran = 0.546). These results demonstrate the complementary value of assimilating radar backscatter observations together with brightness temperatures for improving estimates of hydrological variables, as their joint assimilation outperforms the assimilation of each observation type separately.

GLEAM↗
NASA NTRS2017

Validation of OCO-2 and ACOS-GOSAT using HIPPO and TCCON

Consistent validation of satellite CO2 estimates is a prerequisite for using multiple satellite CO2measurements for joint flux inversion and establishing a long-term atmospheric CO2 data record. Wevalidate recent satellite observation of OCO-2 v7 and ACOS-GOSAT v7.3 using similar analysis as previouswork (Kulawik et al. (2016) and Frankenberg et al. (2106)) through comparisons to the HIAPER Pole-to-Pole Observations (HIPPO) and the Total Carbon Column Observing Network (TCCON) to estimate biasesand errors affecting the understanding of carbon cycle science. CarbonTracker RT is also compared tothe validation data, and additionally used to evaluate the mismatch between the HIPPO observationtimeframe and the OCO-2 record, which are offset by 3-7 years. Some key metrics that are validatedinclude the seasonal cycle phase and amplitude, latitudinal gradient by season, regional biases, anderrors with respect to averaging.

Kulawik, Susan S.↗
NASA NTRS1993

Evaluation of externally heated pulsed MPD thruster cathodes

Recent interest in solar electric orbit transfer vehicles (SEOTV's) has prompted a reevaluation of pulsed magnetoplasmadynamic (MPD) thruster systems due to their ease of power scaling and reduced test facility requirements. In this work the use of externally heated cathodes was examined in order to extend the lifetime of these thrusters to the 1000 to 3000 hours required for SEOTV missions. A pulsed MPD thruster test facility was assembled, including a pulse-forming network (PFN), ignitor supply and propellant feed system. Results of cold cathode tests used to validate the facility, PFN, and propellant feed system design are presented, as well as a preliminary evaluation of externally heated impregnated tungsten cathodes. The cold cathode thruster was operated on both argon and nitrogen propellants at peak discharge power levels up to 300 kW. The results confirmed proper operation of the pulsed thruster test facility, and indicated that large amounts of gas were evolved from the BaO-CaO-Al2O3 cathodes during activation. Comparison of the expected space charge limited current with the measured vacuum current when using the heated cathode indicate that either that a large temperature difference existed between the heater and the cathode or that the surface work function was higher than expected.

Myers, Roger M.↗
NASA NTRS2015

MISR Calibration Issues in High-Contrast Scenes, and Empirical Corrections

We diagnose the potential causes for the Multi-angle Imaging SpectroRadiometer's (MISR) persistent high aerosol optical depth (AOD) bias at low AOD with the aid of coincident MODerate-resolution Imaging Spectroradiometer (MODIS) imagery from NASA's Terra satellite. Internal reflections within the MISR instrument are responsible for a large portion of the high AOD bias in high-contrast scenes, which are especially common as broken-cloud situations over ocean. Discrepancies between MODIS and MISR nadir-viewing near-infrared (NIR) images are used to optimize nine parameters, along with a background reflectance modulation term (that was modeled separately), to represent the observed features. Independent, surface-based AOD measurements from the AErosol RObotic NETwork (AERONET) and the Marine Aerosol Network (MAN) are compared with MISR Research Algorithm (RA) AOD retrievals for 1118 coincidences to validate the corrections when applied to the nadir and off-nadir cameras. Additionally, the calibration coefficients for the red and NIR channels used for MISR over-water aerosol retrievals were reassessed with the RA to be consistent on a camera-by-camera basis. With these corrections, plus the baseline RA corrections applied (except enhanced cloud screening), the median AOD bias in the mid-visible (green) band decreases from 0.010 to 0.002, the RMSE decreases by approx. 10%, and the slope and correlation of the MISR vs. sun photometer Ångström Exponent improves. For AOD558 nm < 0.10 and with additional cloud screening, the median bias for the RA-retrieved AOD in the green band decreases from 0.011 to 0.003, compared to ~ 0.023 for the Standard Algorithm (SA). RMSE decreases by ~ 20% compared to the baseline (uncorrected) RA and by 17-53% compared to the SA. After all corrections and cloud screening are implemented, for AOD558 nm < 0.10, which includes about half the validation data, 68% absolute AOD errors for the RA have dropped to < 0.02 (approx. 0.018).

MISR↗
NASA NTRS1995

NASAwide electronic publishing system: Electronic printing and duplicating, stage-2 evaluation report (GSFC)

The NASA Scientific and Technical Information Office was assigned the responsibility to continue with the expansion of the NASAwide networked electronic duplicating effort by including the Goddard Space Flight Center (GSFC) as an additional node to the existing configuration of networked electronic duplicating systems within NASA. The subject of this report is the evaluation of a networked electronic duplicating system which meets the duplicating requirements and expands electronic publishing capabilities without increasing current operating costs. This report continues the evaluation reported in 'NASA Electronic Publishing System - Electronic Printing and Duplicating Evaluation Report' (NASA TM-106242) and 'NASA Electronic Publishing System - Stage 1 Evaluation Report' (NASA TM-106510). This report differs from the previous reports through the inclusion of an external networked desktop editing, archival, and publishing functionality which did not exist with the previous networked electronic duplicating system. Additionally, a two-phase approach to the evaluation was undertaken; the first was a paper study justifying a 90-day, on-site evaluation, and the second phase was to validate, during the 90-day evaluation, the cost benefits and productivity increases that could be achieved in an operational mode. A benchmark of the functionality of the networked electronic publishing system and external networked desktop editing, archival, and publishing system was performed under a simulated daily production environment. This report can be used to guide others in determining the most cost effective duplicating/publishing alternative through the use of cost/benefit analysis and return on investment techniques. A treatise on the use of these techniques can be found by referring to 'NASA Electronic Publishing System -Cost/Benefit Methodology' (NASA TM-106662).

Tuey, Richard C.↗
NASA NTRS2018

Validation of MODIS 3 km Land Aerosol Optical Depth from NASA's EOS Terra and Aqua Missions

In addition to the standard resolution product (10km), the MODerate resolution Imaging Spectroradiometer (MODIS) Collection 6 (C006) data release included a higher resolution (3km). Other than accommodations for the two different resolutions, the 10 and 3km Dark Target (DT) algorithms are basically the same. In this study, we perform global validation of the higher-resolution aerosol optical depth (AOD) over global land by comparing against AErosol RObotic NETwork (AERONET) measurements. The MODIS-AERONET collocated data sets consist of 161410 high-confidence AOD pairs from 2000 to 2015 for Terra MODIS and 2003 to 2015 for Aqua MODIS. We find that 62.5 and 68.4% of AODs retrieved from Terra MODIS and Aqua MODIS, respectively, fall within previously published expected error bounds of +/-(0.05+0.2 × AOD), with a high correlation (R = 0.87). The scatter is not random, but exhibits a mean positive bias of ∼ 0.06 for Terra and ∼ 0.03 for Aqua. These biases for the 3km product are approximately 0.03 larger than the biases found in similar validations of the 10km product. The validation results for the 3km product did not have a relationship to aerosol loading (i.e., true AOD), but did exhibit dependence on quality flags, region, viewing geometry, and aerosol spatial variability. Time series of global MODIS-AERONET differences show that validation is not static, but has changed over the course of both sensors' lifetimes, with Terra MODIS showing more change over time. The likely cause of the change of validation over time is sensor degradation, but changes in the distribution of AERONET stations and differences in the global aerosol system itself could be contributing to the temporal variability of validation.

Gupta, Pawan↗
NASA NTRS2008

Developments in Test Facility and Data Networking for the Altitude Test Stand at the John C. Stennis Space Center, MS - A General Overview

May 2007, NASA's Constellation Program selected John C Stennis Space Center (SSC) near Waveland Mississippi as the site to construct an altitude test facility for the developmental and qualification testing of the Ares1 upper stage (US) engine. Test requirements born out of the Ares1 US propulsion system design necessitate exceptional Data Acquisition System (DAS) design solutions that support facility and propellant systems conditioning, test operations control and test data analysis. This paper reviews the new A3 Altitude Test Facility's DAS design requirements for real-time deterministic digital data, DAS technology enhancements, system trades, technology validation activities, and the current status of this system's new architecture. Also to be discussed will be current network technologies to improve data transfer.

Hebert, Phillip W., Sr.↗
NASA NTRS2019

NASA GEOS Aerosol Modeling and Assimilation Activities

The current assimilation of Aerosol Optical Depth (AOD) in GEOS involves very careful cloud screening and homogenization of the observing system by means of a neural network that translates satellite reflectances from MODIS into AERONET calibrated AOD. In this talk we will present an update of the GEOS aerosol assimilation system, with emphasis on the improved treatment of MODIS observations. We will then proceed to assess the impact of geostationary aerosol observations from the ABI and AHI sensors on the GOES-16 and Himawari-8 satellites. The GEOS assimilated aerosol fields will be validated by comparison to independent in-situ and remotely-sensed measurements (PM2.5 concentrations, surface dust concentrations, Maritime Aerosol Network, airborne and ground based lidars, UV based measurements, etc.).

Castellanos, Patricia↗
NASA NTRS2022

Instantaneous Photosynthetically Available Radiation (IPAR) prediction models based on Neural Network for ocean waters.

Instantaneous photosynthetically available radiation (IPAR) at the ocean surface and its vertical profile below the surface play a critical role in models to calculate net primary productivity of marine phytoplankton. In this work, we report two IPAR prediction models based on neural network (NN) approach, one for open ocean and the other for coastal waters. These models are trained, validated, and tested using a large volume of synthetic datasets for open ocean and coastal waters simulated by a radiative transfer model. Our NN models are designed to predict IPAR under a large range of atmospheric and oceanic conditions. The NN models can compute subsurface IPAR profile very accurately up to euphotic zone depth. The root mean square errors associated with the diffuse attenuation coefficient of IPAR are less than 0.011 𝑚−1 and 0.036 𝑚−1 for open ocean and coastal waters respectively. The performance of the NN models is better than presently available semi analytical models, with significant superiority in coastal waters.

PACE↗
NASA NTRS2017

Validation and Scaling of Soil Moisture in a Semi-Arid Environment: SMAP Validation Experiment 2015 (SMAPVEX15)

The NASA SMAP (Soil Moisture Active Passive) mission conducted the SMAP Validation Experiment 2015 (SMAPVEX15) in order to support the calibration and validation activities of SMAP soil moisture data products. The main goals of the experiment were to address issues regarding the spatial disaggregation methodologies for improvement of soil moisture products and validation of the in situ measurement upscaling techniques. To support these objectives high-resolution soil moisture maps were acquired with the airborne PALS (Passive Active L-band Sensor) instrument over an area in southeast Arizona that includes the Walnut Gulch Experimental Watershed (WGEW), and intensive ground sampling was carried out to augment the permanent in situ instrumentation. The objective of the paper was to establish the correspondence and relationship between the highly heterogeneous spatial distribution of soil moisture on the ground and the coarse resolution radiometer-based soil moisture retrievals of SMAP. The high-resolution mapping conducted with PALS provided the required connection between the in situ measurements and SMAP retrievals. The in situ measurements were used to validate the PALS soil moisture acquired at 1-km resolution. Based on the information from a dense network of rain gauges in the study area, the in situ soil moisture measurements did not capture all the precipitation events accurately. That is, the PALS and SMAP soil moisture estimates responded to precipitation events detected by rain gauges, which were in some cases not detected by the in situ soil moisture sensors. It was also concluded that the spatial distribution of the soil moisture resulted from the relatively small spatial extents of the typical convective storms in this region was not completely captured with the in situ stations. After removing those cases (approximately10 of the observations) the following metrics were obtained: RMSD (root mean square difference) of0.016m3m3 and correlation of 0.83. The PALS soil moisture was also compared to SMAP and in situ soil moisture at the 36-km scale, which is the SMAP grid size for the standard product. PALS and SMAP soil moistures were found to be very similar owing to the close match of the brightness temperature measurements and the use of a common soil moisture retrieval algorithm. Spatial heterogeneity, which was identified using the high-resolution PALS soil moisture and the intensive ground sampling, also contributed to differences between the soil moisture estimates. In general, discrepancies found between the L-band soil moisture estimates and the 5-cm depth in situ measurements require methodologies to mitigate the impact on their interpretations in soil moisture validation and algorithm development. Specifically, the metrics computed for the SMAP radiometer-based soil moisture product over WGEW will include errors resulting from rainfall, particularly during the monsoon season when the spatial distribution of soil moisture is especially heterogeneous.

SMAPVEX15↗
NASA NTRS2019

Global Validation of Columnar Water Vapor Derived from EOS MODIS-MAIAC Algorithm Against the Ground-Based AERONET Observations

The water vapor is a relevant greenhouse gas in the Earth's climate system, and satellite products become one of the most effective way to characterize and monitor the columnar water vapor (CWV) content at global scale. Recently, a new product (MCD19) was released as part of MODIS (Moderate Resolution Imaging Spectroradiometer) Collection 6 (C6). This operational product from the Multi-Angle Implementation for Atmospheric Correction (MAIAC) algorithm includes a high 1-kilometer resolution CWV retrievals. This study presents the first global validation of MAIAC C6 CWV obtained from MODIS MCD19A2 product. This evaluation was performed using Aerosol Robotic Network (AERONET) observations at 265 sites (2000-2017). Overall, the results show a good agreement between MAIAC/AERONET CWV retrievals, with correlation coefficient higher than 0.95 and RMS (Root Mean Square) error lower than 0.250 centimeters. The binned error analysis revealed an underestimation (approximately 10 percent) of Aqua CWV retrievals with negative bias for CWV higher than 3.0 centimeters. In contrast, Terra CWV retrievals show a slope of regression close to unity and a low mean bias of 0.075 centimeters. While the accuracy is relatively similar between 1.0 and 5.0 centimeters for both sensor products, Terra dataset is more reliable for applications in humid tropical areas (less than 5.0 centimeters). The expected error was defined as plus or minus 15 percent, with less than 68 percent of retrievals falling within this envelope. However, the accuracy is regionally dependent, and lower error should be expected in some regions, such as South America and Oceania. Since MODIS instruments have exceeded their design lifetime, time series analysis was also presented for both sensor products. The temporal analysis revealed a systematic offset of global average between Terra and Aqua CWV records. We also found an upward trend (approximately 0.2 centimeters per decade) in Terra CWV retrievals, while Aqua CWV retrievals remain stable over time. The sensor degradation influences the ability to detect climate signals, and this study indicates the need for revisiting calibration of the MODIS bands 17-19, mainly for Terra instrument, to assure the quality of the MODIS water vapor product. Finally, this study presents a comprehensive validation analysis of MAIAC CWV over land, raising the understanding of its overall quality.

MAIAC↗
NASA NTRS1980

The Landsat-D/Global Positioning System experiment

The paper presents data requirements, tests, and operational procedures to validate the receiver/processor assembly (R/PA) data to the 150 meter level and to calibrate the full capability of the R/PA to the 10 meter level for the Landsat-D/Global Positioning System experiment. Current work includes designing the software for the validation and calibration processes, determining the best methods of calibration using the Ground Space Tracking Data Network (GSTDN), and determining the tracking schedule for GSTDN data to obtain best orbital accuracy.

Wooden, W. H., II↗
NASA NTRS1992

Dynamic modeling of fluid transmission lines of the DSN 70-meter antennas by using a lumped parameter model

Fluid transmission lines and fittings were found to significantly affect the dynamic and steady state operation of the engineering system in which they are incorporated. Therefore, a better understanding of the operation of a system can be obtained by including the performance of the transmission lines and fittings within the system model. The most accurate model of a transmission line or fitting is obtained by using a distributed parameter model. However, a distributed parameter model tends to be very complex. This complexity can be avoided without significant loss of model accuracy by using a lumped parameter model when the length of the fluid path through the transmission line or fitting is short. This article develops a lumped parameter model for short fluid transmission lines and fittings, describes the conditions under which the model is valid, and presents the model parameters associated with the servo hydraulic system of the Deep Space Network (DSN) 70-meter antennas.

Bartos, R. D.↗
NASA NTRS1998

Evaluation and optimization of lidar temperature analysis algorithms using simulated data

The middle atmosphere (20 to 90 km altitude) ha received increasing interest from the scientific community during the last decades, especially since such problems as polar ozone depletion and climatic change have become so important. Temperature profiles have been obtained in this region using a variety of satellite-, rocket-, and balloon-borne instruments as well as some ground-based systems. One of the more promising of these instruments, especially for long-term high resolution measurements, is the lidar. Measurements of laser radiation Rayleigh backscattered, or Raman scattered, by atmospheric air molecules can be used to determine the relative air density profile and subsequently the temperature profile if it is assumed that the atmosphere is in hydrostatic equilibrium and follows the ideal gas law. The high vertical and spatial resolution make the lidar a well adapted instrument for the study of many middle atmospheric processes and phenomena as well as for the evaluation and validation of temperature measurements from satellites, such as the Upper Atmosphere Research Satellite (UARS). In the Network for Detection of Stratospheric Change (NDSC) lidar is the core instrument for measuring middle atmosphere temperature profiles. Using the best lidar analysis algorithm possible is therefore of crucial importance. In this work, the JPL and CNRS/SA lidar analysis software were evaluated. The results of this evaluation allowed the programs to be corrected and optimized and new production software versions were produced. First, a brief description of the lidar technique and the method used to simulate lidar raw-data profiles from a given temperature profile is presented. Evaluation and optimization of the JPL and CNRS/SA algorithms are then discussed.

Leblanc, Thierry↗
NASA NTRS2001

Validation of Satellite Aerosol Retrievals from AERONET Ground-Based Measurements

Accurate and comprehensive assessment of the parameters that control key atmospheric and biospheric processes including assessment of anthropogenic effects on climate change is a fundamental measurement objective of NASA's EOS program (King and Greenstone, 1999). Satellite assessment programs and associated global climate models require validation and additional parameterization with frequent reliable ground-based observations. A critical and highly uncertain element of the measurement program is characterization of tropospheric aerosols requiring basic observations of aerosols optical and microphysical properties. Unfortunately as yet we do not know the aerosol burden man is contributing to the atmosphere and thus we will have no definitive measure of change for the future. This lack of aerosol assessment is the impetus for some of the EOS measurement activities (Kaufman et al., 1997; King et al., 1999) and the formation of the AERONET program (Holben et al., 1998). The goals of the AERONET program are to develop long term monitoring at globally distributed sites providing critical data for multiannual trend changes in aerosol loading and optical properties with the specific goal of providing a data base for validation of satellite derived aerosol optical properties. The AERONET program has evolved into an international federated network of approximately 100 ground-based remote sensing monitoring stations to characterize the optical and microphysical properties of aerosols.

Holben, Brent↗
NASA NTRSDate not supplied

Runtime Monitoring for Unmanned Aerospace Systems with Neural Network Components

AI components (e.g., Deep Neural Networks) are increasingly used in unmanned Aerospace systems for safety-relevant applications. Rigorous Verification and Validation methods for such components are still in their infancy and thus, monitoring of the AI's behavior during runtime is essential. In this paper, we will present a runtime-monitoring architecture, which combines the advanced statistical analysis framework SYSAI (System Analysis using Statistical AI) with temporal and probabilistic runtime monitoring carried out by R2U2 (Realizable, Responsive, and Unobtrusive Unit). Learned statistical models of complex systems with AI components are produced by the SYSAI framework and provide detailed information to enable the R2U2 runtime monitor to efficiently perform advanced safety and performance checks in nominal and off-nominal conditions. We will present initial results of our tool set and architecture on a case study, a DNN-based autonomous centerline tracking system (ACT).

Yuning He↗