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 |