Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, CAS, IPSJ-AL [detail] |
2023-11-16 11:15 |
Okinawa |
(Okinawa) |
[Invited Talk]
Optimal Package Delivery Problem of Heterogeneous Multi-Robot Systems under Two-layered Linear Temporal Logic Constraints Kotaro Nagae (Osaka Univ.), Toshimitsu Ushio (Nanzan Univ.) CAS2023-60 MSS2023-30 |
We address an optimal package delivery problem for heterogeneous multi-robot system that consists of robots with differe... [more] |
CAS2023-60 MSS2023-30 pp.1-6 |
MSS, CAS, IPSJ-AL [detail] |
2023-11-16 17:30 |
Okinawa |
(Okinawa) |
Discrete-time Safe Control with Computational Delay Using High-order Control Barrier Function Toshimitsu Ushio (Nanzan Univ.) CAS2023-73 MSS2023-43 |
In safe digital control, an effect of a computational delay on the safety is an important problem. In this report, it is... [more] |
CAS2023-73 MSS2023-43 pp.69-74 |
MSS, SS |
2023-01-10 16:50 |
Osaka |
(Osaka, Online) (Primary: On-site, Secondary: Online) |
Distributed Traffic Event Detection Mechanism Based on Collective Decision Making Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) MSS2022-51 SS2022-36 |
Traffic accidents and congestion have become serious problems in the last decades. For realizing safe and effective tran... [more] |
MSS2022-51 SS2022-36 pp.37-41 |
CAS, SIP, VLD, MSS |
2022-06-16 10:00 |
Aomori |
Hachinohe Institute of Technology (Aomori, Online) (Primary: On-site, Secondary: Online) |
Path Planning of Heterogeneous Multi-robot Systems Satisfying a Counting Temporal Logics Constraint Kotaro Nagae, Toshimitsu Ushio (Osaka Univ.) CAS2022-1 VLD2022-1 SIP2022-32 MSS2022-1 |
We propose a path planning method for heterogeneous multi-robot systems using counting temporal logic. The cLTL+ has eno... [more] |
CAS2022-1 VLD2022-1 SIP2022-32 MSS2022-1 pp.1-6 |
MSS, NLP |
2022-03-28 09:15 |
Online |
Online (Online) |
Shield Synthesis for Opacity-Enforcing Planning Koki Kanashima, Toshimitsu Ushio (Osaka Univ.) MSS2021-55 NLP2021-126 |
Opacity is one of the hyperproperties that can be expressed using hyperLTL. Consider a secret and an observation on a tr... [more] |
MSS2021-55 NLP2021-126 pp.1-6 |
MSS, NLP |
2022-03-29 13:25 |
Online |
Online (Online) |
Evolutionary game-based modeling of decision-making of miners in blockchain Kosuke Toda, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) MSS2021-75 NLP2021-146 |
An electric bill for mining in blockchain depends on situations of electric power systems in territories while a reward ... [more] |
MSS2021-75 NLP2021-146 pp.105-110 |
MSS, CAS, IPSJ-AL [detail] |
2021-11-19 11:20 |
Online |
Online (Online) |
Bounded synthesis based reinforcement learning of optimal path for surveillance robots under LTL specifications Ryohei Oura, Toshimitsu Ushio (Osaka Univ) CAS2021-49 MSS2021-29 |
[more] |
CAS2021-49 MSS2021-29 pp.70-75 |
SIP, CAS, VLD, MSS |
2021-07-06 11:40 |
Online |
Online (Online) |
Visitor Route Planning in An Amusement Park Using Counting Temporal Logic Kotaro Nagae, Toshimitsu Ushio (Osaka Univ.) CAS2021-13 VLD2021-13 SIP2021-23 MSS2021-13 |
In this paper, we propose a method for determining the route of visitors in an amusement park that avoids congestion usi... [more] |
CAS2021-13 VLD2021-13 SIP2021-23 MSS2021-13 pp.64-69 |
NLP, MSS (Joint) |
2021-03-15 15:20 |
Online |
Online (Online) |
Attack Detection Using an Unknown Input Observer for Cooperative Adaptive Cruise Control System Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) MSS2020-48 |
Cyber attacks targeting cooperative adaptive cruise control (CACC) systems have become a serious problem. Some attackers... [more] |
MSS2020-48 pp.22-26 |
NLP, MSS (Joint) |
2021-03-16 09:40 |
Online |
Online (Online) |
Pinning consensus control of a group of quadrotors modeled by a directed acyclic graph Akinori Sakaguchi, Toshimitsu Ushio (Osaka Univ.) MSS2020-50 |
In this study, we consider a pinning consensus control problem with a given altitude for a group of heterogeneous quadro... [more] |
MSS2020-50 pp.33-36 |
MSS, SS |
2021-01-27 13:50 |
Online |
Online (Online) |
Deep Reinforcement Learning based Networked Control under Limited Transmission of Observed Data Takahiro Kozuka, Kazumune Hashimoto, Toshimitsu Ushio (Osaka Univ.) MSS2020-38 SS2020-23 |
In this report, we consider a networked control system under channel constrains. Our purpose is to optimize both control... [more] |
MSS2020-38 SS2020-23 pp.54-59 |
MSS, CAS, IPSJ-AL [detail] |
2020-11-26 15:25 |
Online |
Online (Online) |
Analysis of Decision-making Problem for Blockchain Mining
-- 3-miner Case -- Kosuke Toda, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) CAS2020-34 MSS2020-26 |
It is an important decision-making problem for a miner in blockchain networks if he/she does mining so that he/she earns... [more] |
CAS2020-34 MSS2020-26 pp.85-90 |
NLP |
2020-09-10 15:20 |
Online |
Online (Online) |
Fallback Control for Networked Drone Control Systems with False Injection Attacks Naomi Kuze, Yuto Fujikawa, Toshimitsu Ushio (Osaka Univ.) NLP2020-30 |
[more] |
NLP2020-30 pp.39-44 |
MSS, NLP (Joint) |
2020-03-10 16:10 |
Aichi |
(Aichi) (Cancelled but technical report was issued) |
Reinforcement learning in goods transportation for an autonomous vehicle with co-safe temporal logic specifications Jian Mi, Toshimitsu Ushio (Osaka Univ.) MSS2019-68 |
[more] |
MSS2019-68 pp.59-64 |
MSS, NLP (Joint) |
2020-03-10 17:10 |
Aichi |
(Aichi) (Cancelled but technical report was issued) |
An Application of Deep Reinforcement Learning to Networked Control Under Communication Channel Constraints Takahiro Kozuka, Kazumune Hashimoto, Toshimitsu Ushio (Osaka Univ.) NLP2019-132 |
In this report, we consider a networked control system under channel constrains. Our purpose is to optimize both control... [more] |
NLP2019-132 pp.109-113 |
NLP, NC (Joint) |
2020-01-25 10:50 |
Okinawa |
Miyakojima Marine Terminal (Okinawa) |
Oscillations of A Drone with A Tilting Frame using Parallel Link Mechanism Akinori Sakaguchi, Toshimitsu Ushio (Osaka Univ.) NLP2019-105 |
[more] |
NLP2019-105 pp.105-108 |
CCS |
2019-11-15 09:30 |
Hyogo |
Kobe Univ. (Hyogo) |
An application of reinforcement learning in anti-jamming mechanism of mobile robot path planning with co-safe temporal logic specifications Jian Mi, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) CCS2019-29 |
This paper provides a method for mobile robot path planning with syntactically co-safe Linear Temporal Logic (scLTL) spe... [more] |
CCS2019-29 pp.23-28 |
MSS, CAS, SIP, VLD |
2019-07-31 13:25 |
Iwate |
Iwate Univ. (Iwate) |
Policy Gradient Lagging Anchor for Concurrent Game Shiyao Ding, Toshimitsu Ushio (Osaka Univ.) CAS2019-16 VLD2019-22 SIP2019-32 MSS2019-16 |
[more] |
CAS2019-16 VLD2019-22 SIP2019-32 MSS2019-16 pp.67-70 |
CCS, NLP |
2019-06-07 16:45 |
Niigata |
machinaka campus nagaoka (Niigata) |
[Invited Talk]
Formal Method and Reinforcement Learning for Control of Cyber-Physical Systems Toshimitsu Ushio (Osaka Univ.) NLP2019-27 CCS2019-10 |
[more] |
NLP2019-27 CCS2019-10 pp.49-50 |
NLP, MSS (Joint) |
2019-03-14 15:10 |
Fukui |
Bunkyo Camp., Univ. of Fukui (Fukui) |
On Stability of Consensus Control of Discrete-time Multi-agent Systems by a Single Pinning Agent Dongwu Xu, Toshimitsu Ushio (Osaka Univ.) MSS2018-87 |
In this report, we consider the consensus problem of discrete-time multi-agent systems with a pinning control method. We... [more] |
MSS2018-87 pp.35-38 |