Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques

DOI10.1007/978-3-319-26916-0_7zbMath1412.92150OpenAlexW2109527175MaRDI QIDQ5376906

Alexandru Mereacre, Andrea Patanè, Marta Kwiatkowska, Nicola Paoletti

Publication date: 21 May 2019

Published in: Hybrid Systems Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-26916-0_7

zbMATH Keywords

cardiac pacemakersrobust and optimal parameter synthesissymbolic and evolutionary computation

Mathematics Subject Classification ID

Medical applications (general) (92C50) Computational methods for problems pertaining to biology (92-08) Systems biology, networks (92C42)

Related Items (3)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions ⋮ Unnamed Item ⋮ Timed automata relaxation for reachability

This page was built for publication: Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques