Communication-Communication Systems(Date:2009/05/27)

Presentation
表紙

,  

[Date]2009/5/27
[Paper #]
目次

,  

[Date]2009/5/27
[Paper #]
Reinforcement Learning of the Supervisor based on the Worst-Case Behavior under Partial Observation

Kouji KAJIWARA,  Tatsushi YAMASAKI,  

[Date]2009/5/27
[Paper #]CST2009-1
Proposal of Priced Probabilistic Timed Automaton with concept of Space, and its Application to Sensor Networks

Hiroshi KAMAZAWA,  Satoshi YAMANE,  

[Date]2009/5/27
[Paper #]CST2009-2
Model checking of cooperated systems consisting of CPU and DRP

Shota MINAMI,  Shingo TAKINAI,  Satoshi SEKOGUCHI,  Satoshi YAMANE,  

[Date]2009/5/27
[Paper #]CST2009-3
SAT and SMT Based Model Checking of Concurrent Systems

Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2009/5/27
[Paper #]CST2009-4
Probabilistic Timed CEGAR

Atsushi MORIMOTO,  Ryota KOMAGATA,  Satoshi YAMANE,  

[Date]2009/5/27
[Paper #]CST2009-5
On Reachability Analysis of Multi Agent Nets by Using Modular Petri Nets

Kyota HORIGUCHI,  Toshiyuki MIYAMOTO,  

[Date]2009/5/27
[Paper #]CST2009-6
Computation of the Supremal Controllable and Opaque Sublanguage for Discrete Event Systems With Observation Masks

Kozue YORIFUJI,  Shigemasa TAKAI,  

[Date]2009/5/27
[Paper #]CST2009-7
Design of Arbiter for Modular State Feedback Control of Discrete Event Systems

Tasuku INUI,  Toshimitsu USHIO,  Masakazu ADACHI,  Noriyoshi SANO,  

[Date]2009/5/27
[Paper #]CST2009-8
A Composition Rule under Behavioral Inheritance and Soundness for Workflow Nets Sharing Actions

Yuki WATANABE,  Shingo YAMAGUCHI,  Ryo IKEDA,  Minoru TANAKA,  

[Date]2009/5/27
[Paper #]CST2009-9
Modeling and Analysis of Quantum Turing Machine by using Coloured Quantum Petri Nets

Shinsuke ITO,  Atsushi OHTA,  Kohkichi TSUJI,  

[Date]2009/5/27
[Paper #]CST2009-10
A Summary of CST Solution Competition 2007 and 2008

Shingo YAMAGUCHI,  Toshiyuki MIYAMOTO,  Naoshi UCHIHIRA,  Qi-Wei GE,  Shinichi HONIDEN,  

[Date]2009/5/27
[Paper #]CST2009-11
複写される方へ

,  

[Date]2009/5/27
[Paper #]
Notice for Photocopying

,  

[Date]2009/5/27
[Paper #]
奥付

,  

[Date]2009/5/27
[Paper #]