Technical Research Areas
Autonomous Systems and Robotics
Overview The Exploration Vision calls for closer cooperation between humans and robots than ever before. Creating robust robotic assistants, as well as making key spacecraft systems self sufficient, requires building ...
+ Visit asr
Collaborative & Assistant Systems
Overview As NASA missions become longer and more scientifically complex, so will the ongoing participation of and cooperation between individuals in many different locations. At the same time, human/machine interactions ...
+ Visit cas
Discovery and Systems Health
Overview The Discovery and Systems Health (DaSH) technical area focuses on challenges in understanding engineering and science data. The engineering data understanding work is centered around the emerging systems engineering ...
+ Visit dash
Robust Software Engineering
Overview We are the Robust Software Engineering technical area, based in the Intelligent Systems Division at NASA's Ames Research Center at Moffett Field, California. Our goal is to dramatically increase ...
+ Visit rse
Highlights
Dr. Giannakopoulou Co-Chairs 18th International Symposium on Formal Methods
Dr. Dimitra Giannakopoulou, together with Professor Dominique Méry, co-chaired the 18th International Symposium on Formal Methods (FM 2012) that took place in Paris, August 27-31, 2012. By co-chairing this prestigious ...
+ Read more
Dr. Dimitra Giannakopoulou, together with Professor Dominique Méry, co-chaired the 18th International Symposium on Formal Methods (FM 2012) that took place in Paris, August 27-31, 2012. By co-chairing this prestigious ...
+ Read more
Robust Software Engineering Members Help Organize Ames Formal Aspects of Component Software Symposium
Dr. Corina Pasareanu chaired the 9th International Symposium on Formal Aspects of Component Software (FACS), held September 12-14, 2012 at NASA Ames Research Center. The Symposium featured a strong technical ...
+ Read more
Dr. Corina Pasareanu chaired the 9th International Symposium on Formal Aspects of Component Software (FACS), held September 12-14, 2012 at NASA Ames Research Center. The Symposium featured a strong technical ...
+ Read more
Dr. Srivistava Elected AIAA Associate Fellow
Dr. Ashok Srivastava has been elected to the grade of associate fellow in the American Institute of Aeronautics and Astronautics (AIAA). AIAA Associate Fellows are individuals of distinction who have ...
+ Read more
Dr. Ashok Srivastava has been elected to the grade of associate fellow in the American Institute of Aeronautics and Astronautics (AIAA). AIAA Associate Fellows are individuals of distinction who have ...
+ Read more
V. Stepanyan and K. Krisnakumar Publish Chapter in “Advances in Intelligent and Autonomous Aerospace Systems”
A chapter titled “Modified Reference Model MRAC (M-MRAC): An Application to a Generic Transport Aircraft,” by Vahram Stepanyan and Kalmanje Krishnakumar, was published in the book Advances in Intelligent and ...
+ Read more
A chapter titled “Modified Reference Model MRAC (M-MRAC): An Application to a Generic Transport Aircraft,” by Vahram Stepanyan and Kalmanje Krishnakumar, was published in the book Advances in Intelligent and ...
+ Read more
Abhinav Saxena Awarded PHM Society’s Distinguished Service Award
The Prognostics and Health Management (PHM) Society awarded Abhinav Saxena its first-ever Distinguished Service Award at its annual Prognostics and Health Management Conference, in Minneapolis, Minnesota, September 23-27, for continued ...
+ Read more
The Prognostics and Health Management (PHM) Society awarded Abhinav Saxena its first-ever Distinguished Service Award at its annual Prognostics and Health Management Conference, in Minneapolis, Minnesota, September 23-27, for continued ...
+ Read more
Dr. Rozier Gives Invited Lectures at University Of Miami
Dr. Kristin Y. Rozier gave an invited College of Engineering Colloquium at the University of Miami on “Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic ...
+ Read more
Dr. Kristin Y. Rozier gave an invited College of Engineering Colloquium at the University of Miami on “Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic ...
+ Read more
U.S. Adaptive Control Patent Awarded to NASA Scientists
On October 9, 2012, the patent “Aircraft System Modeling Error and Control Error” (US Patent No. 8,285,659 B1) was granted to three NASA Scientists belonging to the Intelligent Systems Division. ...
+ Read more
On October 9, 2012, the patent “Aircraft System Modeling Error and Control Error” (US Patent No. 8,285,659 B1) was granted to three NASA Scientists belonging to the Intelligent Systems Division. ...
+ Read more
Dr. Giannakopoulou Speaks at 17th International Workshop on Formal Methods for Industrial-Critical Systems
Dr. Dimitra Giannakopoulou was one of two invited speakers at the 17th International Workshop on Formal Methods for Industrial-Critical Systems (FMICS) in Paris, France, August 2012. FMICS brings together scientists ...
+ Read more
Dr. Dimitra Giannakopoulou was one of two invited speakers at the 17th International Workshop on Formal Methods for Industrial-Critical Systems (FMICS) in Paris, France, August 2012. FMICS brings together scientists ...
+ Read more
Prognostics Center of Excellence Wins Best Paper Awards
Two papers written by Prognostics Center of Excellence researchers won best paper awards at the Annual Conference of the Prognostics & Health Management Society 2012, held at Minneapolis, MN, September ...
+ Read more
Two papers written by Prognostics Center of Excellence researchers won best paper awards at the Annual Conference of the Prognostics & Health Management Society 2012, held at Minneapolis, MN, September ...
+ Read more
Jeremy Frank Gives Speaks at University of Miami Department of Electrical and Computer Engineering
Dr. Jeremy Frank visited the University of Miami Department of Electrical and Computer Engineering and gave a talk titled “Embedded Systems: A NASA Perspective.” The talk described NASA applications of ...
+ Read more
Dr. Jeremy Frank visited the University of Miami Department of Electrical and Computer Engineering and gave a talk titled “Embedded Systems: A NASA Perspective.” The talk described NASA applications of ...
+ Read more
Planetary Data Systems 4 Tools Released to Planetary Sciences Community
The Planetary Data Systems (PDS) User-Centered Design team has released the first version of a software library for reading and writing metadata and data products using the PDS4 data standard. ...
+ Read more
The Planetary Data Systems (PDS) User-Centered Design team has released the first version of a software library for reading and writing metadata and data products using the PDS4 data standard. ...
+ Read more
Habitat Automation Software Successfully Demonstrated During JSC Deep Space Habitat Mission Operations Test
Throughout the two-week Mission Operations Test (MOT) in the Deep Space Habitat (DSH) at Johnson Space Center (JSC), September 10-21, software provided by the Autonomous Systems Project ran twenty four ...
+ Read more
Throughout the two-week Mission Operations Test (MOT) in the Deep Space Habitat (DSH) at Johnson Space Center (JSC), September 10-21, software provided by the Autonomous Systems Project ran twenty four ...
+ Read more
Jose Celaya Galvan Receives Ames Safety Award
Jose Celaya-Galvan was recognized by the Ames Safety Awards Program II (ASAP II) for his exemplary attention to health and safety conditions in the Intelligent Systems Division’s Advanced Diagnostics and ...
+ Read more
Jose Celaya-Galvan was recognized by the Ames Safety Awards Program II (ASAP II) for his exemplary attention to health and safety conditions in the Intelligent Systems Division’s Advanced Diagnostics and ...
+ Read more
ODVEC Monitoring System Certified and Deployed in JSC Mission Control Center
The Anomaly Monitoring Inductive Software System (AMISS) health-monitoring software running in the International Space Station Flight Control Room (ISS FCR) has been updated with an improved monitoring algorithm: the Outlier ...
+ Read more
The Anomaly Monitoring Inductive Software System (AMISS) health-monitoring software running in the International Space Station Flight Control Room (ISS FCR) has been updated with an improved monitoring algorithm: the Outlier ...
+ Read more
General Electric Begins Work on Cloud Computing for Air Traffic Management
General Electric (GE) has begun work with NASA on Clouding Computing for Air Traffic Management. The overall goal of this collaboration is to explore air traffic management functional allocation schemes ...
+ Read more
General Electric (GE) has begun work with NASA on Clouding Computing for Air Traffic Management. The overall goal of this collaboration is to explore air traffic management functional allocation schemes ...
+ Read more
Enjoying Math: Learning Problem Solving with KenKen Puzzles published by Deepak Kulkarni
Over the last ten years, Deepak Kulkarni of the Intelligent Systems Division has taught creative math problem solving methods to students over the weekends in his spare time. He has ...
+ Read more
Over the last ten years, Deepak Kulkarni of the Intelligent Systems Division has taught creative math problem solving methods to students over the weekends in his spare time. He has ...
+ Read more
Power Planning and Analysis Tool Certified for JSC Mission Control Ops
The Ames Power Planning and Analysis Tool (PLATO) successfully completed the process for certification for deployment at JSC Mission Control. PLATO is a preflight planning and real-time analysis console tool ...
+ Read more
The Ames Power Planning and Analysis Tool (PLATO) successfully completed the process for certification for deployment at JSC Mission Control. PLATO is a preflight planning and real-time analysis console tool ...
+ Read more
OCAMS Team Receives Award from Space Station Crew and Flight Directors
The International Space Station (ISS) Expedition 31 crew members and Lead Flight Directors have selected the Orbital Communications Adapter Management System (OCAMS) team to receive an award for their contributions ...
+ Read more
The International Space Station (ISS) Expedition 31 crew members and Lead Flight Directors have selected the Orbital Communications Adapter Management System (OCAMS) team to receive an award for their contributions ...
+ Read more
Elements of Mission Control Technologies Software Employed at JPL for the Mars Science Lab Mission
Although the Mission Control Technologies (MCT) user-composable software was not fully developed in time to be implemented for the Mars Science Lab (MSL) mission, the Jet Propulsion Laboratory (JPL) has ...
+ Read more
Although the Mission Control Technologies (MCT) user-composable software was not fully developed in time to be implemented for the Mars Science Lab (MSL) mission, the Jet Propulsion Laboratory (JPL) has ...
+ Read more
MSLICE Planning and Scheduling Software Keeps Curiosity on Track
The Mars Science Laboratory (MSL) mission is supported by the Ensemble tool, MSLICE (Mars Science Laboratory InterfaCE, pronounced “em-slice”), which provides the mission with science data visualization and analysis, roundtrip ...
+ Read more
The Mars Science Laboratory (MSL) mission is supported by the Ensemble tool, MSLICE (Mars Science Laboratory InterfaCE, pronounced “em-slice”), which provides the mission with science data visualization and analysis, roundtrip ...
+ Read more
- NASA Official: Michael Shafto
- Curator: ASANI Solutions