トップページ  >  教員個別情報  >  発表論文
平石 邦彦 (HIRAISHI, Kunihiko)教授, 情報社会基盤研究センター長
情報科学系, 知識マネジメント領域, 情報社会基盤研究センター

発表論文

277件
航空オープンデータを用いたセクター間交通流のモデル化と混雑度予測
三島諒亮, 平石邦彦
信学技報, MSS2020, 49, 27-32, 2021
An Efficient Method for Approximating Attractors in Large-scale Asynchronous Boolean Models
Van Giang TRINH, Kunihiko HIRAISHI
Proc. 2020 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2020), 1820-1826, 2020
On Attractor Detection and Optimal Control of Deterministic Generalized Asynchronous Random Boolean Networks
Van Giang TRINH, Kunihiko HIRAISHI
IEEE/ACM Transactions on Computational Biology and Bioinformatics, -, 2020
Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine
K. Fujita, K. Hiraishi, T. Aoki
IEEE International Conference on Industrial Engineering and Engineering Management 2020, 1098-1102, 2020
A Study on Attractors of Generalized Asynchronous Random Boolean Networks
Van Giang TRINH, Kunihiko HIRAISHI
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E103.A, 8, 987-994, 2020
An FVS-based Approach to Attractor Detection in Asynchronous Random Boolean Networks
Van Giang TRINH, Tasuya AKUTSU, Kunihiko HIRAISHI
IEEE/ACM Transactions on Computational Biology and Bioinformatics, -, 2020
Stochastic Modeling and Scalable Predictive Control for Automated Demand Response
Koichi Kobayashi, Kunihiko Hiraishi
International Journal of Robust and Nonlinear Control, -, 2020
Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation
Kunihiko Hiraishi
Proc. IEEE International Conference on Systems, Man and Cybernetics 2019, 1807-1812, 2019
Process Mining Approach for the Conformance Checking of Discrete-Event Simulation Model
Kenji Uehara, Kunihiko HIraishi
SICE Annual Conference 2019, 615-620, 2019
An Improved Version of Cell Transmission Model for Air Traffic Flow
Quang Khai Tran, Kunihiko Hiraishi
Proc. 3rd Int. Conf. Transportation Infrastructure and Sustainable Development (TISDIC2019), -, 2019
Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks
Trinh Van Giang, Kunihiko Hiraishi
12th Asian Control Conference, 67-72, 2019
Sector Identification for a Large Amount of Airspace Traffic Data
Shoya Tokumaru, Kunihiko Hiraishi
IEICE Trans Fundamentals of Electronics, Communications and Computer Sciences, 102-A, 5, 755-756, 2019
プロセスマイニング手法を適用した離散事象シミュレーションモデルの仕様適合性検査
上原健嗣, 平石邦彦
信学技報, 118, 296, 121-126, 2018
Information Supervisory Control of Human Behavior - A Formal Model and Simulation -
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
IEEE Systems, Man, and Cybernetics 2018, 2021-2026, 2018
フィールドワークにおけるコラボレーション効果
岡田, 内平, 平石, 國藤
第40回日本創造学会研究大会予稿集, -, 2018
Sector Identification for a Large Amount of Airspace Traffic Data
Shoya TOKUMARU, Kunihiko HIRAISHI
第64回離散事象システム研究会予稿集, 24-27, 2018
A pathfinding problem for search trees with unknown edge length
Kunihiko Hiraishi, Koichi Kobayashi
Journal of Discrete Algorithms, 49, 1-7, 2018
CARATS Open Dataにおける航空機位置のセクター決定問題について
徳丸翔也, 平石邦彦
信学技報, 117, 506, 47-51, 2018
作業スタッフの行動ログを用いた時空間状況認識の性能向上について
早貸 舜, 平石邦彦, 内平直志
信学技報, 117, 506, 67-72, 2018
Modeling and optimization of item changes in vending machines
Gaku Nemoto, Kunihiko Hiraishi
2017 Asian Control Conference, ASCC 2017, 2018-, 19-24, 2018
Information supervisory control of human behavior - Experiments and formal modeling
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 Asian Control Conference, ASCC 2017, 2018-, 1351-1356, 2018
ミニ移動大学2017年度報告と今年度実施計画
岡田, 内平, 平石, 國藤
人工知能学会第4回市民共創知研究会予稿集, 3-6, 2018
Model-based approach to analysis of human behavior with applications to nursing and caregiving services
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
2017 IEEE 6th Global Conference on Consumer Electronics, GCCE 2017, 2017-, 1-4, 2017
ソフトウェア開発プロセスの評価における機械学習とプロセスマイニングの性能比較
塩澤 仁, 平石邦彦
信学技報, 117, 301, 83-88, 2017
複合的因果関係分析手法を用いた遠隔診療の定量的安全性評価
藤田健治, 青木利晃, 平石邦彦
信学技報, 117, 301, 89-94, 2017
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities
Koichi Kobayashi, Kunihiko Hiraishi
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 28, 8, 1966-1971, 2017
つぶやきシステムを利用したミニ移動大学の実践
岡田, 内平, 平石, 國藤
第42回教育システム情報学会全国大会, 281-282, 2017
Behavioral Analysis in Nursing and Caregiving Services Using Switched Linear Regression Models
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
IFAC-PapersOnLine, 50, 1, 4582-4587, 2017
遺伝子ネットワークのシステム数理 ―ブーリアンネットワークによるアプローチ
小林孝一, 平石邦彦
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 10, 4, 257-265, 2017
Optimization-Based Approaches to Control of Probabilistic Boolean Networks.
Koichi Kobayashi, Kunihiko Hiraishi
Algorithms, 10, 1, 31-, 2017
(解説)グラフ上の論理的制約をもつマルチビークルシステムの最適制御
小林孝一, 平石邦彦
計測と制御, 55, 11, 966-971, 2017
(解説)モデル予測制御のためのハイブリッドシステムの離散抽象化
小林孝一, 平石邦彦
システム/制御/情報, 61, 2, 51-56, 2017
Modeling and Analysing Boolean Networks by Coloured Petri Nets
Trinh Van Giang, Kunihiko Hiraishi, Quan Thanh Tho
International Technical Conference on Circuits/Systems, Computers and Communications, 439-442, 2016
ケアスタッフ連携スケジューリング問題 ~ 通信手段による比較とソルバーによる最適解 ~
平石邦彦, 崔舜星, 小林孝一, 佐々木康朗, 内平直志
信学技報, 115, 480, 91-96, 2016
Diagnosis of Stochastic Discrete Event Systems Based on N-Gram Models with Wildcard Characters
Kunihiko Hiraishi, Koichi Kobayashi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E99A, 2, 462-467, 2016
Event-Triggered and Self-Triggered Control for Networked Control Systems Using Online Optimization
Koichi Kobayashi, Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E99A, 2, 468-474, 2016
突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果
崔舜星, 平石邦彦, 内平直志
信学技報, 115, 480, 91-96, 2016
Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 790-795, 2016
Spatio-Temporal Situation Recognition for Groups in Caregiving Services
Kaoru Sato, Kunihiko Hiraishi, Koichi Kobayashi
2016 IEEE INTERNATIONAL MULTI-DISCIPLINARY CONFERENCE ON COGNITIVE METHODS IN SITUATION AWARENESS AND DECISION SUPPORT (COGSIMA), 78-82, 2016
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks
K. Kobayashi, K. Hiraishi
Applied Mathematics, 7, 15, 1734-1747, 2016
Optimal Control of Multi-Hop Control Networks Based on the MLD Framework
Koichi Kobayashi, Kunihiko Hiraishi
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 10, 6, 699-705, 2015
Simulating Markovian stochastic Petri Nets by difference equations with interval parameters
Kunihiko Hiraishi
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 25, 3, 365-386, 2015
Situation Recognition from Behavior Logs in Caregiving Services
K. Sato, K. Kobayashi, K. Hiraishi
International Technical Conference on Circuits/Systems, Computers and Communications, 721-724, 2015
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-state Probabilities
K. Kobayashi, K. Hiraishi
信学技報, 115, 90, 1-6, 2015
音声つぶやきシステムのリアルタイム状況把握に対する効果について
梶原大起, 黒田賢, 宮本貴拓, 平石邦彦, 小林孝一, 崔舜星, 内平直志
サービス学会第3回国内大会予稿集, 290-293, 2015
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models
Miwa Yoshimoto, Koichi Kobayashi, Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E98A, 2, 618-625, 2015
Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints
Koichi Kobayashi, Takuro Nagami, Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E98A, 2, 626-634, 2015
A joint model for vietnamese part-of-speech tagging using dual decomposition
Ngo Xuan Bach, Kunihiko Hiraishi, Nguyen Le Minh, Akira Shimazu
Smart Innovation, Systems and Technologies, 30, 353-367, 2015
Algorithm for Optimal Real-time Pricing Based on Switched Markov Chain Models
Koichi Kobayashi, Kunihiko Hiraishi
2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT), -, 2015
Optimal Real-time Pricing for Energy Management Systems Based on Switched Interval Markov Chains
Koichi Kobayashi, Kunihiko Hiraishi
Proc. of the 20th International Symposium on Artificial Life and Robotics, 172-175, 2015
アトラクターに着目したブーリアンネットワークの設計
小林 孝一, 平石 邦彦
システム/制御/情報, 59, 7, 250-255, 2015
Algorithm for Optimal Real-time Pricing Based on Switched Markov Chain Models
Koichi Kobayashi, Kunihiko Hiraishi
2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT), 1-5, 2015
On Event-triggered and Self-triggered Control Using Online Optimization
Koichi Kobayashi, Kunihiko Hiraishi
2015 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS (ICM), 586-591, 2015
Optimal Real-time Pricing of Electricity with Consideration for Decrease in Price Effect
Koichi Kobayashi, Kunihiko Hiraishi
2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 539-544, 2015
Mesoscopic Modeling of Airport Surface by Object Petri Nets
Kenji Uehara, Kunihiko Hiraishi, Koichi Kobayashi
2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 298-303, 2015
価格効果の劣化を考慮した電力のリアルタイムプライシング
小林孝一, 平石邦彦
第58回離散事象システム研究会予稿集, 1-5, 2015
(解説)アトラクターに着目したブーリアンネットワークの設計
小林孝一, 平石邦彦
システム/制御/情報, 59, 7, 250-255, 2015
Optimal Control of Probabilistic Logic Networks and Its Application to Real-Time Pricing of Electricity
Koichi Kobayashi, Kunihiko Hiraishi
MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, -, 2015
An optimization-based approach to sampled-data control of networked control systems with multiple delays
Koichi Kobayashi, Kunihiko Hiraishi
APPLIED MATHEMATICS AND COMPUTATION, 247, 786-794, 2014
ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors
Koichi Kobayashi, Kunihiko Hiraishi
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 11, 6, 1253-1259, 2014
On Model Checking of Real-Time Pricing Systems Modeled by Probabilistic Discrete Models,
K. Kobayashi, K. Hiraishi
SICE Annual Conference, -, 2014
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation
Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E97A, 2, 459-467, 2014
Modeling and Design of Networked Control Systems Using a Stochastic Switching Systems Approach
Koichi Kobayashi, Kunihiko Hiraishi
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 9, 1, 56-61, 2014
A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing
Koichi Kobayashi, Kunihiko Hiraishi
MATHEMATICAL PROBLEMS IN ENGINEERING, 2014, Article ID 906717, -, 2014
Large-Scale MPC with Continuous/Discrete-Valued Inputs: Compensation of Quantization Errors, Stabilization, and Its Application
Koichi Kobayashi, Wai Wai Shein, Kunihiko Hiraishi
SICE Journal of Control, Measurement, and System Integration, 7, 3, 152-158, 2014
A Polynomial Optimization Approach to Optimal Control of Context-Sensitive Probabilistic Boolean networks
K. Kobayashi, K. Hiraishi
19th International Symposium on Artificial Life and Robotics, 92-95, 2014
Behavior Modeling in Physical and Adaptive Intelligent Services
Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
2014 IEEE INTERNATIONAL INTER-DISCIPLINARY CONFERENCE ON COGNITIVE METHODS IN SITUATION AWARENESS AND DECISION SUPPORT (COGSIMA), 244-249, 2014
Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming
Koichi Kobayashi, Kunihiko Hiraishi
2014 IEEE 13TH INTERNATIONAL WORKSHOP ON ADVANCED MOTION CONTROL (AMC), 741-745, 2014
Detection of unusual human activities based on behavior modeling
Kunihiko Hiraishi, Koichi Kobayashi
IFAC Proceedings Volumes (IFAC-PapersOnline), 9, 3, 182-187, 2014
Design of Boolean Networks Based on Prescribed Singleton Attractors
Koichi Kobayashi, Kunihiko Hiraishi
2014 EUROPEAN CONTROL CONFERENCE (ECC), 1504-1509, 2014
Simultaneous Design of Prices and Incentives for Demand Response
K. Kobayashi, K. Hiraishi
International Technical Conference on Circuits/Systems, Computers and Communications, 853-856, 2014
Structural Control of Probabilistic Boolean Networks and Its Application to Design of Real-Time Pricing Systems
Koichi Kobayashi, Kunihiko Hiraishi
IFAC PAPERSONLINE, 47, 3, 2442-2447, 2014
A Probabilistic Approach to Design of Real-time Pricing Systems over Communication Networks
Koichi Kobayashi, Kunihiko Hiraishi
IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 4732-4737, 2014
Discourse Analysis of Voice-Based Computer-Mediated Communication in Distributed Work
T. Chino, K. Torii, N. Uchihira, K. Hiraishi, Y. Hirabayashi, T. Sugihara
5th Int’l Conf. on Applied Human Factors and Ergonomics (AHFE) 2014, 3423-3434, 2014
Improving Reliability in Management of Cloud Computing Infrastructure by Formal Methods
Shinji Kikuchi, Kunihiko Hiraishi
2014 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM (NOMS), 1-7, 2014
イベントログに基づいた行動型サービスの分析 (システム数理と応用)
甚田 貴徳, 青戸 渉, 宮崎 晃和, 崔 舜星, 小林 孝一, 平石 邦彦, 内平 直志
信学技報, 113, 121, 1-8, 2013
局所無線同報サービスに向けた無線資源空間再利用に関する一検討
門 洋一, 平石 邦彦, リム アズマン オスマン, 丹 康雄
電子情報通信学会技術研究報告, 113, 38, 293-298, 2013
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems
Koichi Kobayashi, Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E96A, 5, 861-868, 2013
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters
K. Hiraishi, M. Yoshimoto, K, Kobayashi
DANMS 2013, IFIP/IEEE International Symposium on Integrated Network Management, 1383-1388, 2013
An approximation algorithm for box abstraction of transition systems on real state spaces
Kunihiko Hiraishi, Koich Kobayashi
FORMAL METHODS IN SYSTEM DESIGN, 42, 2, 175-192, 2013
確率ハイブリッドシステムの離散抽象化 ~ 遺伝子トグルスイッチの解析への適用 ~
福井康仁, 小林孝一, 平石邦彦
信学技報, 112, 457, 75-79, 2013
音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
内平 直志, 鳥居 健太郎, 平林 裕治, 崔 舜星, 平石 邦彦, 知野 哲朗, 杉原 太郎
電子情報通信学会技術研究報告. MSS, システム数理と応用, 112, 457, -, 2013
Optimal Control of Boolean Biological Networks Modeled by Petri Nets
Koichi Kobayashi, Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E96A, 2, 532-539, 2013
1ステップ予測区間に着目した線形システムのSelf-Triggered最適制御 (システム数理と応用)
小林 孝一, 平石 邦彦
電子情報通信学会技術研究報告 : 信学技報, 112, 383, 45-48, 2013
時相論理による拘束をもつマルチビークルシステムの最適制御
永見琢朗, 小林孝一, 平石邦彦
計測自動制御学会 第52回離散事象システム研究会, 21-26, 2013
Optimal control of multi-vehicle systems with LTL specifications
Koichi Kobayashi, Takuro Nagami, Kunihiko Hiraishi
Proceedings of the IEEE Conference on Decision and Control, 7709-7714, 2013
区間演算を用いた不確かさを含むハイブリッドシステムのモデリングと制御
小林孝一, 平石邦彦
計測と制御, 52, 12, 1096-1101, 2013
Discrete abstraction for a class of stochastic hybrid systems based on bounded bisimulation
Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi
Proceedings of the IEEE Conference on Decision and Control, 2641-2646, 2013
Self-triggered model predictive control using optimization with prediction horizon one
Koichi Kobayashi, Kunihiko Hiraishi
Mathematical Problems in Engineering, 2013, -, 2013
Optimal control of gene regulatory networks with effectiveness of multiple drugs: A boolean network approach
Koichi Kobayashi, Kunihiko Hiraishi
BioMed Research International, 2013, -, 2013
(解説)複雑なプロセスのモデル化-ビジネスプロセスから人間系へ-
平石 邦彦
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 6, 4, 357-264, 2013
時間,資源の制約をもつビジネスプロセスの形式検証
綿引, 石川, 平石
電子情報通信学会論文誌D, J96-D, 8, 1878-1891, 2013
Modeling and verification of change processes in collaborative software engineering
Phan Thi Thanh Huyen, Kunihiko Hiraishi, Koichiro Ochimizu
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7973, 3, 17-32, 2013
Synthesis of configuration change procedure using model finder
Shinji Kikuchi, Satoshi Tsuchiya, Kunihiko Hiraishi
IEICE Transactions on Information and Systems, E96-D, 8, 1696-1706, 2013
Dual Decomposition for Vietnamese Part-of-Speech Tagging
Ngo Xuan Bach, Kunihiko Hiraishi, Nguyen Le Minh, Akira Shimazu
17TH INTERNATIONAL CONFERENCE IN KNOWLEDGE BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS - KES2013, 22, 123-131, 2013
Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems
Wai Wai Shein, Koichi Kobayashi, Kunihiko Hiraishi
2013 PROCEEDINGS OF SICE ANNUAL CONFERENCE (SICE), 601-606, 2013
Optimal Control of Multi-Vehicle Systems with LTL Specifications
Koichi Kobayashi, Takuro Nagami, Kunihiko Hiraishi
2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 7709-7714, 2013
Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework
Koichi Kobayashi, Kunihiko Hiraishi
39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 5656-5661, 2013
Controller design of networked control systems with multiple delays using interval methods
Koichi Kobayashi, Kunihiko Hiraishi
IECON Proceedings (Industrial Electronics Conference), 5632-5637, 2013
Verification of Opacity and Diagnosability for Pushdown Systems
Koichi Kobayashi, Kunihiko Hiraishi
JOURNAL OF APPLIED MATHEMATICS, 2013, 654059, -, 2013
Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs
Koichi Kobayashi, Kunihiko Hiraishi
JOURNAL OF APPLIED MATHEMATICS, 2013, 615060, -, 2013
Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One
K. Kobayashi, K. Hiraishi
18th International Symposium on Artificial Life and Robotics, 342-345, 2013
Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters (システム数理と応用)
平石 邦彦, 吉本 美和, 小林 孝一
電子情報通信学会技術研究報告 : 信学技報, 112, 274, 29-34, 2012
ワイルドカード文字を用いた確率離散事象システムの故障診断
平石 邦彦, 吉本 美和, 小林 孝一
電子情報通信学会技術研究報告 : 信学技報, 112, 273, 29-34, 2012
Probabilistic-Constrained Optimal Control of a Class of Stochastic Hybrid Systems
Koichi Kobayashi, Koichiro Matou, Kunihiko Hiraishi
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 10, 5, 897-904, 2012
Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization
Koichi Kobayashi, Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E95A, 9, 1512-1517, 2012
ネットワーク化制御系のためのSelf-Triggeredモデル予測制御
小林 孝一, 平石 邦彦
回路とシステムワークショップ論文集 Workshop on Circuits and Systems, 25, 202-207, 2012
Model-less Diagnosis of Discrete Event Systems Based on Sequence Analysis
Miwa Yoshimoto, Kunihiko Hiraishi
International Technical Conference on Circuits/Systems, Computers and Communications, C-W1-03, -, 2012
離散値入力をもつ大規模システムに対する最適制御問題の一解法
小林 孝一, 平石 邦彦
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report, 112, 116, 155-158, 2012
Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems
Koichi Kobayashi, Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E95A, 4, 691-696, 2012
AS-4-7 1ステップ予測区間の最適化によるSelf-Triggered制御(AS4.高信頼制御を支える無線通信技術,シンポジウムセッション)
小林 孝一, 平石 邦彦
電子情報通信学会総合大会講演論文集, 2012, "S-46"-"S-47", 2012
仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
崔 舜星, 平石 邦彦, 内平 直志, 鳥居 健太郎, 田中 俊明, 平林 裕治
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report, 111, 453, 17-22, 2012
複数の確率的遅延を有するネットワーク化システムの制御 (システム数理と応用)
小林 孝一, 平石 邦彦
電子情報通信学会技術研究報告 : 信学技報, 111, 405, 85-88, 2012
音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
内平 直志, 鳥居 健太郎, 平石 邦彦, 崔 舜星, 知野 哲郎, 平林 裕治, 杉原 太郎
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report, 111, 405, -, 2012
Symbolic approach to verification and control of deterministic/probabilistic Boolean networks
K. Kobayashi, K. Hiraishi
IET Systems Biology, 6, 6, 215-222, 2012
Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems
K. Kobayashi, K. Hiraishi
SICE Journal of Control, Measurement, and System Integration, 5, 3, 184-189, 2012
A Petri Net-Based Approach to Control of Boolean Networks
Koichi Kobayashi, Kunihiko Hiraishi
2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 399-403, 2012
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems
Koichi Kobayashi, Kunihiko Hiraishi
38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 3200-3205, 2012
Design of Networked Control Systems Using a Stochastic Switching Systems Approach
Koichi Kobayashi, Kunihiko Hiraishi
38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 3170-3175, 2012
Modeling of Complex Processes in Nursing and Caregiving Services
Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka
PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 1449-1454, 2012
On opacity and diagnosability in discrete event systems modeled by pushdown automata
Koichi Kobayashi, Kunihiko Hiraishi
IEEE International Conference on Automation Science and Engineering, 662-667, 2012
遷移関係に基づくハイブリッドシステムの近似双模倣
崔 舜星, 平石 邦彦, 小林 孝一
計測自動制御学会論文集 = Transactions of the Society of Instrument and Control Engineers, 47, 12, 614-620, 2011
Stabilization of Finite Automata with Application to Hybrid Systems Control
Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 21, 4, 519-545, 2011
外部刺激を考慮した遺伝子ネットワークの最適制御
小林 孝一, 平石 邦彦
計測自動制御学会論文集 = Transactions of the Society of Instrument and Control Engineers, 47, 11, 520-526, 2011
看護・介護サービスにおける複雑なプロセスのモデル化にむけて (システム数理と応用)
平石 邦彦, 崔 舜星, 鳥居 健太郎, 内平 直志, 田中 俊明
電子情報通信学会技術研究報告 : 信学技報, 111, 294, 35-40, 2011
計算ツールを用いた確率ブーリアンネットワークの解析と制御
小林 孝一, 平石 邦彦
計測と制御 = Journal of the Society of Instrument and Control Engineers, 50, 11, 969-974, 2011
1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
鳥居 健太郎, 内平 直志, 田中 俊明, 平石 邦彦, 平林 裕治
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2011, 64-65, 2011
Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty
Koichi Kobayashi, Kunihiko Hiraishi
SICE Annual Conference, 606-607, 2011
確率的拘束を有する確率ハイブリッドシステムのモデル予測制御 (最適化とその応用)
小林 孝一, 間藤 光一朗, 平石 邦彦
回路とシステムワークショップ論文集 Workshop on Circuits and Systems, 24, 176-181, 2011
ハイブリッドシステムにおけるモデル予測制御遷移関係に基づく近似事前解法
崔 舜星, 平石 邦彦, 小林 孝一
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report, 111, 105, 97-102, 2011
Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets
Koichi Kobayashi, Kunihiko Hiraishi
International Workshop on Biological Processes & Petri Nets, 7-20, 2011
Mixed-Integer-Programming-Based Approach to Optimal Design of Networked Control Systems
Koichi Kobayashi, Kunihiko Hiraishi
SICE Journal of Control, Measurement, and System Integration, 4, 3, 243-248, 2011
A-12-12 遷移関係に基づくハイブリッドモデル予測制御の近似事前解法(A-12.コンカレント工学,一般セッション)
崔 舜星, 平石 邦彦, 小林 孝一
電子情報通信学会総合大会講演論文集, 2011, -, 2011
A-12-11 確率ハイブリッドシステムの確率拘束付き最適制御(A-12.コンカレント工学,一般セッション)
間藤 光一朗, 小林 孝一, 平石 邦彦
電子情報通信学会総合大会講演論文集, 2011, -, 2011
Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks
Koichi Kobayashi, Kunihiko Hiraishi
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 4371-4376, 2011
Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints
Koichi Kobayashi, Koichiro Matou, Kunihiko Hiraishi
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 3307-3312, 2011
Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters
Kunihiko Hiraishi
IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 3798-3803, 2011
A Symbolic Approach to Probabilistic Verification of Boolean Networks
Koichi Kobayashi, Kunihiko Hiraishi
IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 3764-3769, 2011
Formal Verification of Business Processes with Temporal and Resource Constraints
Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi
2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 1173-1180, 2011
Optimal control of a class of networked systems based on MLD framework
Koichi Kobayashi, Kunihiko Hiraishi
IFAC Proceedings Volumes (IFAC-PapersOnline), 18, 1, 66-71, 2011
整数計画法を用いた確率ブーリアンネットワークの最適制御
小林 孝一, 平石 邦彦
計測自動制御学会論文集 = Transactions of the Society of Instrument and Control Engineers, 46, 11, 659-665, 2010
On Analysis of a Class of Timed Continuous Petri Nets and Its Applications
平石 邦彦
SICE Annual Conference, 2253-2259, 2010
Reachability Analysis of Probabilistic Boolean Networks using Model Checking
Koichi Kobayashi, Kunihiko Hiraishi
SICE Annual Conference, 829-832, 2010
確率ブーリアンネットワークの解析と制御のための計算手法
小林 孝一, 平石 邦彦
研究報告バイオ情報学(BIO), 2010, 10, 1-8, 2010
Optimal control of context-sensitive probabilistic Boolean networks using integer programming
Koichi Kobayashi, Kunihiko Hiraishi
Proceedings of the IEEE Conference on Decision and Control, 7507-7512, 2010
Polynomial-time algorithm for controllability test of a class of Boolean biological networks
Koichi Kobayashi, Jun-Ichi Imura, Kunihiko Hiraishi
Eurasip Journal on Bioinformatics and Systems Biology, 2010, -, 2010
Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming
Koichi Kobayashi, Kunihiko Hiraishi
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 7507-7512, 2010
MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions
Koichi Kobayashi, Kunihiko Hiraishi
2010 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 1331-1336, 2010
An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks
Koichi Kobayashi, Kunihiko Hiraishi
2010 AMERICAN CONTROL CONFERENCE, 6710-6715, 2010
ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム
小林 孝一, 井村 順一, 平石 邦彦
EURASIP Journal on Bioinformatics and Systems Biology, 2010, 210685, -, 2010
形式検証技術の数理 : 安心・安全なシステム構築に向けて
平石 邦彦
計測と制御 = Journal of the Society of Instrument and Control Engineers, 48, 11, 793-796, 2009
Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics
Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
ICCAS-SICE2009, 4831-4836, 2009
On Solvability of a Decentralized Supervisory Control Problem With Communication
Kunihiko Hiraishi
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 54, 3, 468-480, 2009
Application of DES Theory to Verification of Software Components
Kunihiko Hiraishi, Petr Kucera
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E92A, 2, 604-610, 2009
MLD-Based modeling of hybrid systems with parameter uncertainty
Koichi Kobayashi, Kunihiko Hiraishi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E92-A, 11, 2745-2754, 2009
Approximate algorithm for hybrid model predictive control with time-varying reference
Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E92-A, 8, 2046-2052, 2009
Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods
Koichi Kobayashi, Kunihiko Hiraishi
2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 3632-3637, 2009
Polynomial-Time Controllability Analysis of Boolean Networks
Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 1694-+, 2009
MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty
Koichi Kobayashi, Kunihiko Hiraishi
IEICE Trans Fundamentals of Electronics, Communications and Computer Sciences, E92-A, 4, 1047-1055, 2009
Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference
Koichi KOBAYASHI, Kunihiko HIRAISHI, Nguyen Van TANG
IEICE Trans Fundamentals of Electronics, Communications and Computer Sciences, E92-A, 4, 1047-1055, 2009
A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems
Kunihiko Hiraishi, Koichi Kobayashi
ICCAS-SICE2009, 1717-1721, 2009
DES Technology: Toward Dependable Embedded Control Systems
平石 邦彦
ICCAS-SICE2009, 470-473, 2009
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A, 11, 3219-3228, 2008
有限時間区間に対するハイブリッドシステムの離散抽象化
平石 邦彦, 小林 孝一, 崔 舜星
計測自動制御学会論文集, 44, 9, 751-759, 2008
離散状態の流体化によるシステム検証
平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 108, 78, 7-12, 2008
Explicit Modeling of Mode Transition Constraints for Model Predictive Control
Koichi Kobayashi, Kunihiko Hiraishi
2008 PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-7, 1510-1515, 2008
Explicit modeling of mode transition constraints for model predictive control
Koichi Kobayashi, Kunihiko Hiraishi
Proceedings of the SICE Annual Conference, 1569-1574, 2008
n-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems
K. Kobayashi, N. V, Tang, K. Hiraishi
23rd International Technical Conference on Circuits/Systems, Computers and Communications, 913-916, 2008
Graph-Switching Based Modeling of Mode Transition Constraints for Model Predictive Control of Hybrid Systems
Koichi Kobayashi, Kunihiko Hiraishi
SICE Journal of Control, Measurement, and System Integration, 1, 5, 376-382, 2008
Algorithm for multislot just-in-time scheduling on identical parallel machines
Shao Chin Sung, Ondřej Čepek, Kunihiko Hiraishi
Second International Conference on Innovative Computing, Information and Control, ICICIC 2007, 120-123, 2008
Performance evaluation of workflows using continuous Petri nets with interval firing speeds
Kunihiko Hiraishi
APPLICATIONS AND THEORY OF PETRI NETS, 5062, 11, 231-250, 2008
Special section on concurrent/hybrid systems: Theory and applications - Foreword
Kunihiko Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E90A, 11, 2442-2442, 2007
Performance evaluation of workflows using fluid flow approximation of discrete sets and probability distributions
Kunihiko Hiraishi
IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 88-93, 2007
Application of DES theory to verification of software components
Kunihiko Hiraishi, Petr Kucera
PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-8, 524-529, 2007
連続化近似を用いたワークフローの性能評価
平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 106, 368, 7-12, 2006
ICカードを利用した教育環境における報奨システムの提案
岡田 政則, 平石 邦彦, 中西 一夫, 國藤 進
電子情報通信学会技術研究報告. ET, 教育工学, 106, 364, 19-24, 2006
Special section on concurrent/hybrid systems: Theory and applications
Atsushi Ohta, Haruo Hasegawa, Susumu Hashizume, Kunihiko Hiraishi, Shiro Masuda, Morikazu Nakamura, Hiroto Tanaka, Naoshi Uchihira, Shingo Yamaguchi, Satoshi Yamane
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E89-A, 11, 3165-, 2006
混合論理動的システム表現の改良に関する研究
崔 舜星, 平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 106, 88, 7-11, 2006
研究室配属のためのシラバスシステムの提案と試作
藤本 高志, 平石 邦彦, 三浦 元喜, 國藤 進
情報処理学会研究報告グループウェアとネットワークサービス(GN), 2006, 34, 67-72, 2006
A-3-9 温度並列SAのシーケンスペアによるパッキング問題への適用(A-3.VLSI設計技術,一般講演)
小畑 貴之, 金子 峰雄, 平石 邦彦
電子情報通信学会総合大会講演論文集, 2006, -, 2006
Solving optimization problems on hybrid systems by graph exploration
Kunihiko Hiraishi
WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 282-287, 2006
A wavelet approach for solving linear quadratic optimal control problems
Hussein Jaddu, Kunihiko Hiraishi
2006 SICE-ICASE INTERNATIONAL JOINT CONFERENCE, VOLS 1-13, 3104-+, 2006
Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems
Sunseong Choe, Kunihiko Hiraishi
7th Asian Symposium on Computer Mathematics, 62-65, 2005
記号計算に基づくハイブリッドシステムの解析
平石 邦彦
計測と制御 = Journal of the Society of Instrument and Control Engineers, 44, 7, 446-451, 2005
Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction
平石 邦彦
Workshop on Control of Hybrid and Discrete Event Systems, Satellite Workshop of ATPN2005, 41-60, 2005
制約充足に基づいたハイブリッドシステム設計のための計算ツール
平石 邦彦, 崔 舜星
第18回 回路とシステム軽井沢ワークショップ, 287-292, 2005
Modeling and Verification of e-Society using DES Technology
平石 邦彦
SICE Annual Conference, 2808-2811, 2005
Inkdot versus pebble over two-dimensional languages
Atsuyuki Inoue, Akira Ito, Kunihiko Hiraishi, Katsushi Inoue
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E88-A, 5, 1173-1180, 2005
Deriving discrete behavior of hybrid systems under incomplete knowledge
K Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E87A, 11, 2913-2918, 2004
On Solvability of an Agent-based Control Problem under Dynamic Environment
平石 邦彦
7th IFAC Workshop on Discrete Event Systems, 91-95, 2004
Efficient reduction technique for agent-based control systems
Kunihiko Hiraishi, Koji Okahashi
10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, 385-390, 2004
周期的なタイムスロット付きジャストインタイムスケジューリング問題のヒューリスティックアルゴリズム
千葉 英史, 平石 邦彦
情報処理学会研究報告アルゴリズム(AL), 2004, 34, 1-8, 2004
D-7-7 転写制御領域の解析と破壊株データからの遺伝子の依存関係推定
小倉 亨, 平石 邦彦
電子情報通信学会総合大会講演論文集, 2003, 1, -, 2003
A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples
Takeshi Koshiba, Kunihiko Hiraishi
The Third International Colloquium, 253-265, 2003
Modeling Agent-Based-Control of Discrete Event Systems
平石 邦彦
Workshop on Discrete Event Systems Control, Int. Conf. Application and Theory of Petri Nets, 159-176, 2003
ハイブリッドシステムの定性的解析について
野村 彰典, 平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 102, 429, 29-34, 2002
エージェント指向ペトリネットPN^2の効率的解析について : 動作を保存する縮約法
岡橋 孝治, 平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 102, 429, 23-28, 2002
Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs
K Hiraishi, E Levner, M Vlach
COMPUTERS & OPERATIONS RESEARCH, 29, 7, 841-848, 2002
エージェント指向ペトリネットの理論的解析について
平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 101, 623, 25-32, 2002
A Formalisim for Decentralized Control of Discrete Event System
平石 邦彦
SICE Annual Conference, 833-838, 2002
PN2: An elementary model for design and analysis of multi-agent systems
K Hiraishi
COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2315, 220-235, 2002
An algorithm for legal firing sequence problem of Petri nets based on partial order method
K Hiraishi, H Tanaka
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E84A, 11, 2881-2884, 2001
A Petri-net-based model for the mathematical analysis of multi-agent systems
K Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E84A, 11, 2829-2837, 2001
Just-in-time Scheduling of Parallel Identical Machines with Multiple Time Slots
平石 邦彦
4th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, 33-39, 2001
離散事象システムの言語安定性について
平石 邦彦, 盧 吉錫
計測自動制御学会論文集, 37, 8, 733-740, 2001
量子計算によるペトリネットの解析について
平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 101, 212, 1-8, 2001
時間付き離散事象システムの時間付き安定性
望山 洋, 平石 邦彦
計測自動制御学会論文集, 37, 5, 411-418, 2001
繰り返し囚人のジレンマゲームにおける競合共進化モデルの特性について
横山 智生, 平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 100, 571, 23-30, 2001
The Completeness of Linear Logic for Petri Net Models
K. Ishihara, K. Hiraishi
Logic Journal of the IGPL, 9, 4, -, 2001
Synthesis of supervisors using learning algorithm of regular languages
K Hiraishi
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 11, 3, 211-234, 2001
An efficient algorithm for exploring state spaces of Petri nets with large capacities
K Hiraishi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E83A, 11, 2188-2195, 2000
自動搬送車の動作計画問題のグラフ理論的解法について
宋 少秋, 高島 康裕, 山根 毅史, 平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 100, 103, 1-8, 2000
A Petri-net-based model for the mathematical analysis of multi-agent systems
K Hiraishi
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 3009-3014, 2000
複数の評価構造の統合について
平石 邦彦, 清水 美保子
計測自動制御学会論文集, 35, 10, 1329-1331, 1999
A-12-2 キャッシングを用いた状態空間探索におけるダブルワークを抑制する為の状態管理方法
小池 憲史, 平石 邦彦
電子情報通信学会ソサイエティ大会講演論文集, 1999, 0, -, 1999
SA-7-5 並行システムの理論モデルにおける並行性の表現について
平石 邦彦
電子情報通信学会総合大会講演論文集, 1999, 486-487, 1999
Synthesis of Supervisors for Discrete Event Systems Allowing Concurrent Behavior
K. Hiraishi
IEEE International Conference on Systems, Man and Cybernetics, V13-V20, 1999
Petri Net Models for Intuitionistic Linear Logic
Keiko Ishihara, Kunihiko Hiraishi
Korea-Japan Joint Workshop on Algorithms and Computation, 23-30, 1999
エージェント侵略の過程と中間的な手をとる戦略の有利性について
千葉一博, 平石邦彦
人工知能学会誌, 14, 4, 657-666, 1999
Efficient analysis of concurrent systems by Petri nets
K Hiraishi
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 81, 9, 29-36, 1998
エージェント侵略の過程における中間的な手をとる戦略の有利性について
千葉 一博, 平石 邦彦
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI, 12, 544-545, 1998
ペトリネットは便利な道具
内平 直志, 平石 邦彦, 青山 幹雄
情報処理, 39, 1, 67-70, 1998
Iterated continuous prisoner's dilemma game and its usefulness in analyzing multi-agent systems
K Chiba, K Hiraishi
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 644-649, 1998
繰り返し連続化囚人のジレンマゲームの提案
千葉一博, 平石邦彦
人工知能学会誌, 13, 4, 56-65, 1998
正規言語の学習アルゴリズムを用いたスーパバイザの合成
K. Hiraishi
4th International Workshop on Discrete Event Systems, 213-218, 1998
繰り返し連続化囚人のジレンマゲーム
千葉一博, 平石邦彦
システム・情報合同シンポジウム講演論文集, 1997, 135-140, 1997
通信網経路選択問題における階層型分散探索と通信制御について
有我洋樹, 平石邦彦
電気関係学会北陸支部連合大会講演論文集, 1997, 308-, 1997
ペトリネットによるコンカレントシステムの効率的解析について
平石 邦彦
電子情報通信学会論文誌. A, 基礎・境界, 80, 7, 1048-1055, 1997
グループ意志決定におけるAHP重要度の感度係数を用いたトレードオフ分析支援法
加藤 直孝, 平石 邦彦, 國藤 進
Technical memorandum, 97, 1-7, 1997
グループ意思決定における重要度の感度係数を用いたトレードオフ分析支援について(意思決定・AHP(2))
加藤 直孝, 平石 邦彦, 國藤 進
日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集, 1997, 94-95, 1997
ペトリネットモデルに対する線形論理の完全性
石原 啓子, 平石 邦彦
電子情報通信学会技術研究報告. COMP, コンピュテーション, 96, 585, 41-50, 1997
研究の特性情報を用いた研究者グループ生成支援システム
高嶋 秀和, 平石 邦彦
電子情報通信学会総合大会講演論文集, 1997, Sogo Pt 1, 308-, 1997
Persistency and weak persistency in partial order based analysis
K Hiraishi
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 5, 4285-4290, 1997
An efficient algorithm for finding all maximal conflict sets in concurrent programs
K Hiraishi
SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 39-47, 1997
グループ意思決定における重要度の感度係数を用いたトレードオフ分析支援について
加藤直孝, 平石邦彦, 国藤進
日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集, 1997, 94-95, 1997
離散事象システムの概念と理論・応用
平石邦彦
システム・情報合同シンポジウム講演論文集, 1996, 241-246, 1996
関連度行列とファジィ理論を統合した意思決定について
後藤繁生, 平石邦彦, 国藤進
人工知能学会人工知能基礎論研究会資料, 26th, 26, 52-57, 1996
半順序法による並行システムの効率的な検証について
平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 96, 204, 1-7, 1996
区間内の手をとる囚人のジレンマゲームを用いた取引モデルについて
千葉一博, 国藤進, 平石邦彦
人工知能学会全国大会論文集, 10th, 155-158, 1996
時間ペトリネットの状態空間の縮約について
福田 博之, 平石 邦彦
電子情報通信学会総合大会講演論文集, 1996, -, 1996
性能評価モデルとしてのペトリネットについて
平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 95, 471, 55-60, 1996
Reduced Timed Transition Systems based on Partial Order Methods
K. Hiraishi, H. Fukuda
International Technical Conference on Circuits/Systems, Computers and Communications, 2, 1208-1211, 1996
Reduced state space representation for unbounded vector state spaces
Kunihiko Hiraishi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1091, 230-248, 1996
非有界な状態空間をもつ並行システムに対する縮約状態空間の生成について
平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 95, 137, 1-6, 1995
会議システムと合意ベース手法を用いた意思決定支援について
佐藤浩司, 平石 邦彦
情報処理学会研究報告マルチメディア通信と分散処理(DPS), 1995, 13, 81-86, 1995
SOME COMPLEXITY RESULTS ON TRANSITION-SYSTEMS AND ELEMENTARY NET SYSTEMS
K HIRAISHI
THEORETICAL COMPUTER SCIENCE, 135, 2, 361-376, 1994
構造的性質を用いて並行システムを効率的に検証する方法について
平石 邦彦
電子情報通信学会技術研究報告. COMP, コンピュテーション, 94, 181, 19-26, 1994
2分決定グラフを用いた離散事象システムの効率的な検証方式について
中野 稔, 平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 94, 148, 9-16, 1994
高水準ペトリネットによるソフトウェア開発方法論
青山 幹雄, 平石 邦彦, 内平 直志, Mikio Aoyama, Kunihiko Hiraishi, Naoshi Uchihira, 富士通(株)ビジネス通信事業本部, 北陸先端科学技術大学院大学情報科学科, 株, 東芝研究開発センターシステム, ソフトウェア生産技術研究所, Communication Systems Division Fujitsu Limited, School of Information, Science Japan, Advanced Institute of Science, Technology Hokuriku, Systems & Software Engineering Lab. R, D Center, TOSHIBA Cor
コンピュータソフトウェア, 11, 4, 3-19, 1994
ネット理論の現状と課題
平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 94, 6, 1-8, 1994
Reduced State Space Generation of Concurrent Systems Using Weak Persistency
K. Hiraishi
11th International Conference on Analysis and Optimization of Systems, Lecture Notes in Control and Information Sciences, 199, 10, 191-197, 1994
Reduced State Space Generation of Concurrent Systems Using Weak Persistency
K. Hiraishi
Joint Technical Conference on Circuits/Systems, Computers and Communications, 1, 318-323, 1993
ON STRUCTURAL CONDITIONS FOR WEAK PERSISTENCY AND SEMILINEARITY OF PETRI NETS
K HIRAISHI, A ICHIKAWA
THEORETICAL COMPUTER SCIENCE, 93, 2, 185-199, 1992
CONSTRUCTION OF A CLASS OF SAFE PETRI NETS BY PRESENTING FIRING SEQUENCES
K HIRAISHI
LECTURE NOTES IN COMPUTER SCIENCE, 616, 244-262, 1992
INFORMATION STRUCTURING AND ITS IMPLEMENTATIONS ON A RESEARCH DECISION SUPPORT SYSTEM
M TODA, K HIRAISHI, T SHINTANI, Y KATAYAMA
DECISION SUPPORT SYSTEMS, 7, 2, 169-184, 1991
Information Structuring for Advanced Decision Support Systems
M. Toda, K. Hiraishi, T. Shintani, T. Katayama
Decison Support Systems, 4, 2, 169-184, 1991
関係データモデルに基づいたモデル構築支援
平石 邦彦, 黒川 伊保子
全国大会講演論文集, 38, 0, 1852-1853, 1989
可達性の必要十分条件を求めることが可能なペトリネットのクラス
平石 邦彦, 市川 惇信
計測自動制御学会論文集, 24, 6, p635-640, 1988
Information Structuring for Advanced Decision Support Systems
T. Toda, K. Hiraishi
ORSA/TIMS Joint Meeting, MC16-4, -, 1988
ANALYSIS AND CONTROL OF DISCRETE EVENT SYSTEMS REPRESENTED BY PETRI NETS
A ICHIKAWA, K HIRAISHI
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 103, 115-134, 1988
研究分野地図に基づく研究開発の計画・推進支援システム
戸田 光彦, 平石 邦彦
研究 技術 計画, 3, 2, 153-161, 1988
ペトリネットにおいて指定された発火回数ベクトルを発火可能とする初期マ-キング
平石 邦彦, 市川 惇信
計測自動制御学会論文集, 23, 12, p1319-1325, 1987
KORE - A HYBRID KNOWLEDGE PROGRAMMING ENVIRONMENT FOR DECISION SUPPORT BASED ON A LOGIC PROGRAMMING LANGUAGE
T SHINTANI, Y KATAYAMA, K HIRAISHI, M TODA
LECTURE NOTES IN COMPUTER SCIENCE, 264, 22-33, 1987
2B1 研究分野地図に基づく研究開発の計画支援
戸田 光彦, 平石 邦彦
年次大会講演要旨集, 2, 0, 7-11, 1987
関係テーブルに基づく推論エンジンKORE/IE
新谷 虎松, 平石 邦彦, 片山 佳則, 戸田 光彦
全国大会講演論文集, 33, 0, 1411-1412, 1986
ペトリネットにおけるあるクラスの可達性の必要十分条件
市川 惇信, 平石 邦彦
計測自動制御学会論文集, 20, 8, p762-764, 1984