TY - GEN
T1 - Poster Abstract
T2 - 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024
AU - Bals, Severin
AU - Evangelidis, Alexandros
AU - Křetínský, Jan
AU - Waibel, Jakob
N1 - Publisher Copyright:
© 2024 Copyright held by the owner/author(s).
PY - 2024/5/14
Y1 - 2024/5/14
N2 - We present MultiGain 2.0, a major extension to the controller synthesis tool MultiGain, built on top of the probabilistic model checker PRISM. This new version extends MultiGain’s multi-objective capabilities, by allowing for the formal verification and synthesis of controllers for probabilistic systems with multidimensional long-run average reward structures, steady-state constraints, and linear temporal logic properties. Additionally, MultiGain 2.0 can modify the underlying linear program to prevent unbounded-memory and other unintuitive solutions and visualizes Pareto curves, in the two- and three-dimensional cases, to facilitate trade-off analysis in multi-objective scenarios.
AB - We present MultiGain 2.0, a major extension to the controller synthesis tool MultiGain, built on top of the probabilistic model checker PRISM. This new version extends MultiGain’s multi-objective capabilities, by allowing for the formal verification and synthesis of controllers for probabilistic systems with multidimensional long-run average reward structures, steady-state constraints, and linear temporal logic properties. Additionally, MultiGain 2.0 can modify the underlying linear program to prevent unbounded-memory and other unintuitive solutions and visualizes Pareto curves, in the two- and three-dimensional cases, to facilitate trade-off analysis in multi-objective scenarios.
KW - controller synthesis
KW - Markov decision process
KW - probabilistic model checking
KW - quantitative verification
UR - http://www.scopus.com/inward/record.url?scp=85193841998&partnerID=8YFLogxK
U2 - 10.1145/3641513.3652535
DO - 10.1145/3641513.3652535
M3 - Conference contribution
AN - SCOPUS:85193841998
T3 - HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week
BT - HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems
PB - Association for Computing Machinery, Inc
Y2 - 13 May 2024 through 16 May 2024
ER -