Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
VLD, CAS, MSS, SIP |
2012-07-03 15:00 |
Kyoto |
Kyoto Research Park |
A Study of Car Control and Assignment Problem in MCE Systems Using Mixed Integer Programming Tatsuya Minegishi, Toshiyuki Miyamoto (Osaka Univ.) CAS2012-25 VLD2012-35 SIP2012-57 MSS2012-25 |
As the height of building grows, a request to enhance its transportation capacity has been increasing.
One of the solut... [more] |
CAS2012-25 VLD2012-35 SIP2012-57 MSS2012-25 pp.133-138 |
SS, MSS |
2012-01-26 11:45 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
A Study for Bounded Model Checking of UML State Machines Using SMT Solvers Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-58 SS2011-43 |
Recently, SAT-based bounded model checking has received attention as an efficient symbolic model checking technique. It ... [more] |
MSS2011-58 SS2011-43 pp.21-26 |
SS, MSS |
2012-01-26 13:15 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-59 SS2011-44 |
On developing information system, the methodology to realize required specications by combine unit parts of system calle... [more] |
MSS2011-59 SS2011-44 pp.27-32 |
CAS, MSS |
2011-11-18 11:40 |
Yamaguchi |
Univ. of Yamaguchi |
A UML Subset for Design and Verification of Systems Based on SOA Yasuwo Hasegawa, Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) CAS2011-79 MSS2011-48 |
SOA has received attension as an architecture which enables developping information systems in a short time. For efficie... [more] |
CAS2011-79 MSS2011-48 pp.89-94 |
MSS |
2011-01-20 09:35 |
Yamaguchi |
Kaikyo-Messe-Shimonoseki |
CST solution competition 2010
-- Optimization of Multi-Car Elevator Controllers -- Masaki Nakamura (Kanazawa Univ.), Tatsushi Yamasaki (Setsunan Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Corp.) CST2010-57 |
[more] |
CST2010-57 pp.1-4 |
MSS |
2011-01-20 13:20 |
Yamaguchi |
Kaikyo-Messe-Shimonoseki |
Reinforcement Learning with Conditioned Rule Updating to Prevent Conflicts during the Allocation of Tasks Alex Valdivielso, Toshiyuki Miyamoto (Osaka Univ.) CST2010-65 |
In many applications, effective task-allocation and task-completion strategies are crucial to achieve an optimal perform... [more] |
CST2010-65 pp.33-38 |
MSS, CAS |
2010-11-18 14:55 |
Osaka |
Kansai Univ. |
On Transforming UML Communication Diagrams to UML State Machine Diagrams by Deleting T-T Bridges Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) CAS2010-72 CST2010-45 |
Service Oriented Architecture(SOA) is an architecture style to build up a information system composing a set of system c... [more] |
CAS2010-72 CST2010-45 pp.41-46 |
MSS, CAS |
2010-11-19 15:20 |
Osaka |
Kansai Univ. |
A Study of a Symbolic Encoding Method for Bounded Model Checking of UML State Machines with Synchronous and Asynchronous Transitions Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) CAS2010-80 CST2010-53 |
Recently, Bounded Model Checking has received attention as a SAT-based symbolic model checking technique. The basic idea... [more] |
CAS2010-80 CST2010-53 pp.83-88 |
MSS |
2010-01-22 11:35 |
Aichi |
Toyota Central R&D Labs. |
Modular Reachability Analysis of Multi-agent Nets by Using Maria Kyota Horiguchi, Toshiyuki Miyamoto (Osaka Univ.) CST2009-50 |
[more] |
CST2009-50 pp.73-78 |
MSS |
2010-01-22 13:50 |
Aichi |
Toyota Central R&D Labs. |
On Choreography Realization by Using UML Activity Diagrams Kenji Akamatsu (Osaka Univ.), Taku Fujii (Osaka Gas Info. Syst.Res. Inst.), Toshiyuki Miyamoto (Osaka Univ.) CST2009-53 |
[more] |
CST2009-53 pp.91-96 |
MSS, CAS |
2009-11-27 16:40 |
Aichi |
Nagoya University |
On Choreography Realization by Using Petri Nets Toshiyuki Miyamoto (Osaka Univ.), Taku Fujii (Ogis-RI) CAS2009-62 CST2009-35 |
A choreography defines collaboration flows which are executed among plural Web services.
The choreography realization p... [more] |
CAS2009-62 CST2009-35 pp.99-104 |
MSS |
2009-06-04 10:25 |
Osaka |
Setsunan University, Osaka Center |
On Reachability Analysis of Multi Agent Nets by Using Modular Petri Nets Kyota Horiguchi, Toshiyuki Miyamoto (Osaka Univ.) CST2009-6 |
Multi agent net is a formal model description language for multi agent systems. As a variant of Petri nets, modular Petr... [more] |
CST2009-6 pp.31-36 |
MSS |
2009-06-04 15:40 |
Osaka |
Setsunan University, Osaka Center |
A Summary of CST Solution Competition 2007 and 2008 Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII) CST2009-11 |
CST Solution Competition is an industry-university cooperation
activity for students, which is hosted by CST Technical... [more] |
CST2009-11 pp.59-64 |
MSS |
2009-01-29 17:25 |
Kanagawa |
Kanagawa Industrial Promotion Center |
Design and Implementation of Secret Sharing Distributed Database System Shota Minakami, Toshiyuki Miyamoto (Osaka Univ.) CST2008-50 |
In recent years, database security has attracted attention due to
frequent occurrence of individual information leak.
... [more] |
CST2008-50 pp.51-56 |
CAS, MSS |
2008-11-06 15:45 |
Osaka |
Osaka University |
Multi-Car Elevator Group Control: Algorithm Implementing Schedule Completion Time Optimization, Schedule Direction Synchronization, and Service-Oriented Parking Strategies Alex Valdivielso, Toshiyuki Miyamoto (Osaka Univ.) CAS2008-49 CST2008-27 |
Multi-car elevator systems consist of shafts with two or more independent cars operating in them. Due to their special c... [more] |
CAS2008-49 CST2008-27 pp.25-30 |
CAS, MSS |
2008-11-07 10:35 |
Osaka |
Osaka University |
On Constructing State Machine Diagrams from Communication Diagrams by Using Petri Nets Toshiyuki Miyamoto, Hiroyuki Kurahata (Osaka Univ.), Taku Fujii, Ryoji Hosokawa (OGIS-RI) CAS2008-54 CST2008-32 |
[more] |
CAS2008-54 CST2008-32 pp.53-58 |
MSS |
2008-06-03 11:15 |
Aichi |
Nagoyo University, Noyori Conference Hall |
CST Solution Competition 2007
-- Detailed Results of Computational Evaluation -- Toshiyuki Miyamoto (Osaka Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII) CST2008-6 |
The CST Solution Competition 2007 gives student teams
a problem of controlling a multi-car elevator (MCE).
Each studen... [more] |
CST2008-6 pp.7-12 |
MSS |
2008-01-28 10:40 |
Tokushima |
The University of Tokushima |
Multi-Car Elevator Group Controller: Implementation of a Schedule Completion Time Optimization Algorithm with a Parking Strategy for Service Coverage Protection Alex Valdivielso, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) CST2007-36 |
Multi-car elevator (MCE) systems present inherent characteristics, which make the implementation of traditional elevator... [more] |
CST2007-36 pp.7-12 |
MSS |
2008-01-29 13:55 |
Tokushima |
The University of Tokushima |
A Study on Applying Reinforcement Learning to a Safety Critical System Shinichi Fujiwara, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) CST2007-53 |
Reinforcement Learning have been attracting many researchers attention as a framework of autonomous cooperative behavior... [more] |
CST2007-53 pp.41-46 |
MSS, CAS |
2007-11-30 09:30 |
Niigata |
Niigata University |
On Implementation of Secret Sharing Distributed Database System using Multi Agent Nets Shota Minakami, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ) CAS2007-73 CST2007-24 |
In recent years, need for distributed database system has increased
due to growing amount and types of data.
Reliabi... [more] |
CAS2007-73 CST2007-24 pp.1-6 |