专利名称：Probabilistic model checking of systems with
ranged probabilities
发明人：Parasara Sridhar Duggirala,Khalil
万箭穿心的图片Ghorbal,Franjo Ivancic,Vineet Kahlon,Aarti
想把你写成一首歌Gupta
申请号：US13646377
申请日：20121005
公开号：US08799194B2
公开日：
座组词20140805
专利内容由知识产权出版社提供
专利附图：大学未来规划
摘要：Systems and methods for model checking of live systems are shown that
include learning an interval discrete-time Markov chain (IDTMC) model of a deployed system from system logs; and checking the IDTMC model with a processor to determine a probability of violating one or more probabilistic safety properties. Checking the IDTMC model includes calculating a linear part exactly using affine arithmetic; and over-approximating a non-linear part using interval arithmetic.向日葵盛开的夏天>心血的意思
自古真情留不住
申请人：NEC Laboratories America, Inc.
地址：Princeton NJ US
飞利浦加湿器国籍：US
代理人：Joph Kolodka
更多信息请下载全文后查看
