activity
20172022
most citedCollaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments

7 citations · 9 across the 7 of their papers we have counts for

collaborators

13 papers

eess.SY20221 cited

A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes

Wang Zhijun, Kazumune Hashimoto, Wataru Hashimoto +1

This paper investigates the design of self-triggered control for networked control systems (NCS), where the dynamics of the plant is unknown apriori. To deal with the nature of the…

eess.SY20217 cited

Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments

Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio

This paper investigates a collaborative rover-copter path planning and exploration with temporal logic specifications under uncertain environments. The objective of the rover is to…

math.OC2020

Event-Triggered Control for Mitigating SIS Spreading Processes

Kazumune Hashimoto, Yuga Onoue, Masaki Ogura +1

In this paper, we investigate the problem of designing event-triggered controllers for containing epidemic processes in complex networks. We focus on a deterministic susceptible-in…

math.OC2020

Safe and active parameter exploration for event-triggered control

Kazumune Hashimoto

This paper presents a framework of learning parameter space for event-triggered control. In particular, our goal is to find a set of parameters for the event-triggered condition, s…

eess.SY2019

Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints

Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio

This paper presents a novel method of synthesizing a fragment of a timed discrete event system(TDES),introducing a novel linear temporal logic(LTL), called ticked LTL. The tick…

eess.SY2019

Learning self-triggered controllers with Gaussian processes

Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio

This paper investigates the design of self-triggered controllers for networked control systems (NCSs), where the dynamics of the plant is \textit{unknown} apriori. To deal with the…