Extended stochastic hybrid systems and their reachability problem

被引：0
|
作者：
Bujorianu, ML [1 ]
机构：
[1] Univ Cambridge, Dept Engn, Cambridge CB2 1PZ, England
来源：
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS | 2004年 / 2993卷
关键词：
stochastic hybrid systems; reachability problem; extended automata; Markov processes; Dirichlet forms;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we generalize a model for stochastic hybrid systems. First, we prove that this model is a right Markov process and it satisfies some mathematical properties. Second, we propose a method based on the theory of Dirichlet forms to study the reachability problem associated with these systems.
引用
收藏
页码：234 / 249
页数：16
相关论文
共 50 条
  • [1] On the reachability problem for uncertain hybrid systems
    Gao, Yan
    Lygeros, John
    Quincampoix, Marc
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (09) : 1572 - 1586
  • [2] State constrained reachability for stochastic hybrid systems
    Bujorianu, Manuela L.
    Bujorianu, Marius C.
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2011, 5 (02) : 320 - 342
  • [3] 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 - +
  • [4] 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 - +
  • [5] Computational methods for reachability analysis of stochastic hybrid systems
    Koutsoukos, Xenofon
    Riley, Derek
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 377 - 391
  • [6] 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
  • [7] Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
    Riley, Derek
    Koutsoukos, Xenofon
    Riley, Kasandra
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2009, 5469 : 460 - +
  • [8] Reachability for partially observable discrete time stochastic hybrid systems
    Lesser, Kendra
    Oishi, Meeko
    [J]. AUTOMATICA, 2014, 50 (08) : 1989 - 1998
  • [9] 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
  • [10] 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
12345