31 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 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 |
| 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 |
| 1-Aug-2009 | Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference | Kobayashi, Koichi; Hiraishi, Kunihiko; Tang, Nguyen Van |
| 1-Nov-2009 | MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 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 |
| 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 |
| 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 |
