Kevin E. M. Church

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