A self-recovery approach to the probabilistic invariance problem for stochastic hybrid systems

被引:0
作者
Prandini, Maria [1 ]
Piroddi, Luigi [1 ]
机构
[1] Politecn Milan, Dipartimento Elettron & Informaz, I-20113 Milan, Italy
来源
2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC) | 2012年
关键词
REACHABILITY; VERIFICATION; FRAMEWORK; SAFETY;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, we consider the problem of designing a feedback policy for a discrete time stochastic hybrid system that should be kept operating within some compact set A. To this purpose, we introduce an infinite-horizon discounted average reward function, where a negative reward is associated to the transitions driving the system outside A and a positive reward to those leading it back to A. The idea is that the stationary policy maximizing this reward function will keep the system within A as long as possible, and, if the system happens to exit A, it will bring it back to A as soon as possible, compatibly with the system dynamics. This self-recovery approach is particularly useful in those cases where it is not possible to maintain the system within A indefinitely. The performance of the resulting strategy is assessed on a benchmark example.
引用
收藏
页码:2096 / 2101
页数:6
相关论文
共 19 条
  • [1] Abate A, 2007, LECT NOTES COMPUT SC, V4416, P4
  • [2] Approximate Model Checking of Stochastic Hybrid Systems
    Abate, Alessandro
    Katoen, Joost-Pieter
    Lygeros, John
    Prandini, Maria
    [J]. EUROPEAN JOURNAL OF CONTROL, 2010, 16 (06) : 624 - 641
  • [3] Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
    Abate, Alessandro
    Prandini, Maria
    Lygeros, John
    Sastry, Shankar
    [J]. AUTOMATICA, 2008, 44 (11) : 2724 - 2734
  • [4] Bertsekas D., 1996, Stochastic optimal control: the discrete-time case, V5
  • [5] Bertsekas D. P., 1995, Dynamic programming and optimal control
  • [6] CONVERGENCE OF DISCRETIZATION PROCEDURES IN DYNAMIC-PROGRAMMING
    BERTSEKAS, DP
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1975, AC20 (03) : 415 - 419
  • [7] Bujorianu ML, 2003, LECT NOTES COMPUT SC, V2623, P126
  • [8] Busoniu L., 2010, Reinforcement Learning and Dynamic Programming Using Function Approximators, V1st
  • [9] THE EXACT FEASIBILITY OF RANDOMIZED SOLUTIONS OF UNCERTAIN CONVEX PROGRAMS
    Campi, M. C.
    Garatti, S.
    [J]. SIAM JOURNAL ON OPTIMIZATION, 2008, 19 (03) : 1211 - 1230
  • [10] Cassandras C., 2006, CONTROL ENG, V24