Abstract: Cyber-Physical Systems (CPS) that modify themselves to improve performance or repair damage often recast the modular relationships among system components that enable Verification and Validation (V&V). We focus on in-flight control adaptation of damaged Flapping-Wing Micro Air Vehicles (FW-MAV).

Abstract: CyberPhysical Systems (CPS) that self-modify to improve performance or repair damage often rewrite the modular relationships that make system modeling or Verification and Validation (V&V) possible. In this project, we are exploring methods to create self- modifying CPS systems that, in addition to self-improving or self-repairing, are also capable of maintaining system models that support the use of V&V techniques.