Stochastic Reachability Analysis of Hybrid Systems

Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochastic hybrid systems it can be rather more. As a verific...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Bujorianu, Luminita Manuela (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Communications and Control Engineering,
Temas:
System theory.
Control theory.
Control engineering.
Computer science-Mathematics.
Systems Theory, Control .
Control and Systems Theory.
Mathematical Applications in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • The Need for Interdisciplinarity in Modern Systems Engineering
  • Markov Models
  • Randomness Issues when Modeling Hybrid Systems
  • Stochastic Hybrid Systems
  • Reachability Analysis for Deterministic Hybrid Systems
  • Stochastic Reachability Problems
  • Different Methodologies for Stochastic Reachability
  • Stochastic Reachability Based on Markov Process Theory
  • Martingale Methods
  • Stochastic Reachability as an Optimal Stopping Problem
  • Dynamic Programming Approach to Stochastic Reachability
  • Applications to Autonomous Systems
  • Applications of Stochastic Reachability in Air-traffic Management.

Ejemplares similares