Proof Planning and Program Synthesis - Intelligent Systems Division
Recommend Documents
tania,cmcgann,sailesh¡ @email.arc.nasa.gov. Abstract. In this paper we present a classification scheme which cir- cumscribes a large class of resources found in ...
Acknowledgements. Mike Whalen and Johann Schumann contributed substantially to the devel- ... [WB96] V. L. Winter and J. M. Boyle. âProving Refinement ...
Jan 15, 2008 - Using model checking to automate test case generation xi ..... using the existing testing framework, we encoded those properties and ...
2Computer Sciences Corporation, [email protected] ... of the 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space:.
Aeroplus Dispatch. 1722 Gilbreth Road ... SAExpress Global Document Service c/o SAE ..... effects and free field effects prior to the scan operation. The Ames ...
AMPHION: Automatic Programming for. Scientific Subroutine Libraries. Michael Lowry, Andrew Philpot, Thomas Pressburger, and Ian Underwood. AI Research ...
NASA Ames Research Center. Moffett Field, California 94035 [email protected]. Abstract. Several successful autonomous systems are separated into.
behavior at a 'macro' level (i.e., the top-down, organizational view). In order to ... Brahms, and section 4 covers their integration into one method. In section 5 the ...
permits unrestricted use, distribution, and reproduction in any medium, provided the ... between complex systems (such as electrical power systems) that are hybrid and may .... (Karin et al., 2006) based on the general diagnostic engine. (de Kleer an
Greg Pisanich, QSS Group Inc., NASA Ames Research Center, Moffett Field, CA. Dr. Stephen .... Moffett. Federal Airfield at the NASA Ames Research. Center.
The numerical optimization software that was used sizes the ... MLB's Bat UAV but with software specifically ... the autopilot flies a constant airspeed (30 mph).
approaches, SAFM was ported to Linux, enabling the use of gcov for ..... Valgrind4 is an open-source program monitoring framework which operates on x86 ...
and observable variables for DLDA is given by p(Ï, z1:N ,x1:N ,y|α, β1:k,η1:câ1). (1). =p(Ï|α) ( ...... and NSF grant IIS-0812183. References. [1] E. Airoldi, D. Blei, ...
Moffett Field, CA. Abstract â The natural world is a rich source of problem- ... exploration. Two candidate concepts based on natural ..... apply to optimizing autonomous vehicles in search of data. ..... team consisting of the QSS Group and the ML
1sriram,[email protected]. Abstract. In recent years several approaches have been proposed for model-based diagnosis of hybrid systems.
turns out to be a good notation and being supported by an efficient rewriting engine for ... (JPAX) tool [13, 14] for monitoring Java program execu- tions. JPAX facilitates .... free to change it if he/she finds it inconvenient: fmod LOGICS-BASIC is
James Kurien. NASA Ames Research Center. MS 269-2 .... Remote Agent: to boldy go where no AI system has gone before. Artificial Intelligence, 103(1/2), ...
Stephen Jacklin and Johann Schumann. NASA Ames ... John Bosworth, Peggy Williams-Hayes, and Richard Larson. NASA Dryden ..... w, Bayes rule. )( )()|(. )|(.
Domain (MSD) concept, which balances the need to collaborate ... coordinate work across several NASA sites, NASA ... specific stovepipe networks and security domains. Other ..... so cheap that they would be provided for every network link.
[email protected]. Michael ... structures to create order and wholeness. Figure 1. ... (e.g., a new instruction from Air Traffic Control) was recorded,.
Presented at the 7th World Congress on Computational Mechanics. July 16-21, 2006, Los Angeles, CA. Case Study: Test ... autonomous flight control and to maintain vehicle performance in the face of unknown, changing, or poorly defined ... and multiple
custom thesauri, building customized databases, organizing and publishing .... Standardize on a common COTS database application. Oracle database is.
took the 1997 Sojourner Mars rover between 3 and 5 communications cycles to accomplish this. This paper describes the technologies being developed and.
from a software perspective, and to explicitly design flight software so that it can .... the potential savings, both in terms of hardware and development costs. Cost .... currently accessed by a radiation-hardened software application does not ...
Proof Planning and Program Synthesis - Intelligent Systems Division
