Methodologies for Engineering with Plug-and-Learn Components- Synthesis and Analysis Across Abstraction Layers
pdf
Cyber-Physical Systems (CPS) that contain self-modifying smart components can improve and self-repair, but sometimes at the cost of impeding model-based Verification and Validation (V&V). In this work, we focus on maintaining short and long range V&V capability in a system containing self-adaptive smart components. In this work, we focus on smart component based in-flight control adaptation of damaged Flapping-Wing Micro Air Vehicles (FW-MAV).
Submitted by John Gallagher
on
pdf
Cyber-Physical Systems (CPS) that contain self-modifying smart components can improve and self-repair, but sometimes at the cost of impeding model-based Verification and Validation (V&V). In this work, we focus on maintaining short and long range V&V capability in a system containing self-adaptive smart components. In this work, we focus on smart component based in-flight control adaptation of damaged Flapping-Wing Micro Air Vehicles (FW-MAV).
Submitted by John Gallagher
on