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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Bujorianu, Luminita Manuela (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: London : Springer London : Imprint: Springer, 2012.
Édition:1st ed. 2012.
Collection:Communications and Control Engineering,
Sujets:
System theory.
Control theory.
Control engineering.
Computer science-Mathematics.
Systems Theory, Control .
Control and Systems Theory.
Mathematical Applications in Computer Science.
Accès en ligne:Texto Completo
Table des matières:
  • 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.

Documents similaires