Conference item icon

Conference item

Experiment design for formal verification via stochastic optimal control

Abstract:

A measurement-based statistical verification approach is developed for systems with partly unknown dynamics. Grey-box systems, which are specified as a model class, are subject to identification experiments that enable accepting or rejecting system properties expressed as formulae in a lineartime logic with a given confidence. We employ a Bayesian framework for the computation of the confidence level and for the design of experiments to increase the confidence. The experiment design is formul...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1109/ECC.2016.7810322

Authors


More by this author
Department:
Linacre College
Role:
Author
John Fell OUP Research Fund More from this funder
Netherlands Organisation for Scientific Research More from this funder
Dutch Institute of Systems and Control More from this funder
Publisher:
Institute for Electrical and Electronics Engineers Publisher's website
Pages:
427-432
Publication date:
2017-01-05
Acceptance date:
2016-04-20
DOI:
Pubs id:
pubs:667209
URN:
uri:51e557c3-8e2a-4306-9fd7-98a2922a5f57
UUID:
uuid:51e557c3-8e2a-4306-9fd7-98a2922a5f57
Local pid:
pubs:667209
ISBN:
978-1-5090-2591-6

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP