-
Stability and Performance Metrics for Adaptive Flight Control
- Published at: AIAA Guidance, Navigation, and Control
- Date: 08/10/09
- Authors:
Vahram Stepanyan,
Nhan Nguyen,
LuarensVan Eykeren
Publications for the year 2009 (96 out of 745)
-
Bounded Linear Stability Analysis - A Time Delay Margin Estimation Approach for Adaptive Control
- Published at: AIAA Guidance, Navigation, and Control
- Date: 08/10/09
- Authors:
Nhan Nguyen,
Abraham Ishihara,
Kalmanje Krishnakumar,
Maryam Bakhtiari-Nejad
-
A Practical Comparison of Motion Planning Techniques for Robotic Legs in Enviroments with Obstacles
- Published at: 3rd IEEE International Conference on Space Mission
- Date: 07/23/09
- Authors:
Tristan Smith,
Daniel Chavez-Clemente
-
Software Health Management - A Short Review of Challenges and Existing Techniques
- Published at: !st International Workshop on Software Health
- Date: 07/21/09
- Authors:
Ole Mengshoel,
Johann Schumann,
Knot Pipatsrisawat,
Adrian Darwiche
-
Model Based Analysis and Test Generation for Flight Software
- Published at: SMC-IT Conference
- Date: 07/19/09
- Authors:
Corina Pasareanu,
Johann Schumann,
Peter Mehlitz,
Michael Lowry,
Gabor Karsai
-
A Formal Analysis of Requirements-Based Testing
- Published at: International Symposium on Software Testing
- Date: 07/19/09
- Authors:
Guillaume Brat
-
User-Centric Multi-Criteria Information Retrieval
- Published at: The 32nd Annual ACM SIGIR Conference
- Date: 07/19/09
- Authors:
Shawn Wolfe
-
The Future of Software Certification - a Roadmap
- Published at: Frontiers of Automated Software Engineering
- Date: 07/15/09
- Authors:
Ewen Denney
-
Diagnosis and Reconfiguration using Bayesian Networks: An Electrical Power System Case Study
- Published at: 21st International Joint Conferences on Artifical Intelligence
- Date: 07/13/09
- Authors:
Ole Mengshoel,
Bradley Knox
-
Generating Code Review Documentation for Auto-Generated Mission-Critical Software
- Published at: Third IEEE International Conference on Space Mission Challenges for Information Technology
- Date: 07/13/09
- Authors:
Ewen Denney
-
Developing Large-Scale Bayesian Networks by Composition-Fault Diagnosis of Electrical Power Systems in Aircraft & Spacecraft
- Published at: Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), SAS09 Workshop
- Date: 07/13/09
- Authors:
Ole Mengshoel
-
Introduction to Brahms- Modeling, Simulation and Development of Multi-Agent Systems with Brahms
- Published at: 2009 Summer Computer Simulation Conference
- Date: 07/13/09
- Authors:
Maarten Sierhuis
-
Developing Large-Scale Bayesian Networks by Composition: Fault Diagnosis of Electrical Power Systems in Aircraft and Spacecraft
- Published at: IJCAI/IAAI-09
- Date: 07/11/09
- Authors:
Ole Mengshoel,
Scott Poll,
Tolga Kurtoglu
-
Abstraction for Efficiently Computing Most Probable Explanations in Bayesian Networks
- Published at: IJCAI/IAAI
- Date: 07/11/09
- Authors:
Ole Mengshoel
-
Steady-State ALPS fro Real-Valued Problems
- Published at: Genetic and Evolutionary Computation Conference
- Date: 07/09/09
- Authors:
Greg Hornby