Accession Number:

AD1047510

Title:

FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS

Descriptive Note:

Technical Report,01 Apr 2015,30 Apr 2017

Corporate Author:

University of Texas at Arlington Arlington United States

Personal Author(s):

Report Date:

2018-02-23

Pagination or Media Count:

367.0

Abstract:

This project studied emergent behavior in distributed cyber-physical systems DCPS. Emergent behavior does not a priori appear in the descriptions of such systems. The approach undertaken is to characterize this perspective as invalid any behavior not a prior specified by the requirements and specifications of a system is emergent. With this perspective and using formal methods, formal verification with reachability analysis and inductive invariance, as well as architectural runtime monitoring and runtime assurance, this project developed and demonstrated novel ways to specify, verify, monitor, and control behavior in DCPS, such as groups of unmanned autonomous systems UASs.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE