Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: Author is E. Bartocci  [Clear All Filters]
2015
Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation, Islam, Md. A., Murthy A., Bartocci E., Cherry E. M., Fenton F. H., Glimm J., Smolka S. A., and Grosu R. , Theoretical Computer Science, 09/2015, Volume 599C, (2015)
2020
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems, Shmarov, F., Soudjani S., Paoletti N., Bartocci E., Lin S., Smolka S. A., and Zuliani P. , IEEE Access, (2020)