20 citations · 28 across the 5 of their papers we have counts for
5 papers
Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
Yuki Nishimura
Hybrid logic is one of the extensions of modal logic. The many-dimensional product of hybrid logic is called hybrid product logic (HPL). We construct a sound and complete tableau c…
Monotonicity for Multiobjective Accelerated Proximal Gradient Methods
Yuki Nishimura, Ellen H. Fukuda, Nobuo Yamashita
Accelerated proximal gradient methods, which are also called fast iterative shrinkage-thresholding algorithms (FISTA) are known to be efficient for many applications. Recently, Tan…
Non-Smooth Stochastic Lyapunov Functions With Weak Extension of Viscosity Solutions
Yuki Nishimura, Kenta Hoshino
This paper proposes a notion of viscosity weak supersolutions to build a bridge between stochastic Lyapunov stability theory and viscosity solution theory. Different from ordinary…
Stabilization by Unbounded-Variation Noises
Yuki Nishimura
In this paper, we claim the availability of deterministic noises for stabilization of the origins of dynamical systems, provided that the noises have unbounded variations. To achie…
Stochastic Asymptotic Stabilizers for Deterministic Input-Affine Systems based on Stochastic Control Lyapunov Functions
Yuki Nishimura, Kanya Tanaka, Yuji Wakasa +1
In this paper, a stochastic asymptotic stabilization method is proposed for deterministic input-affine control systems, which are randomized by including Gaussian white noises in c…