Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

被引：0
|
作者：
Riley, Derek [1 ]
Koutsoukos, Xenofon [1 ]
Riley, Kasandra [2 ]
机构：
[1] Vanderbilt Univ, ISIS EECS, 221 Kirkland Hall, Nashville, TN 37235 USA
[2] Yale Univ, Howard Hughes Med Inst, New Haven, CT USA
来源：
HYBRID SYSTEMS: COMPUTATION AND CONTROL | 2009年 / 5469卷
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：460 / +
页数：2
相关论文
共 50 条
  • [1] Reachability analysis of a biodiesel production system using stochastic hybrid systems
    Riley, Derek
    Koutsoukos, Xenofon
    Riley, Kasandra
    [J]. 2007 MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-4, 2007, : 475 - +
  • [2] Computational approaches to reachability analysis of stochastic hybrid systems
    Abate, Alessandro
    Amin, Saurabh
    Prandini, Maria
    Lygeros, John
    Sastry, Shankar
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 4 - +
  • [3] Reachability analysis of stochastic hybrid systems by optimal control
    Bujorianu, Manuela L.
    Lygeros, John
    Langerak, Rom
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 610 - +
  • [4] Computational methods for reachability analysis of stochastic hybrid systems
    Koutsoukos, Xenofon
    Riley, Derek
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 377 - 391
  • [5] Learning and Reachability Analysis for Stochastic Hybrid Systems using Mixtures of Gaussian Processes
    Abdel-Aziz, Hamzah
    Koutsoukos, Xenofon
    [J]. 2016 24TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2016, : 332 - 337
  • [6] Splitting reachability analysis in hybrid automata
    Boisieau, P
    Roux, O
    [J]. PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 1999, : 98 - 105
  • [7] Reachability analysis for controlled discrete time stochastic hybrid systems
    Amin, Saurabh
    Abate, Alessandro
    Prandini, Maria
    Lygeros, John
    Sastry, Shankar
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 49 - 63
  • [8] Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System
    Riley, Derek
    Riley, Kasandra
    Koutsoukos, Xenofon
    [J]. EUROPEAN JOURNAL OF CONTROL, 2010, 16 (06) : 609 - 623
  • [9] Probabilistic reachability analysis for large scale stochastic hybrid systems
    Blom, Henk A. P.
    Bakker, G. J. Bert
    Krystul, Jaroslav
    [J]. PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 545 - 552
  • [10] Reachability analysis of hybrid systems using bisimulations
    Lafferriere, G
    Pappas, GJ
    Sastry, S
    [J]. PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 1623 - 1628
12345