Conference item icon

Conference item

RODES: A robust-design synthesis tool for probabilistic systems

Abstract:

We introduce RODES – a tool for the synthesis of probabilistic systems that satisfy strict reliability and performance requirements, are Pareto-optimal with respect to a set of optimisation objectives, and are robust to variations in the system parameters. Given the design space of a system (modelled as a parametric continuous-time Markov chain), RODES generates system designs with low sensitivity to required tolerance levels for the system parameters. As such, RODES can be used to identify a...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-66335-7_20

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Trinity College
Role:
Author
Publisher:
Springer, Cham Publisher's website
Journal:
Quantitative Evaluation of SysTems (QEST) 2017 Journal website
Volume:
10503
Pages:
304-308
Series:
Lecture Notes in Computer Science
Host title:
QEST 2017: Quantitative Evaluation of Systems
Publication date:
2017-08-11
Acceptance date:
2017-06-23
DOI:
ISSN:
0302-974
Source identifiers:
726245
ISBN:
9783319663340
Pubs id:
pubs:726245
UUID:
uuid:36a5e459-4c9d-4dfc-b832-045e01717155
Local pid:
pubs:726245
Deposit date:
2017-09-11

Terms of use


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