Data-driven and Model-based Verification: a Bayesian Identification Approach

被引：0

作者：

Haesaert, S. ^{[1
]}

Abate, A. ^{[2
]}

Van den Hof, P. M. J. ^{[1
]}

机构：

[1] Eindhoven Univ Technol, Dept Elect Engn, Eindhoven, Netherlands

[2] Univ Oxford, Dept Comp Sci, Oxford, England

来源：

2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC) | 2015年

关键词：

CHECKING;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This work develops a measurement-driven and model-based formal verification approach, applicable to systems with partly unknown dynamics. We provide a principled method, grounded on reachability analysis and on Bayesian inference, to compute the confidence that a physical system driven by external inputs and accessed under noisy measurements verifies a temporal logic property. A case study is discussed, where we investigate the bounded- and unbounded-time safety of a partly unknown linear time invariant system.

引用

页码：6830 / 6835

页数：6

共 25 条

[1] Piecewise affine approximations of fluxes and enzyme kinetics from in vivo 13C labeling experiments [J].

Abate, Alessandro ;

Hillen, Robert C. ;

Wahl, S. Aljoscha .

INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2012, 22 (10) :1120-1139

[2]

Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1

[3]

Batt G, 2007, LECT NOTES COMPUT SC, V4416, P61

[4]

Blanchini F, 2008, SYST CONTROL-FOUND A, P1

[5]

Bortolussi L., 2014, CORR

[6]

Brim L., 2013, LNCS, V8044, P1

[7] Active Learning of Markov Decision Processes for System Verification [J].

Chen, Yingke ;

Nielsen, Thomas Dyhre .

2012 11TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA 2012), VOL 2, 2012, :289-294

[8]

Clarke EM, 2008, LECT NOTES COMPUT SC, V5000, P1

[9]

Frehse G, 2008, LECT NOTES COMPUT SC, V4981, P187

[10]

Gyori B. M., 2014, CORR

← 1 2 3 →