39 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 13-Nov-1997 | 時間付き離散事象システムの時間付き安定性 | 望山, 洋; 平石, 邦彦; Mochiyama, Hiromi; Hiraishi, kunihiko; モチヤマ, ヒロミ; ヒライシ, クニヒコ |
| 26-Oct-1998 | フォーシブルな事象をもつ時間付き離散事象システムの時間付き安定性 | 望山, 洋; 平石, 邦彦; Mochiyama, hiromi; Hiraishi, kunihiko; モチヤマ, ヒロミ; ヒライシ, クニヒコ |
| 16-Nov-1998 | The completeness of linear logic for petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
| 14-Dec-1998 | The completeness of linear logic with modal operator for Petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
| 30-Jun-1999 | Synthesis of supervisors using learning algorithm of regular languages | Hiraishi, Kunihiko |
| 17-Feb-2000 | Scheduling of parallel identical machines to maximize the weighted number | Hiraishi, Kunihiko; Levner, Eugene; Vlach, Milan |
| 1-Nov-2001 | A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems | HIRAISHI, Kunihiko |
| 1-Nov-2001 | An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method | HIRAISHI, Kunihiko; TANAKA, Hirohide |
| 8-Jan-2002 | Construction of Rule Base for the Control of Discrete Event Dynamic | Hiraishi, Kunihiko; Capkovic, Frantisek |
| 5-Dec-2002 | A Polynomial Time Algorithm for a Just-In-Time Scheduling Problem with Periodic Time Slots | Hiraishi, Kunihiko |
| 1-Nov-2004 | Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge | HIRAISHI, Kunihiko |
| 11-Mar-2005 | Modeling and Verification of Workflows for e-Society | Hiraishi, Kunihiko |
| 1-May-2005 | Inkdot versus Pebble over Two-Dimensional Languages | INOUE, Atsuyuki; ITO, Akira; HIRAISHI, Kunihiko; INOUE, Katsushi |
| 1-May-2005 | A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots | CHIBA, Eishi; HIRAISHI, Kunihiko |
| 23-Mar-2006 | 研究室配属のためのシラバスシステムの提案と試作 | 藤本, 高志; 平石, 邦彦; 三浦, 元喜; 國藤, 進; Fujimoto, Takashi; Hiraishi, Kunihiko; Miura, Motoki; Kunifuji, Susumu |
| 8-Aug-2006 | KCLP-HS: a rapid prototyping tool for implementing algorithms on hybrid systems | Hiraishi, Kunihiko |
| 1-Nov-2008 | Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds | HIRAISHI, Kunihiko |
| 1-Feb-2009 | Application of DES Theory to Verification of Software Components | HIRAISHI, Kunihiko; KUČERA, Petr |
| 30-Mar-2009 | ICカードを利用した報奨システムの試みと評価 | 岡田, 政則; 平石, 邦彦; 國藤, 進; Okada, Masanori; Hiraishi, Kunihiko; Kunifuji, Susumu |
| 1-Aug-2009 | Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference | Kobayashi, Koichi; Hiraishi, Kunihiko; Tang, Nguyen Van |
| 21-Sep-2009 | Solving Problems on Hybrid Systems by Constraint Satisfaction | Hiraishi, Kunihiko |
| 1-Nov-2009 | MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 25-Feb-2010 | 教育環境におけるサービスサイエンスの適用 | 岡田, 政則; 飯田, 栄治; 平石, 邦彦; 國藤, 進; Okada, Masanori; Iida, Eiji; Hiraishi, Kunihiko; Kunifuji, Susumu |
| 8-Jul-2010 | Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks | Kobayashi, Koichi; Imura, Jun-ichi; Hiraishi, Kunihiko |
| 21-Feb-2011 | An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 17-Jun-2011 | Stabilization of Finite Automata with Application to Hybrid Systems Control | Kobayashi, Koichi; Imura, Jun-ichi; Hiraishi, Kunihiko |
| 2012 | Probabilistic-constrained optimal control of a class of stochastic hybrid systems | Kobayashi, Koichi; Matou, Koichiro; Hiraishi, Kunihiko |
| 4-Jun-2012 | 離散ダイナミクスの流体化によるシステムの安全性検証 | 平石, 邦彦; Hiraishi, Kunihiko |
| 30-Jul-2012 | R&D Management Based on the Relationship between the Achievement of R&D and Commercialization | Hirabayashi, Yuji; Ikawa, Yasuo; Aoki, Sigeru; Hiraishi, Kunihiko; Sugihara, Taro; Sai, Shunsei; Uchihira, Naoshi; Chino, Tetsuro; Torii, Kentarou |
| 31-Jul-2012 | Knowledge Transfer in R&D Project Management: Application to Business-academia Collaboration Project | Uchihira, Naoshi; Hirabayashi, Yuji; Sugihara, Taro; Hiraishi, Kunihiko; Ikawa, Yasuo |
| 1-Sep-2012 | Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 1-Feb-2013 | Optimal Control of Boolean Biological Networks Modeled by Petri Nets | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 9-May-2013 | 局所無線同報サービスに向けた無線資源空間再利用に関する一検討 | 門, 洋一; 平石, 邦彦; リム, アズマンオスマン; 丹, 康雄; Kado, Youiti; Hiraishi, Kunihiko; Lim, Azman Osman; Tan, Yasuo |
| Jul-2013 | Collaboration Management by Smart Voice Messaging for Physical and Adaptive Intelligent Services | Uchihira, Naoshi; Choe, Sunseong; Hiraishi, Kunihiko; Torii, Kentaro; Chino, Tetsuro; Hirabayashi, Yuji; Sugihara, Taro |
| 14-May-2014 | Detection of Unusual Human Activities Based on Behavior Modeling | Hiraishi, Kunihiko; Kobayashi, Koichi |
| 17-Sep-2014 | A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 1-Feb-2015 | Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models | Yoshimoto, Miwa; Kobayashi, Koichi; Hiraishi, Kunihiko |
| 1-Jun-2016 | 離散事象システムのモデルレス故障診断法に関する研究 | 平石, 邦彦; Hiraishi, Kunihiko |
| 30-May-2019 | 状況アウェアネスと情報スーパーバイザ制御のための数理モデルの構築 | 平石, 邦彦; Hiraishi, Kunihiko |
