Kevin E. M. Church

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Symbolic Representation

Riemannian Metric

Top Venues

Int. J. Bifurc. Chaos

SIAM J. Appl. Dyn. Syst.

Appl. Math. Comput.

Publications

Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. CoRR (2023)
Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. ECAI (2023)
Kevin E. M. Church, Gabriel William Duchesne
Rigorous continuation of periodic solutions for impulsive delay differential equations. Appl. Math. Comput. 415 (2022)
Kevin E. M. Church
Validated integration of differential equations with state-dependent delay. Commun. Nonlinear Sci. Numer. Simul. 115 (2022)
Kevin E. M. Church, Xinzhi Liu
Invariant Manifold-Guided Impulsive Stabilization of Delay Equations. IEEE Trans. Autom. Control. 66 (12) (2021)
Kevin E. M. Church
Analysis of Pandemic Closing-Reopening Cycles Using Rigorous Homotopy Continuation: A Case Study with Montreal COVID-19 Data. SIAM J. Appl. Dyn. Syst. 20 (2) (2021)
Kevin E. M. Church, Clément Fortin
Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards. Int. J. Bifurc. Chaos 31 (8) (2021)
Kevin E. M. Church, Xinzhi Liu
Cost-Effective Robust Stabilization and Bifurcation Suppression. SIAM J. Control. Optim. 57 (3) (2019)
Kevin E. M. Church
User manual and tutorial for ISIM1s: a tiny MATLAB package for single stage invariant manifold-guided impulsive stabilization of delay equations. CoRR (2019)
Kevin E. M. Church, Xinzhi Liu
Bifurcation Analysis and Application for Impulsive Systems with Delayed Impulses. Int. J. Bifurc. Chaos 27 (12) (2017)
Kevin E. M. Church, Xinzhi Liu
Bifurcation of Bounded Solutions of Impulsive Differential Equations. Int. J. Bifurc. Chaos 26 (14) (2016)