Integrated Design and Analysis Tools for Software-Based Control Systems
Final rept. 8 Aug 1998-31 Dec 2004
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE
Pagination or Media Count:
- Generalize recent results in Reachability of objectives in discrete probabilistic games to hybrid systems - Develop algorithms and tools for estimating safedesired performance for multi-modal and multi-vehicle systems - Develop fault detectionhandling tools and Markov-based decision process tools for incompletely observed modules.
- Operations Research
- Computer Programming and Software