Methodologies for Engineering with Plug-and-Learn Components: Synthesis and Analysis Across Abstraction Layers

Download
pdf

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

  • Flight Adaptation
  • FW-MAV
  • model checking
  • Portland State University
  • Purdue University
  • Soft Computing
  • Wright State University
  • CPS Domains
  • Avionics
  • Modeling
  • Transportation
  • Validation and Verification
  • Foundations
  • National CPS PI Meeting 2015
  • 2015
  • Abstract
  • Poster
  • Academia
  • 2015 CPS PI MTG Videos, Posters, and Abstracts
Submitted by John Gallagher on