| Publication | Date of Publication | Type |
|---|
Control barrier functions and safety-critical control with input constraints for stochastic systems
Systems & Control Letters | 2026-08-18 | Paper |
Terminating hybrid tableaus for ordered models
Journal of Logic and Computation | 2026-06-23 | Paper |
Agent-knowledge logic for alternative epistemic logic
Bulletin of the Section of Logic | 2026-04-14 | Paper |
Terminating Hybrid Tableaus for Ordered Models
(available as arXiv preprint) | 2026-01-01 | Paper |
Closure Semantics for Weak Modal Logics: Completeness and Representations
(available as arXiv preprint) | 2026-01-01 | Paper |
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 |
Complete and Terminating Tableau Calculus for Undirected Graph
(available as arXiv preprint) | 2024-01-01 | Paper |
Agent-Knowledge Logic for Alternative Epistemic Logic
(available as arXiv preprint) | 2024-01-01 | 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 |
WITHDRAWN: Non-Smooth Stochastic Lyapunov Functions With Weak Extension of Viscosity Solutions
(available as arXiv preprint) | 2019-01-01 | Paper |
Stabilization by Artificial Wiener Processes
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Global Asymptotic Stabilization of Nonlinear Deterministic Systems Using 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 |
Stochastic Asymptotic Stabilizers for Deterministic Input-Affine Systems based on Stochastic Control Lyapunov Functions
(available as arXiv preprint) | 2011-01-01 | Paper |
