Accession Number:

ADA455939

Title:

Integrated Design and Analysis Tools for Software-Based Control Systems

Descriptive Note:

Final rept. 8 Aug 1998-31 Dec 2004

Corporate Author:

CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE

Personal Author(s):

• Sastry, Shankar
• Henzinger, Thomas
• Lee, Edward

Report Date:

2005-07-01

Pagination or Media Count:

57.0

Abstract:

- 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.

Descriptors:

• *HYBRID SYSTEMS
• ALGORITHMS
• ADAPTIVE CONTROL SYSTEMS
• DECISION THEORY

Subject Categories:

• Operations Research
• Computer Programming and Software
• Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE