136 citations · 169 across the 27 of their papers we have counts for
5 papers · 1 filter
Synthesis of Event-triggered Controllers for SIRS Epidemic Models
Lichen Ding, Kazumune Hashimoto, Shigemasa Takai
In this paper, we investigate the problem of mitigating epidemics by applying an event-triggered control strategy. We consider a susceptible-infected-removed-susceptible (SIRS) mod…
Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms
Akifumi Wachi, Wataru Hashimoto, Xun Shen +1
Safe exploration is essential for the practical use of reinforcement learning (RL) in many real-world scenarios. In this paper, we present a generalized safe exploration (GSE) prob…
Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors
Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi +3
In this paper, we consider a way to safely navigate the robots in unknown environments using measurement data from sensory devices. The control barrier function (CBF) is one of the…
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka
This study considers the control problem with signal temporal logic (STL) specifications. Prior works have adopted smoothing techniques to address this problem within a feasible ti…
STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka
Signal temporal logic (STL) is a powerful formalism for specifying various temporal properties in dynamical systems. However, existing methods, such as mixed-integer programming an…