FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS
Technical Report,01 Apr 2015,30 Apr 2017
University of Texas at Arlington Arlington United States
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Systems Management and Standards