Block, SkipCaptcha, apieditor, Automoderated users, Bots, edit, ratelimit-exempt
58,183
edits
Changes
Jump to navigation
Jump to search
Line 8:
Line 8: − +
→Research projects: Spelling, grammar, and general fixes, typos fixed: Managment → Management
About 50 full-time researchers are working on projects at NIA.<ref>See [http://www.nianet.org/researchstaff/ listing of researchers]</ref>
About 50 full-time researchers are working on projects at NIA.<ref>See [http://www.nianet.org/researchstaff/ listing of researchers]</ref>
For example, The Formal Methods research program aims at developing and applying techniques and tools for the specification, analysis, and verification of digital systems that are of interest to NASA. Application areas include flight guidance systems, integrated modular avionics, airborne information systems, and other hardware and software safety critical systems. Current research efforts focus on the verification of Air Traffic Managment Systems. The Formal Methods Groups at NIA and NASA Langley have developed and verified several fundamental algorithms for Air Traffic Management such as Conflict Detection and Resolution (CD3D, KB3D), Resolution and Recovery (RR3D), and Cooperative and Collaborative Resolution.
For example, The Formal Methods research program aims at developing and applying techniques and tools for the specification, analysis, and verification of digital systems that are of interest to NASA. Application areas include flight guidance systems, integrated modular avionics, airborne information systems, and other hardware and software safety critical systems. Current research efforts focus on the verification of Air Traffic Management Systems. The Formal Methods Groups at NIA and NASA Langley have developed and verified several fundamental algorithms for Air Traffic Management such as Conflict Detection and Resolution (CD3D, KB3D), Resolution and Recovery (RR3D), and Cooperative and Collaborative Resolution.
Recent research awards include "An Adaptive Control Technology for Safe High-Performance Aircraft (ACTS)" directed by Luis Crespo (NIA) and Anuradha Annaswamy (MIT), supported by NASA Langley Research Center, Research & Technology Directorate. The goal is to develop the proposed adaptive control architecture, which will include the methodology as well as the algorithms.
Recent research awards include "An Adaptive Control Technology for Safe High-Performance Aircraft (ACTS)" directed by Luis Crespo (NIA) and Anuradha Annaswamy (MIT), supported by NASA Langley Research Center, Research & Technology Directorate. The goal is to develop the proposed adaptive control architecture, which will include the methodology as well as the algorithms.