29 citations · 78 across the 18 of their papers we have counts for
5 papers · 1 filter
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…
Game-theoric approach to decision-making problem for blockchain mining
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
It is an important decision-making problem for a miner in the blockchain networks if he/she participates in the mining so that he/she earns a reward by creating a new block earlier…
Learning-based Symbolic Abstractions for Nonlinear Control Systems
Kazumune Hashimoto, Adnane Saoud, Masako Kishida +2
Symbolic models or abstractions are known to be powerful tools for the control design of cyber-physical systems (CPSs) with logic specifications. In this paper, we investigate a no…
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints
Ami Sakakibara, Toshimitsu Ushio
We consider a supervisory control problem of a discrete event system (DES) under partial observation, where a control specification is given by a fragment of linear temporal logic.…
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
This letter proposes a novel reinforcement learning method for the synthesis of a control policy satisfying a control specification described by a linear temporal logic formula. We…