Data-Driven Robust Control for a Closed-Loop Artificial Pancreas,
Paoletti, N., Liu K. S., Chen H., Smolka S. A., and Lin S.
, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 11/2020, Volume 17, Issue 6, (2020)
Excitable dynamics in neural and cardiac systems,
Barrio, Roberto, Coombes Stephen, Desroches Mathieu, Fenton Flavio, Luther Stefan, and Pueyo Esther
, Communications in Nonlinear Science and Numerical Simulation, 07/2020, Volume 86, (2020)
Next-Generation Lagrangian Reachtubes,
Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R.
, Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)
Swarm Model Checking on the GPU,
DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A.
, International Journal on Software Tools for Technology Transfer, (2020)
Temporal-logic query checking over finite data streams,
Huang, Samuel, and Cleaveland Rance
, International Conference on Formal Methods for Industrial Critical Systems, (2020)
Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level,
Huang, Samuel, Diep Madeline, Jang Kuk, Cherry Elizabeth M., Fenton Flavio H., Cleaveland Rance, Lindvall Mikael, Mangharam Rahul, and Porter Adam
, CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, (2020)