Formal Modeling of Emergence in Distributed Cyber-Physical Systems
Abstract
This effort suggests the development and use of scalable formal methods in mission (1) specification and verification, (2) runtime monitoring, and (3) trusted and assured control, all to be conducted in conjunction with (4) a rigorous evaluation method on distributed cyber-physical systems (DCPS) with prototypical features of modern Air Force systems like UAV swarms and satellite constellations.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Feb 11, 2016
- Source ID
- FA87501510105
Entities
People
- Taylor T. Johnson
Organizations
- Rome Laboratory
- United States Air Force
- University of Texas at Arlington