Template:Active projects

From MurrayWiki

• Specification, Design and Verification of Distributed Embedded Systems (MURI/AFOSR)
• Networked Feedback Systems in Biology (ARO ICB)
• Characterization of Insect Flight Control Systems (ARO ICB)
• Model-Based Design and Qualification of Complex Systems (Boeing)
• Information Dynamics for Networked Feedback Systems (NSF)