Computation-based Probabilistic Validation of Complex Cyber-controlled Systems
Abstract
This computation verification effort will examine hybrid mathematical physics-based and discrete-transition models. This program will develop a computational approach to verification of the hybrid mathematical models that are formed when combining physics-based models with discrete-transition models, such as those which model software algorithms; namely, the types of models that arise when physical processes are interconnected with digital hardware.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Mar 23, 2016
- Source ID
- FA95501510059
Entities
People
- Geir E. Dullerud
Organizations
- Air Force Office of Scientific Research
- United States Air Force
- University of Illinois Urbana–Champaign