Treffer: FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS
Title:
FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS
Authors:
Contributors:
University of Texas at Arlington Arlington United States
Publication Year:
2018
Collection:
Defense Technical Information Center: DTIC Technical Reports database
Subject Terms:
Computer Programming and Software, Computer Systems Management and Standards, MACHINE LEARNING, AUTONOMOUS MACHINE BEHAVIOR, MULTIAGENT SYSTEMS, DRONES, SATELLITE CONSTELLATIONS, VULNERABILITY, COMPUTER SECURITY, COMPUTER PROGRAM VERIFICATION, CONTROL SYSTEMS, CYBERATTACKS, Formal methods, emergent behavior, DCPS (distributed cyber-physical systems)
Document Type:
Fachzeitschrift
text
File Description:
text/html
Language:
English
Availability:
Rights:
Approved For Public Release
Accession Number:
edsbas.73420EAB
Database:
BASE
Weitere Informationen
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).