Hybrid probabilistic systems

被引:0
|
作者
Parsons, S
Neufeld, E
机构
[1] Univ Liverpool, Dept Comp Sci, Liverpool L69 7ZF, Merseyside, England
[2] Univ Saskatchewan, Dept Comp Sci, Saskatoon, SK S7N 5A9, Canada
关键词
D O I
10.1142/S0218488500000095
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:121 / 125
页数:5
相关论文
共 50 条
  • [31] 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
  • [32] An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems
    Abate, Alessandro
    Prandini, Maria
    Lygeros, John
    Sastry, Shankar
    [J]. 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 4018 - 4023
  • [33] Probabilistic-constrained optimal control of a class of stochastic hybrid systems
    Koichi Kobayashi
    Koichiro Matou
    Kunihiko Hiraishi
    [J]. International Journal of Control, Automation and Systems, 2012, 10 : 897 - 904
  • [34] Probabilistic modelling and analysis of stand-alone hybrid power systems
    Lujano-Rojas, Juan M.
    Dufo-Lopez, Rodolfo
    Bernal-Agustin, Jose L.
    [J]. ENERGY, 2013, 63 : 19 - 27
  • [35] Probabilistic-Constrained Optimal Control of a Class of Stochastic Hybrid Systems
    Kobayashi, Koichi
    Matou, Koichiro
    Hiraishi, Kunihiko
    [J]. INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2012, 10 (05) : 897 - 904
  • [36] Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems
    Teige, Tino
    Eggers, Andreas
    Fraenzle, Martin
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2011, 5 (02) : 343 - 366
  • [37] Probabilistic planning in hybrid probabilistic logic programs
    Saad, Emad
    [J]. SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2007, 4772 : 1 - 15
  • [38] Hybrid probabilistic programs
    Dekhtyar, A
    Subrahmanian, VS
    [J]. JOURNAL OF LOGIC PROGRAMMING, 2000, 43 (03): : 187 - 250
  • [39] Hybrid probabilistic programs
    Dekhtyar, A
    Subrahmanian, VS
    [J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 391 - 405
  • [40] Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach
    Wang, Fujun
    Cao, Zining
    Tan, Lixing
    Li, Zhen
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2022, 32 (02) : 283 - 315