Top Page > Publications

Publications

Links

2012
  • `2006 (under construction)

2012

Journal Papers
  • Koichi Kobayashi and Kunihiko Hiraishi: Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. EXX-A, No. X, pp. XXX-XXX (2012) (Accepted)
Conference Papers
  • TBD

2011

Journal Papers
  • Koichi Kobayashi and Kunihiko Hiraishi: Mixed-Integer-Programming-Based Approach to Optimal Design of Networked Control Systems, SICE Journal of Control, Measurement, and System Integration, Vol. 4, No. 3, pp. 243-248 (2011)
  • Koichi Kobayashi and Kunihiko Hiraishi: An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks, Automatica, Vol. 47, No. 6, pp. 1260-1264 (2011)
  • Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi: Stabilization of Finite Automata with Application to Hybrid Systems Control, Discrete Event Dynamic Systems: Theory and Applications, Vol. 21, No. 4, pp. 519-545 (2011)
Conference Papers
  • Koichi Kobayashi and Kunihiko Hiraishi: Optimal Control of Asynchronous Boolena Networks Modeled by Petri Nets, International Workshop on Biological Processes & Petri Nets, pp. 7-20, Newcastle upon Type (2011)
  • Koichi Kobayashi and Kunihiko Hiraishi: Optimal Control of a Class of Networked Systems Based on MLD Framework, 18th IFAC World Congress, pp. 66-71, Milano (2011)
  • Koichi Kobayashi and Kunihiko Hiraishi: Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty, SICE Annual Conference, pp. 605-607, Tokyo (2011)
  • Kenji Watahiki, Fuyuki Ishikawa, and Kunihiko Hirasihi: Formal Verification of Buisiness Processes with Temporal and Resource Constraints, 2011 IEEE International Conference on Systems, Man, and Cybernetics, pp. 1173-1180, Anchorage (2011)
  • Koichi Kobayashi and Kunihiko Hiraishi: A Symbolic Approach to Probabilistic Verification of Boolean Networks, 37th Annual Conference of the IEEE Industrial Electronics Society, pp. 3635-3640, Melbourne (2011)
  • Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi: Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints, Proc. of 50th IEEE Conference on Decision and Control and European Control Conference, pp. 3307-3312, Orlando (2011)
  • Koichi Kobayashi and Kunihiko Hiraishi: Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks, 50th IEEE Conference on Decision and Control and European Control Conference, pp. 4371-4376, Orlando (2011)

2010

Journal Papers
  • Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi: Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks, EURASIP Journal on Bioinformatics and Systems Biology, Vol. 2010, Article ID 210685, 12 pages (2010)
Conference Papers
  • Koichi Kobayashi and Kunihiko Hiraishi: An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks, 2010 American Control Conference, pp. 6710-6715 (Baltimore, 2010/6-7)
  • Koichi Kobayashi and Jun-ichi Imura: Free-Variable Analysis of Finite Automata Representations for Hybrid Systems Control, 19th International Symposium on Mathematical Theory of Networks and Systems, pp. 483-488 (Budapest, 2010/7)
  • Koichi Kobayashi and Kunihiko Hiraishi: Reachability Analysis of Probabilistic Boolean Networks using Model Checking, SICE Annual Conference 2010, pp. 829-832 (Taipei, 2010/08)
  • Kunihiko Hiraishi: On Analysis of a Class of Timed Continuous Petri nets and Its Applications, SICE Annual Conference 2010, pp. 2253-2259 (Taipei, 2010/08)
  • Koichi Kobayashi and Kunihiko Hiraishi: MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions, 19th IEEE Conference on Control Applications (as a part of 2010 MSC), pp. 1331-1336 (Yokohama, 2010/09)
  • Koichi Kobayashi and Kunihiko Hiraishi: Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming, 49th IEEE Conference on Decision and Control, pp. 7507-7512 (Atlanta, 2010/12)

2009

Journal Papers
  • Kunihiko Hiraishi and Petr Kucera: Application of DES Theory to Verification of Software Components, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E92-A, No. 2, pp. 604-610 (2009)
  • Kunihiko Hiraishi: On Solvability of a Decentralized Supervisory Control Problem With Communication, IEEE Trans. on Automatic Control, Vol. 54, No. 3, pp. 468-480 (2009)
  • Koichi Kobayashi, Kunihiko Hiraishi, and Nguyen Van Tang: Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E92-A, No. 8, pp. 2046-2052 (2009)
  • Koichi Kobayashi and Kunihiko Hiraishi: MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E92-A, No. 11, pp. 2745-2754 (2009)
Conference Papers
  • Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi: Polynomial-Time Controllability Analysis of Boolean Networks, 2009 American Control Conference, pp. 1694-1699 (St. Louis, 2009/6)
  • Koichi Kobayashi and Kunihiko Hiraishi: Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods, 2009 American Control Conference, pp. 3632-3637 (St. Louis, 2009/6)
  • Kunihiko Hiraishi: DES Technology: Toward Dependable Embedded Control Systems, ICROS-SICE International Joint Conference 2009, pp. 470-473 (Fukuoka, 2009/8)
  • Kunihiko Hiraishi and Koichi Kobayashi: A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems, ICROS-SICE International Joint Conference 2009, pp. 1717-1721 (Fukuoka, 2009/8)
  • Koichi Kobayashi and Jun-ichi Imura: Observability Analysis of Boolean Networks with Biological Applications, ICROS-SICE International Joint Conference 2009, pp. 4393-4396 (Fukuoka, 2009/8)
  • Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi: Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics, ICROS-SICE International Joint Conference 2009, pp. 4831-4836 (Fukuoka, 2009/8)
  • Koichi Kobayashi and Jun-ichi Imura: Stabilization of Deterministic Finite Automata Based on Linear State Equation Representation, European Control Conference 2009, pp. 4368-4373 (Budapest, 2009/8)

2008

Journal Papers

  • Koichi Kobayashi and Kunihiko Hiraishi: Graph-Switching Based Modeling of Mode Transition Constraints for Model Predictive Control of Hybrid Systems, SICE Journal of Control, Measurement, and System Integration, Vol. 1, No. 5, pp. 376-382 (2008))
  • Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E91-A, No. 11, pp. 3219-3228 (2008)
Conference Papers
  • Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds, Proc. 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science 5062, pp. 231-250 (Xi'an, China, 2008/6/23-27)
  • Koichi Kobayashi, Nguyen Van Tang, and Kunihiko Hiraishi: On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems, Proc. 23rd International Technical Conference on Circuits/Systems, Computers and Communications, pp. 913-916 (Shimonoseki, Japan, 2008/7/6-9)
  • Koichi Kobayashi: Computation Time Reduction Techniques for Model Predictive Control of Hybrid Systems, 14th International Conference on Applications of Computer Algebra (Hagenberg i. M., 2008/7) (Non-Reviewed)
  • Kunihiko Hiraishi: (Invited) Formal Approaches to Model-Based Development of Real-Time/Hybrid Systems, SICE 2008 Workshop on Model-Based Development of Embedded Systems (Chofu, Japan, 2008/8/19)
  • Koichi Kobayashi and Kunihiko Hiraishi: Explicit Modeling of Mode Transition Constraints for Model Predictive Control, Proc. SICE Annual Conference 2008, pp. 1569-1574 (Chofu, Japan, 2008/8/20-22)

2007

Conference Papers
  • Koichi Kobayashi and Jun-ichi Imura: Minimality of Finite Automata Representation in Hybrid Systems Control, Proc. 10th International Conference on Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 4416, pp. 343-356, Springer (Pisa, 2007/4)
  • Koichi Kobayashi and Jun-ichi Imura: Time-Sequence Based Modeling of Finite Automata in Model Predictive Control of Hybrid Systems, Proc. 2007 American Control Conference, pp. 4186-4191 (2007/6, New York City)
  • Petr Kucera and Kunihiko Hiraishi: Application of DES Theory to Verification of Software Components, Proc. SICE Annual Conference 2007 (TakamatsuCJapan, 2007/9/17-20)
  • Kunihiko Hiraishi: Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions, Proc. 33rd Annual Conference of the IEEE Industrial Electronics Society, pp. 282-287 (Taipei, Taiwan, 2007/11/5-8)
  • Koichi Kobayashi and Jun-ichi Imura: Model Predictive Control of Directed-Graph type Hybrid Systems, Proc. 46th IEEE Conference on Decision and Control, pp. 3196-3201 (2007/12, New Orleans)

Copyright (C) Hiraishi Lab. All Rights Reserved.
design by. (C) WebDaisuki.com