|
Abstract:
Analysis and design methods for stochastic hybrid dynamical systems are presented. Analysis methods include reachability analysis as well as statistical approaches. System refinement 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 effort. This approach is promising but for now limited in its use.
| Limitations: |
 APPROVED FOR PUBLIC RELEASE |
| Description: |
Final rept. 15 May 2010-15 Jun 2011 |
| Pages: |
100 |
| Report Date: |
14 Sep 2011 |
| Contract Number: |
FA9550-10-C-0116 |
| Report Number: |
A546255 |
|
|
|
|
|
Keywords relating to this report:
Email This Abstract
