IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 91  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
MSS, SS 2023-01-10
16:50
Osaka
(Primary: On-site, Secondary: Online)
Distributed traffic event detection mechanism based on collective decision making
Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.)
 [more]
CAS, SIP, VLD, MSS 2022-06-16
10:00
Aomori Hachinohe Institute of Technology
(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 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 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 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 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 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 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 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 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 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  
(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  
(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 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. 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. 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 [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 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
NLP, MSS
(Joint)
2019-03-14
13:45
Fukui Bunkyo Camp., Univ. of Fukui Stabilization of Nonlinear Systems with Uncertain Input Delays Using Deep Reinforcement Learning
Junya Ikemoto, Toshimitsu Ushio (Osaka Univ) NLP2018-126
 [more] NLP2018-126
pp.13-16
MSS, SS 2019-01-15
13:05
Okinawa   A Study on Control Specifications Using LTL[F] for Supervisory Control
Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.) MSS2018-58 SS2018-29
LTL[$ mathcal{F} $] is a quantitative extension of linear temporal logic, whose evaluations are based on how well a spec... [more] MSS2018-58 SS2018-29
pp.25-28
 Results 1 - 20 of 91  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan