(DURIP) INSTRUMENTATION FOR VERIFICATION AND VALIDATION OF AUTONOMOUS SYSTEMS WITH HYBRID DYNAMICS UNDER UNCERTAINTY

Abstract

In conventional design processes, the design of the plant, the controller, the prototype as well as the certi cation of validity are products of consecutive phases of development utilizing distinct simulation, fabrication, and synthesis tools. Each phase produces an optimal solution, which is typically not jointly optimal for all phases. Phases need to be restarted from scratch if a new edge case or catastrophic failure is discovered at a later stage, and the interaction between failures, fabrication tolerances, and model inaccuracy is murky at best. To overcome these issues, and building from our e ort as part of a current AFOSR grant, we propose to build a test bed implementing a coherent and provably rational methodology for automated design optimization, modeling, test and evaluation, and validation of autonomous systems with guaranteed levels of risk and robustness to uncertainty. The test bed will permit prototyping, experimentation, and redesign of autonomous systems and their components in an unified system.

Document Details

Document Type
DoD Grant Award
Publication Date
Mar 07, 2023
Source ID
FA95502210159

Entities

People

  • Ricardo G. Sanfelice

Organizations

  • Air Force Office of Scientific Research
  • United States Air Force
  • University of California, Santa Cruz

Tags

Readers

  • Computational Modeling and Simulation
  • Educational Psychology
  • Software Engineering

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control