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
来源：
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS | 2000年 / 8卷 / 02期
关键词：
D O I：
10.1142/S0218488500000095
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：121 / 125
页数：5
相关论文
共 50 条
  • [1] Safety Verification for Probabilistic Hybrid Systems
    Koutsoukos, Xenofon
    [J]. EUROPEAN JOURNAL OF CONTROL, 2012, 18 (06) : 588 - 590
  • [2] Probabilistic Testing for Stochastic Hybrid Systems
    Julius, A. Agung
    Pappas, George J.
    [J]. 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 4030 - 4035
  • [3] Mode estimation of probabilistic hybrid systems
    Hofbaur, MW
    Williams, BC
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2002, 2289 : 253 - 266
  • [4] Safety Verification for Probabilistic Hybrid Systems
    Zhang, Lijun
    She, Zhikun
    Ratschan, Stefan
    Hermanns, Holger
    Hahn, Ernst Moritz
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 196 - 211
  • [5] The probabilistic convolution regularization of Zeno hybrid systems
    Belgacem, Ismail
    Bensalah, Hamid
    Cherki, Brahim
    Edwards, Roderick
    [J]. 2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), 2019, : 750 - 757
  • [6] Bounded Verification of Reachability of Probabilistic Hybrid Systems
    Lal, Ratan
    Prabhakar, Pavithra
    [J]. QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2018, 2018, 11024 : 240 - 256
  • [7] Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems
    Lal, Ratan
    Prabhakar, Pavithra
    [J]. 2018 56TH ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2018, : 848 - 855
  • [8] Exploring hybrid parallel systems for probabilistic record linkage
    Boratto, Murilo
    Alonso, Pedro
    Pinto, Clicia
    Melo, Pedro
    Barreto, Marcos
    Denaxas, Spiros
    [J]. JOURNAL OF SUPERCOMPUTING, 2019, 75 (03): : 1137 - 1149
  • [9] Simulation and analysis of hybrid systems using probabilistic techniques
    Ghali, FMA
    AbdelAziz, MM
    Syam, FA
    [J]. PROCEEDINGS OF THE POWER CONVERSION CONFERENCE - NAGAOKA 1997, VOLS I AND II, 1997, : 831 - 835
  • [10] Analysis of Non-Linear Probabilistic Hybrid Systems
    Assouramou, Joseph
    Desharnais, Josee
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (57): : 104 - 119
12345