Grants

1. X. He (PI): A Method to Verify the Stability of Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics, Air Force Research Lab Summer Faculty Fellowship, $20K, 5/2023 - 7/2023.
2. X. He (PI): Verifying the Safety and Stability of Controllers built using Deep Reinforcement Learning, Air Force Research Lab Summer Faculty Fellowship, $30K, 5/2022 - 7/2022 and 9/2022 - 10/2022 (Extension Award).
3. X. He (co-PI): Graduate Assistance in Cybersecurity and Artificial Intelligence at Florida International University, U.S. Department of Education, $545,000, 9/1/21 - 8/30/2024.
4. X. He (PI): Assurance of Cyber Physical Systems with Machine Learning Components, Air Force Research Lab Summer Faculty Fellowship, $22,800, 5/2021 - 8/2021.
5. X. He (PI): Applying hybrid high-level Petri nets to model and analyze learning enabled components in CPSs, Air Force Research Lab Summer Faculty Fellowship, $22,800, 5/2020 - 8/2020.
6. X. He (PI): A Runtime Checker with Evolutionary Algorithm Decision Making, Air Force Research Lab., $349,757, 1/2015 - 12/2017.
7. X. He (co-PI): Center for Innovative Information Systems Engineering, NSF, HRD-0833093, $5,000,000, 8/2008 - 7/2015. Component PI with budget $825,000, 8/2008-7/2015.
8. X. He (PI): Petri Nets Controller for Robotic Grasping, NSF SBIR IIA, subcontract from Energid, Inc., $70,000. 9/15/11 - 12/15/12.
9. X. He (co-PI): Graduate Assistance in Computer Science at Florida International University, Department of Education, $545,000, 9/1/09 - 8/30/2012.
10. X. He (PI): Graduate Assistance in Computer Science at Florida International University, Department of Education, $383,643, 9/1/07 - 8/30/2010.
11. X. He (PI): Development of New Simulation Software for Advanced Energy Systems, NSF, HRD-0317692 (Supplement), $100,000, 8/1/06 - 7/31/07.
12. X. He (PI): Distributed Flexible-Resource Scheduling in Production Systems, NSF SBIR IIA subcontract from LS Optimal, Inc., $105,000, 8/1/06 - 7/31/07.
13. X. He (co-PI): Center of Emerging Technologies for Advanced Information Processing and High-Confidence Systems, NSF, HRD-0317692, $4,500,000, 8/2003 - 7/2008. Component PI with budget $900,000, 8/2003-7/2008.
14. X. He (PI): Specification and Analysis of Software Architectures of High-Assurance Systems, NASA, NAG2-1440, Faculty Award for Research, $287,338, 10/1/2000 - 9/30/2003.
15. X. He (co-PI): CREST: Florida A&M University/Florida International University Center for Distributed Computing: Theory, Development and Application, NSF, HRD-9707076, $5,000,000 (9/1/97 - 8/31/02). Component PI with budget $400,000, 9/1/00 - 8/31/03.
16. X. He (PI): A Theory and Methodology for Testing Concurrent Software Systems, NSF, $29,013, 5/1/98 - 4/31/2001.
17. X. He (PI): Deriving Formal Specifications from Informal Object-Oriented Specifications, DoD, ONR, $323,619, 5/15/98 - 5/15/2001.
18. X. He (PI): Deriving Formal Specifications from Object-Oriented Analysis, NSF, EPSCoR (Experimental Programs for Stimulating Competitive Research), $10,000, 7/1/97 - 6/30/98.
19. X. He (PI): Theory, Analysis and Application of Hierarchical Predicate Transition Nets, NSF, Research Initiation Award, $85,878, 8/15/93 - 7/31/97.
20. X. He (PI): Specifying and Verifying Concurrent and Distributed Systems Using Hierarchical Predicate Transition Nets, NDSU, Seed Grant, $4,000, 5/1/95 - 4/31/96.
21. X. He (PI): Specifying and Verifying Concurrent and Distributed Systems Using Hierarchical Predicate Transition Nets, NSF, EPSCoR, $48,000, 10/15/92 - 6/30/95.
22. X. He (PI): Integrating Predicate Transition Nets with the Algebraic Approach in the Formal Specification of Software Systems, NSF, EPSCoR, $14,000, 10/15/90 - 10/15/91.