Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems.
Prithvi AkellaAaron D. AmesPublished in: CoRR (2023)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- support systems
- fault tolerant
- convex optimization problems
- intelligent systems
- linear systems
- adaptive systems
- distributed systems
- knowledge based systems
- linear program
- image processing
- agent architecture
- optimization problems
- evolutionary algorithm
- lower bound