Final Report for the V2D2 DARPA Study (#FA9550-10-C-0116, Distribution Statement “A” (Approved for Public Release, Distribution Unlimited))
Abstract: Analysis and design methods for stochastic hybrid dynamical systems are presented. Analysis methods include reachability analysis as well as statistical approaches. System re nement and decomposition are explored as possible approaches to deal with complexity. Findings show that analysis of this class of systems is not scalable. A promising approach is demonstrated which relies on the automatic construction of decentralized control systems using desirable properties as constraints. The synthesized system does not require to be analyzed thereby cutting the analysis e ort. This approach is promising but for now limited in its use.