Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
RCC (2nd) |
2013-11-21 13:35 |
Osaka |
Umeda Satellite(Graduate School for Creative Cities and Academic Ex |
Optimal Control of Multi-Hop Control Networks Based on MLD Systems Koichi Kobayashi, Kunihiko Hiraishi (JAIST) |
[more] |
|
SIP, CAS, MSS, VLD |
2013-07-11 08:50 |
Kumamoto |
Kumamoto Univ. |
Event-log Based Analysis of Physical and Adaptive Intelligent Services Takanori Jinda, Wataru Aoto, Akikazu Miyazaki, Sunseong Choe, Koichi Kobayashi, Kunihiko Hiraishi, Naoshi Uchihira (JAIST) CAS2013-1 VLD2013-11 SIP2013-31 MSS2013-1 |
[more] |
CAS2013-1 VLD2013-11 SIP2013-31 MSS2013-1 pp.1-8 |
SIP, CAS, MSS, VLD |
2013-07-11 09:10 |
Kumamoto |
Kumamoto Univ. |
Optimal Control of Networked Control Systems with Multiple Uncertain Delays Koichi Kobayashi, Kunihiko Hiraishi (JAIST) CAS2013-2 VLD2013-12 SIP2013-32 MSS2013-2 |
A networked control system (NCS) is a control system in which plants, sensors, controllers, and actuators are connected ... [more] |
CAS2013-2 VLD2013-12 SIP2013-32 MSS2013-2 pp.9-14 |
ASN, IPSJ-UBI |
2013-05-17 15:10 |
Kumamoto |
Kumamoto University |
A Study on Spatial Reuse in Wireless Local Broadcasting Services Youiti Kado, Kunihiko Hiraishi, Lim Azman Osman, Yasuo Tan (JAIST) ASN2013-45 |
[more] |
ASN2013-45 pp.293-298 |
MSS, SS |
2013-03-06 15:50 |
Fukuoka |
Shikanoshima |
Temporal-Spatial Collaboration by Smart Voice Messaging in Nursing and Caregiving
-- System Architecture and Experimental Results -- Naoshi Uchihira, Kentaro Torii (Toshiba), Yuji Hirabayashi (Shimizu Corporation), Sunseong Choe, Kunihiko Hiraishi (JAIST), Tetsuro Chino (Toshiba), Taro Sugihara (JAIST) MSS2012-66 SS2012-66 |
We have been developing a temporal-spatial collaboration system by smart voice messaging in nursing and caregiving as on... [more] |
MSS2012-66 SS2012-66 p.43 |
MSS, SS |
2013-03-07 09:30 |
Fukuoka |
Shikanoshima |
Discrete Abstraction of Stochastic Hybrid Systems
-- Application to Analysis of Genetic Toggle Switches -- Yasuhito Fukui, Koichi Kobayashi, Kunihiko Hiraishi (JAIST) MSS2012-72 SS2012-72 |
In this paper, for a class of stochastic hybrid systems, a computation method of discrete abstractions is proposed based... [more] |
MSS2012-72 SS2012-72 pp.75-79 |
MSS |
2013-01-23 11:05 |
Osaka |
Osaka Int. Convention Center |
Self-Triggered Optimal Control of Linear Systems Focusing on Prediction Horizon One Koichi Kobayashi, Kunihiko Hiraishi (JAIST) MSS2012-53 |
Self-triggered control is a control method that the control input and the sampling period are computed simultaneously in... [more] |
MSS2012-53 pp.45-48 |
MSS, CAS |
2012-11-01 15:50 |
Iwate |
Iwate University |
Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi (JAIST) CAS2012-55 MSS2012-35 |
In a previous paper by the authors, a new scheme for the diagnosis of stochastic discrete event systems is proposed. Fro... [more] |
CAS2012-55 MSS2012-35 pp.29-34 |
VLD, CAS, MSS, SIP |
2012-07-03 16:30 |
Kyoto |
Kyoto Research Park |
Computation Method for Optimal Control of Large-Scale Systems with Discrete-Valued Inputs Koichi Kobayashi, Kunihiko Hiraishi (JAIST) CAS2012-29 VLD2012-39 SIP2012-61 MSS2012-29 |
In this paper, a solution method is proposed for large-scale systems with continuous-valued control inputs and discrete-... [more] |
CAS2012-29 VLD2012-39 SIP2012-61 MSS2012-29 pp.155-158 |
MSS |
2012-03-08 14:45 |
Tokyo |
JAIST Tokyo Satellite |
Experimental Evaluation of Smart Voice Messaging in Nursing and Caregiving Services Using Virtual Field Sunseong Choe, Kunihiko Hiraishi (JAIST), Naoshi Uchihira, Kentaro Torii, Toshiaki Tanaka (Toshiba), Yuji Hirabayashi (Shimizu) MSS2011-75 |
We have been developing a stress-free information assisting system based on smart voice messaging. In this paper, we rep... [more] |
MSS2011-75 pp.17-22 |
SS, MSS |
2012-01-26 09:30 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Temporal-Spatial Communication by Smart Voice Messaging in Nursing and Caregiving
-- Proposal of Information Supervisory Control -- Naoshi Uchihira, Kentaro Torii (Toshiba), Kunihiko Hiraishi, Sunseong Choe, Tetsuro Chino (JAIST), Yuji Hirabayashi (Shimizu Corp.), Taro Sugihara (JAIST) MSS2011-54 SS2011-39 |
We have been developing a temporal-spatial communication system by smart voice messaging in nursing and caregiving as on... [more] |
MSS2011-54 SS2011-39 p.1 |
CAS, MSS |
2011-11-17 15:40 |
Yamaguchi |
Univ. of Yamaguchi |
Toward Modeling of Complex Processes in Nursing and Caregiving Services Kunihiko Hiraishi, Sunseong Choe (JAIST), Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka (Toshiba) CAS2011-70 MSS2011-39 |
From 2010, JST/RISTEX started a new R & D program “Service Science, Solutions and Foundation Integrated Research Program... [more] |
CAS2011-70 MSS2011-39 pp.35-40 |
MSS, CAS, VLD, SIP |
2011-07-01 09:00 |
Okinawa |
Okinawa-Ken-Seinen-Kaikan |
Model Predictive Control for Hybrid Systems
-- Approximate Precomputation Based on Transition Relations -- Sunseong Choe, Kunihiko Hiraishi, Koichi Kobayashi (JAIST) CAS2011-17 VLD2011-24 SIP2011-46 MSS2011-17 |
In this paper, we propose an approximate precomputation algorithm by using graph representations of transition-approxima... [more] |
CAS2011-17 VLD2011-24 SIP2011-46 MSS2011-17 pp.97-102 |
MSS, CAS, VLD, SIP |
2011-07-01 10:50 |
Okinawa |
Okinawa-Ken-Seinen-Kaikan |
[Panel Discussion]
Toward new developments of System and Signal Processing Subsociety Nagisa Ishiura (Kwansei Gakuin Univ.), Mitsunori Makino (Chuo Univ.), Kimiyoshi Usami (Shibaura Institute of Technology), Isao Yamada (Tokyo Institute of Technology), Kunihiko Hiraishi (JAIST), Shingo Yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Toyama Pref. Univ.) CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 |
[more] |
CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 p.127 |
MSS |
2009-08-06 15:20 |
Tokyo |
JAIST Tokyo Campus |
Polynomial-time Algorithm for Controllability Test of Boolean Networks Koichi Kobayashi (JAIST), Jun-ichi Imura (Tokyo Inst. of Tech.), Kunihiko Hiraishi (JAIST) CST2009-14 |
This paper proposes a polynomial-time algorithm to determine if a Boolean network with control nodes and controlled node... [more] |
CST2009-14 pp.13-18 |
MSS |
2008-06-02 13:00 |
Aichi |
Nagoyo University, Noyori Conference Hall |
[Invited Talk]
System Verification Using Fluidification Kunihiko Hiraishi (JAIST) CST2008-2 |
State space explosion is one of difficulties in analysis and
verification of large systems with discrete states. Fluidi... [more] |
CST2008-2 pp.7-12 |
CAS, MSS |
2006-11-21 09:50 |
Nagasaki |
Nagasaki Univ. |
Performance Evaluation of Workflows Using Continuous Approximation Kunihiko Hiraishi (JAIST) |
[more] |
CAS2006-56 CST2006-32 pp.7-12 |
ET |
2006-11-18 10:50 |
Ishikawa |
|
The Bounty System using IC cards in an Educational Environment Masanori Okada (Kanazawa Gakuin Univ.), Kunihiko Hiraishi (Jaist), Kazuo Nakanishi (Kanazawa Gakuin Univ.), Susumu Kunifuji (Jaist) |
[more] |
ET2006-54 pp.19-24 |
MSS |
2006-06-01 14:05 |
Ishikawa |
Ishikawa Science Park |
An Improvement of Mixed Logical Dynamical System Representation Sunseong Choe, Kunihiko Hiraishi (JAIST) |
[more] |
CST2006-2 pp.7-11 |