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

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).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 23, 2018
Accession Number
AD1047510

Entities

People

  • Taylor T. Johnson

Organizations

  • University of Texas at Arlington

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Cyber
  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Automata Theory
  • Computational Fluid Dynamics
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Control Systems Engineering
  • Engineers
  • Mathematical Filters
  • Multiagent Systems
  • Nonlinear Dynamics
  • Supervised Machine Learning
  • Switched Mode Power Supplies
  • Systems Engineering
  • Unmanned Systems

Fields of Study

  • Computer science
  • Engineering

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Software Engineering.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control
  • Cyber