This project was co-led by Dr. Sheila McIlraith and Prof. Richard Fikes. Substantial research results and published papers describing those results were produced in multiple technology areas, including the following: 1) Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net; 2) A Formal Theory of Testing for Dynamical Systems; 3) Diagnosing Hybrid Systems Using a Bayesian Model Selection Approach.Fikes, RichardAmes Research CenterENVIRONMENTAL MONITORING; BAYES THEOREM; FORMALISM; DYNAMICAL SYSTEMS; SYSTEMS SIMULATION; COMPLEX SYSTEMS; OXYGEN PRODUCTION; LOGIC PROGRAMMING...