24 citations · 27 across the 7 of their papers we have counts for
7 papers
Contract-Based Decomposition of Temporal Logic Specifications for Networked Systems under Arbitrary Partitions
Kodai Kanno, Kenta Hoshino, Takeshi Hatanaka
Computational complexity is an inherent limitation of formal synthesis for networked systems, and decomposing the global specification into local ones relaxes this limitation at th…
World-Coherent Decoding: Self-Verifying Test-Time Planning for World Action Models
Chuhan Zhang, Seiji Ito, Kenta Hoshino +2
World Action Models (WAMs) aim to control robots by stochastically generating visual futures and then decoding actions, but empirical observations indicate that the results can str…
Stochastic Safety-critical Control Compensating Safety Probability for Marine Vessel Tracking
Too Matsuo, Yuki Nishimura, Kenta Hoshino +1
A marine vessel is a nonlinear system subject to irregular disturbances such as wind and waves, which cause tracking errors between the nominal and actual trajectories. In this stu…
Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions
Sotaro Fushimi, Kenta Hoshino, Yuki Nishimura
This paper presents a safe controller synthesis of discrete-time stochastic systems using Control Barrier Functions (CBFs). The proposed condition allows the design of a safe contr…
Benchmarking Actor-Critic Deep Reinforcement Learning Algorithms for Robotics Control with Action Constraints
Kazumi Kasaura, Shuwa Miura, Tadashi Kozuno +3
This study presents a benchmark for evaluating action-constrained reinforcement learning (RL) algorithms. In action-constrained RL, each action taken by the learning system must co…
Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
Yuki Nishimura, Kenta Hoshino
In recent years, the analysis of a control barrier function has received considerable attention because it is helpful for the safety-critical control required in many control appli…
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…