Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
CST2009-1
Reinforcement Learning of the Supervisor based on the Worst-Case Behavior Under Partial Observation
Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.)
pp. 1 - 6
CST2009-2
Proposal of Priced probabilistic Timed Automaton with concept of Space, and its Application to Sensor Netwrok
Hiroshi Kamazawa, Satoshi Yamane (Kanazawa Univ.)
pp. 7 - 12
CST2009-3
Model checking of cooperated systems consisting of CPU and DRP
Shota Minami, Shingo Takinai, Satoshi Sekoguchi, Satoshi Yamane (Kanazawa Univ.)
pp. 13 - 18
CST2009-4
SAT and SMT Based Model Checking of Concurrent Systems
Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
pp. 19 - 23
CST2009-5
[Invited Talk]
Probabilic Timed CEGAR
Atsushi Morishita, Ryota Komagata, Satoshi Yamane (Kanazawa Univ.)
pp. 25 - 30
CST2009-6
On Reachability Analysis of Multi Agent Nets by Using Modular Petri Nets
Kyota Horiguchi, Toshiyuki Miyamoto (Osaka Univ.)
pp. 31 - 36
CST2009-7
Computation of the Supremal Controllable and Opaque Sublanguage for Discrete Event Systems with Observation Masks
Kozue Yorifuji (Kyoto Inst. of Tech.), Shigemasa Takai (Osaka Univ.)
pp. 37 - 41
CST2009-8
Design of Arbiter for Modular State Feedback Control of Discrete Event Systems
Tasuku Inui, Toshimitsu Ushio (Osaka Univ.), Masakazu Adachi, Noriyoshi Sano (Toyota CRDL)
pp. 43 - 48
CST2009-9
A Composition Rule under Behavioral Inheritance and Soundness for Workflow Nets Sharing Actions
Yuki Watanabe, Shingo Yamaguchi, Ryo Ikeda, Minoru Tanaka (Yamaguchi Univ.)
pp. 49 - 52
CST2009-10
Modeling and Analysis of Quantum Turing Machine by using Coloured Quantum Petri Nets
Shinsuke Ito (Graduate School, Aichi Pref. Univ.), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.)
pp. 53 - 58
CST2009-11
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)
pp. 59 - 64
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.