NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
A Decentralized Framework to Support UAS Merging and Spacing Operations in Urban Canyons
Document ID
20205005801
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Swee Balachandran (National Institute of Aerospace Hampton, Virginia, United States)
Christopher Manderino (University of Pittsburgh Pittsburgh, Pennsylvania, United States)
César Muñoz (Langley Research Center Hampton, Virginia, United States)
María Consiglio (Langley Research Center Hampton, Virginia, United States)
Date Acquired
August 3, 2020
Subject Category
Computer Programming And Software
Meeting Information
Meeting: The 2020 International Conference on Unmanned Aircraft Systems
Location: Athens
Country: GR
Start Date: September 1, 2020
End Date: September 4, 2020
Sponsors: Institute of Electrical and Electronics Engineers
Funding Number(s)
WBS: 334005.06.10.07.01
CONTRACT_GRANT: NNL09AA00A
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
Single Expert
Keywords
Floating-Point Arithmetic
Round-off Errors
Formal Verification
Theorem Proving
Static Analysis
Formal Methods
Software Verification

Related Records

There are no records associated with this record.
No Preview Available