Kevin E. M. Church

According to our database, Kevin E. M. Church authored at least 10 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Worrisome Properties of Neural Network Controllers and Their Symbolic Representations.

Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Validated integration of differential equations with state-dependent delay.

Kevin E. M. Church

Commun. Nonlinear Sci. Numer. Simul., 2022

Rigorous continuation of periodic solutions for impulsive delay differential equations.

Kevin E. M. Church, Gabriel William Duchesne

Appl. Math. Comput., 2022

2021

Invariant Manifold-Guided Impulsive Stabilization of Delay Equations.

Kevin E. M. Church, Xinzhi Liu

IEEE Trans. Autom. Control., 2021

Analysis of Pandemic Closing-Reopening Cycles Using Rigorous Homotopy Continuation: A Case Study with Montreal COVID-19 Data.

Kevin E. M. Church

SIAM J. Appl. Dyn. Syst., 2021

Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards.

Kevin E. M. Church, Clément Fortin

Int. J. Bifurc. Chaos, 2021

2019

Cost-Effective Robust Stabilization and Bifurcation Suppression.

Kevin E. M. Church, Xinzhi Liu

SIAM J. Control. Optim., 2019

User manual and tutorial for ISIM1s: a tiny MATLAB package for single stage invariant manifold-guided impulsive stabilization of delay equations.

Kevin E. M. Church

CoRR, 2019

2017

Bifurcation Analysis and Application for Impulsive Systems with Delayed Impulses.

Kevin E. M. Church, Xinzhi Liu

Int. J. Bifurc. Chaos, 2017

2016

Bifurcation of Bounded Solutions of Impulsive Differential Equations.

Kevin E. M. Church, Xinzhi Liu

Int. J. Bifurc. Chaos, 2016