[ English / Japanese ]

[49]  

Koichi Kobayashi and Kunihiko Hiraishi:
On Event-triggered and Self-triggered Control Using Online Optimization,
Proc. of the 2015 IEEE International Conference on Mechatronics, pp. 582-587, Nagoya (2015)

[48]  

Koichi Kobayashi and Kunihiko Hiraishi:
Algorithm for Optimal Real-time Pricing Based on Switched Markov Chain Models,
Proc. of the 6th IEEE PES Conference on Innovative Smart Grid Technologies, ISGT2015-000039, Washington, D.C. (2015)

[47]  

Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Real-time Pricing for Energy Management Systems Based on Switched Interval Markov Chains,
Proc. of the 20th International Symposium on Artificial Life and Robotics, pp. 172-175, Beppu (2015)

[46]  

Koichi Kobayashi and Kunihiko Hiraishi:
A Probabilistic Approach to Design of Real-time Pricing Systems over Communication Networks,
Proc. of the 40th Annual Conference of the IEEE Industrial Electronics Society, pp. 4732-4737, Dallas (2014)

[45]  

Koichi Kobayashi and Kunihiko Hiraishi:
On Model Checking of Real-Time Pricing Systems Modeled by Probabilistic Discrete Models,
Proc. of the SICE Annual Conference 2014 (Position paper), pp. 1278-1281, Sapporo (2014)

[44]  

Koichi Kobayashi and Kunihiko Hiraishi:
Structural Control of Probabilistic Boolean Networks and Its Application to Design of Real-Time Pricing Systems,
Proc. of the 19th IFAC World Congress, pp. 2442-2447, Cape Town (2014)

[43]  

Koichi Kobayashi and Kunihiko Hiraishi:
Simultaneous Design of Prices and Incentives for Demand Response,
Proc. of the 29th International Technical Conference on Circuit/Systems Computers and Communications, pp. 853-856, Phuket (2014)

[42]  

Koichi Kobayashi and Kunihiko Hiraishi:
Design of Boolean Networks Based on Prescribed Singleton Attractors,
Proc. of the 13th European Control Conference, pp. 1504-1509, Strasbourg (2014)

[41]  

Kunihiko Hiraishi and Koichi Kobayashi:
Detection of Unusual Human Activities Based on Behavior Modeling,
Proc. of the 12th IFAC International Workshop on Discrete Event Systems, pp. 182-187, Cachan (2014)

[40]  

Koichi Kobayashi and Kunihiko Hiraishi:
Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming,
Proc. of the 13th International Workshop on Advanced Motion Control, pp. 741-745, Yokohama (2014)

[39]  

Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, and Naoshi Uchihira:
Behavior Modeling in Physical and Adaptive Intelligent Services,
Proc. of the 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support,
pp. 221-226, San Antonio (2014)

[38]  

Koichi Kobayashi and Kunihiko Hiraishi:
A Polynomial Optimization Approach to Optimal Control of Context-Sensitive Probabilistic Boolean networks,
Proc. of the 19th International Symposium on Artificial Life and Robotics, pp. 92-95, Beppu (2014)

[37]  

Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi:
Optimal Control of Multi-Vehicle Systems with LTL Specifications,
Proc. of the 52nd IEEE Conference on Decision and Control, pp. 7709-7714, Florence (2013)

[36]  

Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi:
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation,
Proc. of the 52nd IEEE Conference on Decision and Control, pp. 2641-2646, Florence (2013)

[35]  

Koichi Kobayashi and Kunihiko Hiraishi:
Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework,
Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society, pp. 5654-5659, Vienna (2013)

[34]  

Koichi Kobayashi and Kunihiko Hiraishi:
Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods,
Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society, pp. 5630-5635, Vienna (2013)

[33]  

Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi:
Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems,
Proc. of the SICE Annual Conference 2013 (Regular Paper), pp. 601-606, Nagoya (2013)

[32]  

Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, and Shun-ichi Azuma:
An MDP Approach to Modeling and Control of Real-Time Pricing Systems,
Proc. of the SICE Annual Conference 2013 (Regular Paper), pp. 595-600, Nagoya (2013)

[31]  

Kunihiko Hiraishi, Miwa Yoshimoto, and Koichi Kobayashi:
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters,
Proc. of the 6th IFIP/IEEE International Workshop on Distributed Autonomous Network Management Systems, pp. 1384-1388, Ghent (2013)

[30]  

Koichi Kobayashi and Kunihiko Hiraishi:
Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One,
Proc. of the 18th International Symposium on Artificial Life and Robotics, pp. 342-345, Daejeon (2013)

[29]  

Koichi Kobayashi and Kunihiko Hiraishi:
A Petri Net-Based Approach to Control of Boolean Networks,
Proc. of Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems (as a part of ICNC'12),
pp. 399-403, Okinawa (2012)

[28]  

Koichi Kobayashi and Kunihiko Hiraishi:
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems,
Proc. of the 38th Annual Conference of the IEEE Industrial Electronics Society, pp. 3182-3187, Montreal (2012)

[27]  

Koichi Kobayashi and Kunihiko Hiraishi:
Design of Networked Control Systems Using a Stochastic Switching Systems Approach,
Proc. of the 38th Annual Conference of the IEEE Industrial Electronics Society, pp. 3152-3157, Montreal (2012)

[26]  

Koichi Kobayashi and Kunihiko Hiraishi:
On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata,
Proc. of the 8th IEEE International Conference on Automation Science and Engineering, pp. 658-663, Seoul (2012)

[25]  

Koichi Kobayashi and Kunihiko Hiraishi:
Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks,
Proc. of the 50th IEEE Conference on Decision and Control and European Control Conference, pp. 4371-4376, Orlando (2011)

[24]  

Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi:
Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints,
Proc. of the 50th IEEE Conference on Decision and Control and European Control Conference, pp. 3307-3312, Orlando (2011)

[23]  

Koichi Kobayashi and Kunihiko Hiraishi:
A Symbolic Approach to Probabilistic Verification of Boolean Networks,
Proc. of the 37th Annual Conference of the IEEE Industrial Electronics Society, pp. 3635-3640, Melbourne (2011)

[22]  

Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty,
Proc. of the SICE Annual Conference 2011, pp. 605-607, Tokyo (2011)

[21]  

Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of a Class of Networked Systems Based on MLD Framework,
Proc. of the 18th IFAC World Congress, pp. 66-71, Milano (2011)

[20]  

Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets,
Proc. of the International Workshop on Biological Processes & Petri Nets, pp. 7-20, Newcastle upon Tyne (2011)

[19]  

Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming,
Proc. of the 49th IEEE Conference on Decision and Control, pp. 7507-7512, Atlanta (2010)

[18]  

Koichi Kobayashi and Kunihiko Hiraishi:
MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions,
Proc. of the 19th IEEE Conference on Control Applications (as a part of 2010 MSC), pp. 1331-1336, Yokohama (2010)

[17]  

Koichi Kobayashi and Kunihiko Hiraishi:
Reachability Analysis of Probabilistic Boolean Networks using Model Checking,
Proc. of the SICE Annual Conference 2010, pp. 829-832, Taipei (2010)

[16]  

Koichi Kobayashi and Jun-ichi Imura:
Free-Variable Analysis of Finite Automata Representations for Hybrid Systems Control,
Proc. of the 19th International Symposium on Mathematical Theory of Networks and Systems, pp. 483-488, Budapest (2010)

[15]  

Koichi Kobayashi and Kunihiko Hiraishi:
An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks,
Proc. of the 2010 American Control Conference, pp. 6710-6715, Baltimore (2010)

[14]  

Koichi Kobayashi and Jun-ichi Imura:
Stabilization of Deterministic Finite Automata Based on Linear State Equation Representation,
Proc. of the European Control Conference 2009, pp. 4368-4373, Budapest (2009)

[13]  

Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi:
Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics,
Proc. of the ICROS-SICE International Joint Conference 2009, pp. 4831-4836, Fukuoka (2009)

[12]  

Koichi Kobayashi and Jun-ichi Imura:
Observability Analysis of Boolean Networks with Biological Applications,
Proc. of the ICROS-SICE International Joint Conference 2009, pp. 4393-4396, Fukuoka (2009)

[11]  

Kunihiko Hiraishi and Koichi Kobayashi:
A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems,
Proc. of the ICROS-SICE International Joint Conference 2009, pp. 1717-1721, Fukuoka (2009)

[10]  

Koichi Kobayashi and Kunihiko Hiraishi:
Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods,
Proc. of the 2009 American Control Conference, pp. 3632-3637, St. Louis (2009)

[09]  

Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi:
Polynomial-Time Controllability Analysis of Boolean Networks,
Proc. of the 2009 American Control Conference, pp. 1694-1699, St. Louis (2009)

[08]  

Koichi Kobayashi and Kunihiko Hiraishi:
Explicit Modeling of Mode Transition Constraints for Model Predictive Control,
Proc. of the SICE Annual Conference 2008, pp. 1569-1574, Chofu (2008)

[07]  

Koichi Kobayashi, Nguyen Van Tang, and Kunihiko Hiraishi:
On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems,
Proc. of the 23rd International Technical Conference on Circuits/Systems, Computers and Communications, pp. 913-916, Shimonoseki (2008)

[06]  

Koichi Kobayashi and Jun-ichi Imura:
Model Predictive Control of Directed-Graph type Hybrid Systems,
Proc. of the 46th IEEE Conference on Decision and Control, pp. 3196-3201, New Orleans (2007)

[05]  

Koichi Kobayashi and Jun-ichi Imura:
Time-Sequence Based Modeling of Finite Automata in Model Predictive Control of Hybrid Systems,
Proc. of the 2007 American Control Conference, pp. 4186-4191, New York City (2007)

[04]  

Koichi Kobayashi and Jun-ichi Imura:
Minimal Representation of Finite Automata for Hybrid Systems Control,
Proc. of the 45th IEEE Conference on Decision and Control, pp. 930-935, San Diego (2006)

[03]  

Koichi Kobayashi and Jun-ichi Imura:
Efficient Modeling of Piecewise Affine Systems in Model Predictive Control,
Proc. of the SICE-ICASE International Joint Conference 2006, pp. 5120-5123, Busan (2006)

[02]  

Koichi Kobayashi and Jun-ichi Imura:
Modeling of Discrete Dynamics for Computational Time Reduction of Model Predictive Control,
Proc. of the 17th International Symposium on Mathematical Theory of Networks and Systems, pp. 628-633, Kyoto (2006)

[01]  

Koichi Kobayashi and Jun-ichi Imura:
System Representation for Logical Dynamics via a Descriptor Form,
Proc. of the SICE Annual Conference 2005, pp. 2041-2044, Okayama (2005)