Publications

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is B and Author is Cleaveland, Rance  [Clear All Filters]
Conference Paper
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability., Islam, Md. Ariful, Byrne Greg, Kong Soonho, Clarke Edmund M., Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , CMSB, (2016)  (795.28 KB)
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , 2018 IEEE Conference on Decision and Control (CDC), (2018)
Journal Article
Better Automata through Process Algebra, Cleaveland, Rance , arXiv preprint arXiv:2002.07562, (2020)