JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >

著者:  "HIRAISHI, Kunihiko"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

18 著者名表示.

発行日タイトル 著者
1-Nov-2001 A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent SystemsHIRAISHI, Kunihiko
1-Nov-2001 An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order MethodHIRAISHI, Kunihiko; TANAKA, Hirohide
1-Nov-2004 Deriving Discrete Behavior of Hybrid Systems under Incomplete KnowledgeHIRAISHI, Kunihiko
1-May-2005 Inkdot versus Pebble over Two-Dimensional LanguagesINOUE, Atsuyuki; ITO, Akira; HIRAISHI, Kunihiko; INOUE, Katsushi
1-May-2005 A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time SlotsCHIBA, Eishi; HIRAISHI, Kunihiko
1-Nov-2008 Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing SpeedsHIRAISHI, Kunihiko
1-Feb-2009 Application of DES Theory to Verification of Software ComponentsHIRAISHI, Kunihiko; KUČERA, Petr
1-Aug-2009 Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying ReferenceKobayashi, Koichi; Hiraishi, Kunihiko; Tang, Nguyen Van
1-Nov-2009 MLD-Based Modeling of Hybrid Systems with Parameter UncertaintyKobayashi, Koichi; Hiraishi, Kunihiko
8-Jul-2010 Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological NetworksKobayashi, Koichi; Imura, Jun-ichi; Hiraishi, Kunihiko
21-Feb-2011 An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networksKobayashi, Koichi; Hiraishi, Kunihiko
17-Jun-2011 Stabilization of Finite Automata with Application to Hybrid Systems ControlKobayashi, Koichi; Imura, Jun-ichi; Hiraishi, Kunihiko
2012 Probabilistic-constrained optimal control of a class of stochastic hybrid systemsKobayashi, Koichi; Matou, Koichiro; Hiraishi, Kunihiko
1-Sep-2012 Optimal Control of Probabilistic Boolean Networks Using Polynomial OptimizationKobayashi, Koichi; Hiraishi, Kunihiko
1-Feb-2013 Optimal Control of Boolean Biological Networks Modeled by Petri NetsKobayashi, Koichi; Hiraishi, Kunihiko
9-May-2013 局所無線同報サービスに向けた無線資源空間再利用に関する一検討門, 洋一; 平石, 邦彦; リム, アズマンオスマン; 丹, 康雄; Kado, Youiti; Hiraishi, Kunihiko; Lim, Azman Osman; Tan, Yasuo
17-Sep-2014 A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time PricingKobayashi, Koichi; Hiraishi, Kunihiko
1-Feb-2015 Diagnosis of Stochastic Discrete Event Systems Based on N-gram ModelsYoshimoto, Miwa; Kobayashi, Koichi; Hiraishi, Kunihiko

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)