Integrated Design and Analysis Tools for Software-Based Control Systems

Abstract

- Generalize recent results in "Reachability of objectives" in discrete probabilistic games to hybrid systems - Develop algorithms and tools for estimating safe/desired performance for multi-modal and multi-vehicle systems - Develop fault detection/handling tools and Markov-based decision process tools for incompletely observed modules.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 2005
Accession Number
ADA455939

Entities

People

  • Edward A. Lee
  • S. Shankar Sastry
  • Thomas Henzinger

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Materials and Manufacturing Processes
  • Sensors

DTIC Thesaurus Topics

  • Aircrafts
  • Collision Avoidance
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Information Systems
  • Model Predictive Control
  • Motion Planning
  • Nonlinear Dynamics
  • Operating Systems
  • Software Design
  • Software Development
  • Systems Engineering
  • Unmanned Aerial Vehicles

Fields of Study

  • Computer science
  • Engineering

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Analytical Mechanics
  • Distributed Systems and Data Platform Development