Search of article List
The 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2016)
| number | title/author |
|---|---|
| M2-1-1 | Enumerating Minimal Siphons of Petri Net using SAT Solver Tan Lam Pham, Atsushi Ohta, Kohkichi Tsuji , |
| M2-1-2 | On Each Condition of Soundness for Acyclic Free Choice Workflow Nets Shingo Yamaguchi, Naoki Nakahara , |
| M2-1-3 | Supervisory Control of Concurrent Discrete Event Systems with Local Linear Temporal Logic Specifications Ami Sakakibara, Toshimitsu Ushio , |
| M2-1-4 | Toward Formal Analysis of Timed Anonymous Systems Yoshinobu Kawabe, Nobuhiro Ito , |
| M2-1-5 | An MILP Approach to Optimal Surveillance over Graphs Mifuyu Kido, Koichi Kobayashi, Yuh Yamashita , |
| M2-1-6 | Energy-base Deadlock-free Supervisory Control of Quantitative Discrete Event Systems under Partial Observation Sasinee Pruekprasert, Toshimitsu Ushio , |