Amanote Research
Register
Sign In
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
doi 10.1109/cdc.2007.4434095
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2007
Authors
Henk A.P. Blom
G.J. (Bert) Bakker
Jaroslav Krystul
Publisher
IEEE
Related search
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems
Nash Equilibrium Strategy for Weakly Coupled Large-Scale Stochastic Systems
Transactions of the Society of Instrument and Control Engineers
Analysis of Lactose Metabolism in E.coli Using Reachability Analysis of Hybrid Systems
IET Systems Biology
Genetics
Cell Biology
Molecular Biology
Simulation
Modeling
Biotechnology
Probabilistic Modular Embedding for Stochastic Coordinated Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Soft-Constrained Stochastic Nash Games for Weakly Coupled Large-Scale Systems
Automatica
Control
Systems Engineering
Electrical
Electronic Engineering
Symbolic Representations and Analysis of Large Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science