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  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 17 of 17  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE 2023-03-17
14:35
Hiroshima JMS ASTERPLAZA
(Primary: On-site, Secondary: Online)
Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver
Engielista Anak Norman, Yoshikazu Ueda (Ibaraki Univ.) KBSE2022-67
In order to target various models in co-analysis, it is necessary to be able to select the SMT solver according to the c... [more] KBSE2022-67
pp.79-84
EE, IEE-SPC
(Joint)
2021-03-01
15:30
Online Online Modeling Method for Large Amplitude Fluctuation Characteristics of LLC Current Resonant Converter Using Linear Parameter-Varying (LPV) Plants
Hideaki Funaki, Yuichi Noge, Masahito Shoyama (Kyushu Univ.), Yu Yonezawa, Yoshiyasu Nakashima (FUJITSU Advanced Technologies) EE2020-41
(To be available after the conference date) [more] EE2020-41
pp.7-12
MSS, NLP
(Joint)
2020-03-10
15:45
Aichi  
(Cancelled but technical report was issued)
Temporal Logic Falsification for Simulink models based on the hybrid robustness using ChainerRL
Ryota Owaki, Shoji Yuen (NU) MSS2019-67
We present a method of falsification for the hybrid property of Simulink model using deep reinforcement learning. This s... [more] MSS2019-67
pp.53-58
EA, US
(Joint)
2020-01-22
14:00
Kyoto Doshisha Univ. [Poster Presentation] Observations of non-audible sound from carbon fiber materials and implementation of frequency shift to the range of audibility signals using multirate techniques
Yuta Hayashi, Yoji Yamada (NIT, Ishikawa College) EA2019-97
This paper describes observation results of the breaking sound of carbon fiber reinforced plastics (CFRP) materials. A m... [more] EA2019-97
pp.77-81
NLP, MSS
(Joint)
2019-03-14
12:55
Fukui Bunkyo Camp., Univ. of Fukui Experiment on SMT-LIB Encoding Methods for Simulink Models
Koki Takenaka, Daisuke Ishii (U. Fukui) MSS2018-82
Static analysis is useful for coverage testing etc. for Simulink models as for general-purpose programs. In this work, w... [more] MSS2018-82
pp.7-11
NLP, MSS
(Joint)
2019-03-15
15:55
Fukui Bunkyo Camp., Univ. of Fukui A derivation of weighted transition system for Simulink models from simulation results
Ryota Owaki (Nagoya Univ), Shoji Yuen (Nagooya Univ) MSS2018-95
We propose a method to generate a symbolic weighted transition system
from a Simulink model description. Continuous va... [more]
MSS2018-95
pp.75-80
EE, WPT, IEE-SPC 2018-07-02
10:15
Hokkaido Hokkaido University Automatic Derivation Method for Transfer Function of LLC Current Resonant Converter Using Numerical Calculation
Takuma Sagara, Masahito Shoyama (Kyushu Univ.), Yu Yonezawa, Yoshiyasu Nakashima (Fujitsu laboratories) EE2018-11
The authors previously proposed derivation method for LLC current resonant converter by using numerical calculation. Ho... [more] EE2018-11
pp.17-22
KBSE 2013-03-14
10:40
Tokyo Shibaura Institute of Technology A Characteristics Analysis Support Tool for Simulink Model Quality and its Application
Tsubasa Sasaki, Kengo Minegishi, Yoshikazu Ueda (Ibaraki Univ.) KBSE2012-70
In the development of embedded system, Simulink model-based development has attracted attention.
Accordingly, quantitat... [more]
KBSE2012-70
pp.7-12
SS 2013-01-11
09:30
Okinawa   Research on the clustering towards the improvement in conservativeness of a Simulink model, and bidirectional conversion with an UML model
Takayuki Ozawa, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.)
Simulink model is suitable for embedded software development. On the other hand, it is difficult to fix, often tend to b... [more] SS2012-54
pp.49-53
KBSE, SS 2012-07-27
11:30
Hokkaido Future University Hakodate Graph-based Detection of Imperfect-Matching Clones in Simulink Models
Hironori Washizaki, Shinichi Murakami, Yoshiaki Fukazawa (Waseda U.) SS2012-11 KBSE2012-13
Simulink models represent program as block diagrams for usually control system design. In large scale models or a large ... [more] SS2012-11 KBSE2012-13
pp.7-12
KBSE, SS 2012-07-28
14:50
Hokkaido Future University Hakodate A method to evaluate structure of Simulink model based on subsystem boundary information
Takatoshi Kobayashi, Takashi Kobayashi (Nagoya Univ.), Takayuki Kubo (AISIN AW), Kiyoshi Agusa (Kyoto Univ.) SS2012-30 KBSE2012-32
{MATLAB/Simulink} is widely used in model based development of embedded software for the modeling and simulation of syst... [more] SS2012-30 KBSE2012-32
pp.121-126
SS 2011-03-07
13:30
Okinawa Okinawa-ken Seinen Kaikan A Simulink to UML Model Transformation Tool with a Function to Generate Behavioral Models
Masayoshi Tamura, Tatsuya Kamiyama, Takahiro Soeda, Myungryun Yoo, Takanori Yokoyama (TCU) SS2010-60
The paper presents a method and a tool to transform Simulink models into UML models of embedded control software. In the... [more] SS2010-60
pp.43-48
RECONF 2010-05-14
09:55
Nagasaki   An FPGA Implementation of Tracking Control System with Vibration Control
Yasuaki Tezuka, Shuichi Ichikawa, Yoshiyuki Noda (TUT) RECONF2010-11
Recent control systems are required to finish massive and complex
calculations in a very short period. Hardware impleme... [more]
RECONF2010-11
pp.57-62
SS 2009-10-16
10:30
Nagano Shinshu University A Study of Model Transformation Method Between UML and Simulink
Satoshi Yoshida, Yoshikazu Ueda (Ibaraki Univ.), Shin Nakajima (NII) SS2009-33
Simulink, widely used in the development of embedded systems, is able to generate code automatically and simulate system... [more] SS2009-33
pp.25-30
VLD, CPSY, RECONF, DC, IPSJ-SLDM, IPSJ-ARC
(Joint) [detail]
2007-11-20
16:50
Fukuoka Kitakyushu International Conference Center The Evaluation of High-speed Serial Communication System by Using FTN Simulation Technology
Takashi Takemoto, Goichi Ono, Koji Fukuda, Fumio Yuki, Ryo Nemoto, Eiichi Suzuki, Masayoshi Yagyu, Hiroki Yamashita, Tatsuya Saito (Hitachi) CPSY2007-39
We describe a FTN simulation technology for high-speed serial interface which is high-accuracy behavior model based on a... [more] CPSY2007-39
pp.25-30
R 2007-10-19
15:15
Fukuoka Kyushu University Development of simulator of pressure control system for air-conditioning equipment in design review stage
Kazuho Hirama (Waseda Univ.), Nobuhiro Tanaka, Takayuki Miyake (MEC), Shigeyuki Tateno, Hisayoshi Matsuyama (Waseda Univ.) R2007-42
In an environment, such as clean rooms, in order to maintain quality of products, it is necessary manage room pressure s... [more] R2007-42
pp.31-36
R 2005-10-28
14:55
Fukuoka Kyushu University A study on design review of control performance of air conditioning system to prevent room pressure change troubles
Takamitsu Koike, Shigeyuki Tateno, Hisayoshi Matsuyama (Waswda Univ)
It is very important to keep pressure differences among the rooms with different cleanness in pharmaceutical factories, ... [more] R2005-33
pp.17-20
 Results 1 - 17 of 17  /   
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