Yuki Nishimura

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Completeness of tableau calculi for two-dimensional hybrid logics Journal of Logic and Computation	2025-10-29	Paper
Agent-knowledge logic for alternative epistemic logic	2025-09-03	Paper
Control barrier functions for stochastic systems and safety-critical control designs IEEE Transactions on Automatic Control	2025-01-21	Paper
MONOTONICITY FOR MULTIOBJECTIVE ACCELERATED PROXIMAL GRADIENT METHODS Journal of the Operations Research Society of Japan	2024-03-15	Paper
Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics	2022-10-18	Paper
Local Controllability of Single-Input Nonlinear Systems Based on Deterministic Wiener Processes IEEE Transactions on Automatic Control	2020-01-28	Paper
Non-Smooth Stochastic Lyapunov Functions With Weak Extension of Viscosity Solutions	2019-03-01	Paper
Convergence rates of stochastic homogeneous systems Systems & Control Letters	2019-02-27	Paper
Global Asymptotic Stabilization of Nonlinear Deterministic Systems Using Wiener Processes IEEE Transactions on Automatic Control	2017-05-03	Paper
Stabilization by Artificial Wiener Processes IEEE Transactions on Automatic Control	2017-05-03	Paper
Stabilization by unbounded‐variation noises International Journal of Robust and Nonlinear Control	2016-12-15	Paper
Conditions for local almost sure asymptotic stability Systems & Control Letters	2016-09-09	Paper
Decay rate and <i>l</i><sup>2</sup> gain analysis for the particle swarm optimization algorithm Asian Journal of Control	2014-01-30	Paper
Analysis of particle swarm optimization algorithms with multiswarms and time-varying parameters	2012-06-04	Paper
Stochastic Asymptotic Stabilizers for Deterministic Input-Affine Systems based on Stochastic Control Lyapunov Functions	2011-12-25	Paper

Research outcomes over time

This page was built for person: Yuki Nishimura