Open Access. Powered by Scholars. Published by Universities.®
- Institution
Articles 1 - 2 of 2
Full-Text Articles in Computer Engineering
System Identification Of A Circulation Control Unmanned Aerial Vehicle, Mohammed Agha
System Identification Of A Circulation Control Unmanned Aerial Vehicle, Mohammed Agha
Electronic Theses and Dissertations
The advancement in automation and sensory systems in recent years has led to an increase the demand of UAV missions. Due to this increase in demand, the research community has gained interest in investigating UAV performance enhancing systems. Circulation Control (CC), which is an active control flow method used to enhance UAV lift, is a performance enhancing system currently studied. In prior research, experimental studies have shown that Circulation Control wings (CCW) implemented on class-I UAVs can reduce take-off distance by 54%. Wind tunnel tests reveal that CC improves aircraft payload capabilities through lift enhancement. Increasing aircraft payload capabilities causes …
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 …