Open Access. Powered by Scholars. Published by Universities.®
- Keyword
Articles 1 - 3 of 3
Full-Text Articles in Computer Engineering
Uav Pirates And Silentrack Integration, Travis Dean, Hushnak Singh, Ashley Wager, Matthew (Matt) Woolridge
Uav Pirates And Silentrack Integration, Travis Dean, Hushnak Singh, Ashley Wager, Matthew (Matt) Woolridge
Electrical Engineering
The integration of the UAV pirating system with the SilenTrack video tracking system will allow the combined system to automatically identify and track a suspicious air vehicle visually as well as identify and decode the RF control signal. Once a threat has been identified, the system will execute an algorithm to associate each control channel with the corresponding flight control surface. Once the control channels have been decoded the user can use a hand held radio controller to maneuver the drone which is now under their command.
Aircraft Data Collection System, Amy Kronsteiner, Danny Marx, Collin Heller, Nathaniel Garcia, Nicholas Riccobono, Scott Parks, Albert Liu
Aircraft Data Collection System, Amy Kronsteiner, Danny Marx, Collin Heller, Nathaniel Garcia, Nicholas Riccobono, Scott Parks, Albert Liu
Biomedical Engineering
This report outlines the design and building process for an interchangeable testing device that collects aircraft performance data. Included is the project objectives, system requirements, management plan, design concept development, design details, manufacturing procedures, and project verification test plans. The device is a wing-mounted Pitot-static system integrated with an Electronic Flight Instrument System (EFIS).
An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover
An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover
All Graduate Theses and Dissertations, Spring 1920 to Summer 2023
Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and enables them to check different aspects of it to ensure that there is no undesired or unexpected behavior and that it does what it was designed to do. This thesis takes two existing tools that were created to aid in the designing of spacecraft systems and creates a layer to connect them together and allow them to be used jointly. The first tool is a library of formal descriptions used to specify spacecraft behavior in …