平石　邦彦 （ヒライシ　クニヒコ）　教授
情報科学研究科（情報科学専攻・理論情報科学領域）

79件中1-20件目

• 1.　Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems，Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi，SICE Annual Conference 2013，2013/09
• 2.　Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs，Koichi Kobayashi and Kunihiko Hiraishi，Journal of Applied Mathematics，Vol. 2013，Article ID 615060，9 pages，2013/03
• 3.　Verification of Opacity and Diagnosability for Pushdown Systems，Koichi Kobayashi and Kunihiko Hiraishi，Journal of Applied Mathematics，Vol. 2013，Article ID 654059，10 pages，2013/05
• 4.　Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters，Kunihiko Hiraishi, Miwa Yoshimoto, and Koichi Kobayashi，6th IFIP/IEEE International Workshop on Distributed Autonomous Network Management Systems，2013/05
• 5.　Modeling and Design of Networked Control Systems Using a Stochastic Switching Systems Approach，Koichi Kobayashi and Kunihiko Hiraishi，IEEJ Transactions on Electrical and Electronic Engineering，9，1，2014/01
• 6.　Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters，Kunihiko Hiraishi，IEEE IECON2011，3669-3674，2011/11/07
• 7.　A Symbolic Approach to Probabilistic Verification of Boolean Networks，Koichi Kobayashi and Kunihiko Hiraishi，IEEE IECON2011，3635-3640
• 8.　An Approximation Algorithm for Box Abstraction of Transition Systems on Real State Spaces，Kunihiko Hiraishi and Koichi Kobayash，Formal Methods in System Design，DOI: 10.1007/s10703-012-0175-z，2012/09/30
• 9.　Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization，Koichi Kobayashi and Kunihiko Hiraishi，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E95-A，9，1512-1517，2012/09
• 10.　Model-less Diagnosis of Discrete Event Systems Based on Sequence Analysis，Miwa Yoshimoto and Kunihiko Hiraishi，ITC-CSCC 2012，CD-ROM, C-W1-03，2012/07/15
• 11.　Symbolic approach to verification and control of deterministic/probabilistic Boolean networks，Koichi Kobayashi and Kunihiko Hiraishi，IET Systems Biology，6，6，215-222，2012/12
• 12.　Optimal Control of Boolean Biological Networks Modeled by Petri Nets，Koichi Kobayashi and Kunihiko Hiraishi，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E96-A，2，532-539，2013/02
• 13.　Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems，Koichi Kobayashi and Kunihiko Hiraishi，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E96-A，5，861-868，2013/05
• 14.　Probabilistic-Constrained Optimal Control of a Class of Stochastic Hybrid Systems，Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi，International Journal of Control, Automation, and Systems，10，5，897-904，2012/10
• 15.　A Petri Net-Based Approach to Control of Boolean Networks，Koichi Kobayashi and Kunihiko Hiraishi，Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems，2012/12
• 16.　Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems，Koichi Kobayashi and Kunihiko Hiraishi，SICE Journal of Control, Measurement, and System Integration，5，3，184-189，2012/05
• 17.　Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems，Koichi Kobayashi and Kunihiko Hiraishi，38th Annual Conference of the IEEE Industrial Electronics Society，2012/10
• 18.　Design of Networked Control Systems Using a Stochastic Switching Systems Approach，Koichi Kobayashi and Kunihiko Hiraishi，38th Annual Conference of the IEEE Industrial Electronics Society，2012/10
• 19.　On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata，Koichi Kobayashi and Kunihiko Hiraishi，8th IEEE International Conference on Automation Science and Engineering，658-663，2012/08
• 20.　遷移関係に基づくハイブリッドシステムの近似双模倣，崔舜星，平石邦彦，小林孝一，計測自動制御学会論文集，47，12，614-620，2011/12

1  2  3  4

[ 次へ ≫ ]