Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems

類似資料

• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
  著者:: Abate, A, 等
  出版事項: (2008)
• Approximate Model Checking of Stochastic Hybrid Systems
  著者:: Abate, A, 等
  出版事項: (2010)
• Approximate Model Checking of Stochastic Hybrid Systems
  著者:: Abate, A, 等
  出版事項: (2010)
• Reachability in Stochastic Timed Games.
  著者:: Bouyer, P, 等
  出版事項: (2009)
• Stochastic hybrid systems : theory and safety critical applications /
  著者:: Lygeros, John, 等
  出版事項: (2006)