Award Data

The proposed research program aims to develop a physics-based identification, modeling and management infrastructure for aeroelastic limit-cycle oscillations. This infrastructure will be built upon high fidelity state-of-the-art theoretical/computational methods as validated and verified by available experimental data bases, and will include (1) rapid flutter boundary determination for a wide ran ...

When designing distributed systems, it is necessary to compare two or more designs of the models of the system. By developing formal methods theory to automate the process of checking for differences, multiple designs can be quickly compared to come up with the best design of the system. UIUC has done research on an algorithm called Circular coinduction to automatically discover bisimulation relat ...

ABSTRACT: Due to scarcity of spectrum, Dynamic Spectrum Access (DSA) becomes a needed technology to improve the utilization of electromagnetic spectrum for DoD satellite communication. However, current DSA approaches are developed for terrestrial communications without addressing the unique challenges for SATCOM environments such as error-prone spectrum sensing, high mobility, and large coverage. ...

ABSTRACT: The Sonalysts team proposes to develop a solution that facilitates the flow of data between different levels of classification while improving and ensuring both security and data integrity. Our approach involves a set of protocols that provide a unique and disruptive combination of multichannel data dispersion and multi-classification data management techniques to meet our objectives. ...

ABSTRACT: Coordinating and sharing information across multi-level security (MLS) networks are of great interest in many military applications. However, it is very challenging to accomplish those goals due to the heterogeneous security classifications of different network domains. The recent proposed cross-domain solutions (CDS) provide initial steps to make such applications possible. However, th ...

ABSTRACT: The objective of this proposal is to develop efficient sensitivity analysis methods based on adjoint techniques for multi-disciplinary time-dependent problems. The approach is based on the discrete adjoint, which is derived and implemented on a software component basis, with the various multidisciplinary software components being linked together through a Python interface, thus preservi ...