A Holistic Approach to Networked Information Systems Design and Analysis
The work funded under this award established methods and tools for secure and timely delivery of information over wireless communication networks. Our methods enable the wireless networking and storage systems to provide provable performance guarantees for a variety of diverse applications that impose strict delay, throughput, reliability, and availability requirements. Our contribution includes provably secure wireless networking protocols as well as a methodology for design and analysis of provably correct and safe design of heterogeneous systems. We have designed mechanisms that ensure insensitivity to strategic gaming and security against malicious adversaries. Our research paves the way to a holistic theory that unifies a range of mathematical, system-theoretic, and optimization tools. Our research will have a major impact on future aerial systems that will support secure, robust, and delay-sensitive applications.