The radiative transfer equation (RTE) occurs in a wide variety of applications. In this paper, we study discrete-ordinate discontinuous Galerkin methods for solving the RTE. The nu...
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
We introduce a new class of dynamic encoders for continuous-time nonlinear control systems which update their parameters only at discrete times. We prove that the information reco...
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
Vincent D. Blondel, Olivier Bournez, Pascal Koiran...
No cache based techniques for roll-forward fault recovery exist at present. A split-cache approach is proposed that provides e cient support for checkpointing and roll-forward fau...