TOP  >  Personal Info.  >  Published Papers
HIRAISHI, Kunihiko Professor
Information Science, Computing Science

Published Papers

295 items
A New Integrated Fuzzy Optimization Approach for Sustainable Supply Chain Planning subjected to Sustainability and Uncertain Environments
Noppasorn Sutthibutr, Kunihiko Hiraishi, Navee Chiadamrong, Suttipong Thajchayapong
10th IEEE Asia-Pacific Conference on Computer Science and Data Engineering(CSDE), -, 2023
Validation of the POMDP-based Model for Assortment Optimization of Vending Machines
Gaku Nemoto, Kunihiko Hiraishi
IEEE International Conference on Industrial Engineering and Engineering Management(IEEM), -, 2023
Mesoscopic Modeling of Airspace Traffic Flow
Kenji Uehara, Kunihiko Hiraishi
Proc. the 22nd IFAC world congress, 5000-5005, 2023
Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction
Ryosuke MISHIMA, Kunihiko HIRAISHI
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E105.A, 10, 1413-1420, 2022
A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling
Kenji Uehara, Kunihiko Hiraishi
Proc. 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC2022), 1564-1569, 2022
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding
Van-Giang Trinh, Belaid Benhamou, Kunihiko Hiraishi, Sylvain Soliman
Computational Methods in Systems Biology, 158-176, 2022
Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces
Van-Giang Trinh, Kunihiko Hiraishi, Belaid Benhamou
Proceedings of the 13th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, -, 2022
Creativity in awareness communication
Masanori Okada, Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji
Journal of Intelligent Informatics and Smart Technology, 7, April, -, 2022
Little-JIL を用いた宇宙機システム運用シナリオのモデル検証
染谷 一徳, 平石 邦彦
信学技報, MSS2021-78, 121-126, 2022
プロセスマイニングを応用した大容量交通流の Mesoscopic モデル化手法
上原 健嗣, 平石 邦彦
信学技報, MSS2021-51, 112-117, 2022
An Efficient Mesoscopic Modeling Method for Large Volume Traffic Flow Using Process Mining Techniques
Kenji Uehara, Kunihiko Hiraishi
IEEE CSDE & i-COSTE 2021,Brisbane, Australia, -, 2021
A Pathfinding Problem for Fork-Join Directed Acyclic Graphs with Unknown Edge Length
Kunihiko Hiraishi
Algorithms, 14, 12, -, 2021
Creativity in awareness communication
Masanori Okada, Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji
16th International Conference on Knowledge, Information and Creativity Support Systems(KICSS2021), KICSS2021-0061S, -, 2021
An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks
Van Giang Trinh, Kunihiko Hiraishi
18th IEEE International Conference in Computational Intelligence in Bioinformatics and Computational Biology (CIBCB 2021), 126-134, 2021
An Efficient Aircraft Boarding Strategy Considering Implementation
Kenji UEHARA, Kunihiko HIRAISHI, Kokolo IKEDA
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E104.A, 8, 1051-1058, 2021
Modeling Inter-sector Air Traffic Flow and Congestion Degree Prediction
Ryosuke MISHIMA, Kunihiko HIRAISHI
信学技報, 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, 19, 3, 1794-1806, 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, 2020-December, 1098-1102, 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, 19, 2, 806-818, 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
Stochastic Modeling and Scalable Predictive Control for Automated Demand Response
Koichi Kobayashi, Kunihiko Hiraishi
International Journal of Robust and Nonlinear Control, 31, 6, 2001-2017, 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
The 64th SIG. Discrete Event Systems, 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
Optimal Control of Multi-Vehicle Systems with Logical Constraints on Graphs
KOBAYASHI Koichi, HIRAISHI Kunihiko
Journal of The Society of Instrument and Control Engineers, 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
音声つぶやきシステムのリアルタイム状況把握に対する効果について
梶原大起, 黒田賢, 宮本貴拓, 平石邦彦, 小林孝一, 崔舜星, 内平直志
サービス学会第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
On Self-triggered and Event-triggered Model Predictive Control Based on Transmissions of Control Input Sequences
KOBAYASHI Koichi, HIRAISHI Kunihiko
IEICE technical report, 114, 388, 45-48, 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
Design of Boolean Networks Focusing on Singleton Attractors
KOBAYASHI Koichi, HIRAISHI Kunihiko
SYSTEMS, CONTROL AND INFORMATION, 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
Modeling of Traffic Congestion on Airport Surface using Petri Net
UEHARA Kenji, HIRAISHI Kunihiko, KOBAYASHI Koichi
IEICE technical report, 114, 313, 17-22, 2014
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
Proc. 5th Int’l Conf. on Applied Human Factors and Ergonomics (AHFE) 2014 / 2nd Int’l Conf. on the Human Side of Service Engineering (HSSE) 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
Optimal Control of Networked Control Systems with Multiple Uncertain Delays
KOBAYASHI Koichi, HIRAISHI Kunihiko
IEICE technical report, 113, 121, 9-14, 2013
Event-log Based Analysis of Physical and Adaptive Intelligent Services
JINDA Takanori, AOTO Wataru, MIYAZAKI Akikazu, CHOE Sunsoeog, KOBAYASHI Koichi, HIRAISHI Kunihiko, UCHIHIRA Naoshi
IEICE technical report, 113, 121, 1-8, 2013
A study on spatial reuse in wireless local broadcasting services
KADO Youiti, HIRAISHI Kunihiko, LIM Azman OSMAN, TAN Yasuo
IEICE technical report. ASN, Ambient intelligence and sensor networks, 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
Temporal-Spatial Collaboration by Smart Voice Messaging in Nursing and Caregiving : System Architecture and Experimental Results
UCHIHIRA Naoshi, TORII Kentaro, HIRABAYASHI Yuji, CHOE Sunseong, HIRAISHI Kunihiko, CHINO Tetsuro, SUGIHARA Taro
Mathematical Systems Science and its Applications : IEICE technical report, 112, 457, 43-43, 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
Self-Triggered Optimal Control of Linear Systems Focusing on Prediction Horizon One
KOBAYASHI Koichi, HIRAISHI Kunihiko
Mathematical Systems Science and its Applications : IEICE technical report, 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
Analysis and Control of Hybrid Systems with Parameter Uncertainty Using Interval Arithmetic
小林孝一, 平石邦彦
計測と制御, 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
HIRAISHI Kunihiko, YOSHIMOTO Miwa, KOBAYASHI Koichi
Mathematical Systems Science and its Applications : IEICE technical report, 112, 274, 29-34, 2012
Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters
HIRAISHI Kunihiko, YOSHIMOTO Miwa, KOBAYASHI Koichi
IEICE technical report. Circuits and systems, 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 Model Predictive Control for Network Control Systems
小林 孝一, 平石 邦彦
回路とシステムワークショップ論文集 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
Computation Method for Optimal Control of Large-Scale Systems with Discrete-Valued Inputs
KOBAYASHI Koichi, HIRAISHI Kunihiko
Mathematical Systems Science and its Applications : 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 SELF-TRIGGERED CONTROL VIA OPTIMIZATION WITH PREDICTION HORIZON ONE
Kobayashi Koichi, Hiraishi Kunihiko
Proceedings of the IEICE General Conference, 2012, "S-46"-"S-47", 2012
Experimental Evaluation of Smart Voice Messaging in Nursing and Caregiving Services Using Virtual Field
CHOE Sunsoeog, HIRAISHI Kunihiko, UCHIHIRA Naoshi, TORII Kentaro, TANAKA Toshiaki, HIRABAYASHI Yuji
Mathematical Systems Science and its Applications : IEICE technical report, 111, 453, 17-22, 2012
Control of Uncertain Networked Systems with Multiple Random Delays
KOBAYASHI Koichi, HIRAISHI Kunihiko
Mathematical Systems Science and its Applications : IEICE technical report, 111, 405, 85-88, 2012
Temporal-Spatial Communication by Smart Voice Messaging in Nursing and Caregiving : Proposal of Information Supervisory Control
UCHIHIRA Naoshi, TORII Kentaro, HIRAISHI Kunihiko, CHOE Sunseong, CHINO Tetsuro, HIRABAYASHI Yuji, SUGIHARA Taro
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report, 111, 405, 1-1, 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
Approximate Bisimulation for Hybrid Systems Based on Transition Relations
CHOE Sunseong, HIRAISHI Kunihiko, KOBAYASHI Koichi
計測自動制御学会論文集 = 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
Optimal Control of Gene Regulatory Networks with External Stimuli
KOBAYASHI Koichi, HIRAISHI Kunihiko
Transactions of the Society of Instrument and Control Engineers, 47, 11, 520-526, 2011
Toward Modeling of Complex Processes in Nursing and Caregiving Services
HIRAISHI Kunihiko, Choe Sunseong, TORII Kentaro, UCHIHIRA Naoshi, TANAKA Toshiaki
Mathematical Systems Science and its Applications : IEICE technical report, 111, 294, 35-40, 2011
Analysis and Control of Probabilistic Boolean Networks Using Computational Tools
KOBAYASHI Koichi, HIRAISHI Kunihiko
計測と制御 = 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
Model Predictive Control of stochastic Hybrid Systems with Probabilistic Constraints
小林 孝一, 間藤 光一朗, 平石 邦彦
回路とシステムワークショップ論文集 Workshop on Circuits and Systems, 24, 176-181, 2011
Model Predictive Control for Hybrid Systems Approximate Precomputation Based on Transition Relations
CHOE Sunseong, HIRAISHI Kunihiko, KOBAYASHI Koichi
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 NEW ALGORITHM FOR HYBRID MODEL PREDICTIVE CONTROL BASED ON TRANSITION RELATIONS
Choe Sunseong, Hiraishi Kunihiko, Kobayashi Koichi
Proceedings of the IEICE General Conference, 2011, 193-193, 2011
A-12-11 CONSTRAINED OPTIMAL CONTROL OF A CLASS OF STOCHASTIC HYBRID SYSTEMS
Matou Koichiro, Kobayashi Koichi, Hiraishi Kunihiko
Proceedings of the IEICE General Conference, 2011, 192-192, 2011
Let's go to IEICE Workshops!:Mathematical Systems Science and its applications (MSS)
HIRAISHI Kunihiko
IEICE Fundamentals Review, 5, 2, 177-177, 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
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), 2011, 1173-1180, 2011
Optimal Control of Probabilistic Boolean Networks Using Integer Programming
KOBAYASHI Koichi, HIRAISHI Kunihiko
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
HIRAISHI Kunihiko
SICE Annual Conference, 2253-2259, 2010
Reachability Analysis of Probabilistic Boolean Networks using Model Checking
Koichi Kobayashi, Kunihiko Hiraishi
SICE Annual Conference, 829, 829-832, 2010
Computational Techniques for Analysis and Control of Probabilistic Boolean Networks
KOBAYASHI KOICHI, HIRAISHI KUNIHIKO
研究報告バイオ情報学(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
Polynomial-Time Algorithm for Controllability Test of Boolean Networks
KOBAYASHI Koichi, IMURA Jun-ichi, HIRAISHI Kunihiko
EURASIP Journal on Bioinformatics and Systems Biology, 2010, 210685, 13-18, 2010
Mathematics of Formal Verification Technology : Towards Building Safe and Trustworthy Systems
HIRAISHI Kunihiko
計測と制御 = 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
HIRAISHI Kunihiko
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
Discrete Abstraction of Hybrid Systems for Finite Time Intervals
HIRAISHI Kunihiko, KOBAYASHI Koichi, CHOE Sunseong
計測自動制御学会論文集, 44, 9, 751-759, 2008
System Verification Using Fluidification
HIRAISHI Kunihiko
IEICE technical report, 108, 78, 7-12, 2008
Controllability analysis of gene regulatory networks by Boolean network models
小林 孝一, 井村 順一, 平石 邦彦
回路とシステム軽井沢ワークショップ論文集, 21, 261-265, 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
Performance Evaluation of Workflows Using Continuous Approximation
HIRAISHI Kunihiko
IEICE technical report, 106, 368, 7-12, 2006
The Bounty System using IC cards in an Educational Environment
OKADA Masanori, HIRAISHI Kunihiko, NAKANISHI Kazuo, KUNIFUJI Susumu
IEICE technical report, 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
An Improvement of Mixed Logical Dynamical System Representation
CHOE Sunseong, HIRAISHI Kunihiko
IEICE technical report, 106, 88, 7-11, 2006
Proposing and designing courseware syllabus system to assigned students in research laboratory
FUJIMOTO Takashi, HIRAISHI Kunihiko, MIURA Motoki, KUNIFUJI Susumu
IPSJ SIG Notes, 2006, 34, 67-72, 2006
A-3-9 温度並列SAのシーケンスペアによるパッキング問題への適用(A-3.VLSI設計技術,一般講演)
小畑 貴之, 金子 峰雄, 平石 邦彦
電子情報通信学会総合大会講演論文集, 2006, 73-73, 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
Analysis of Hybrid Systems based on Symbolic Computation
HIRAISHI Kunihiko
Journal of The Society of Instrument and Control Engineers, 44, 7, 446-451, 2005
Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction
HIRAISHI Kunihiko
Workshop on Control of Hybrid and Discrete Event Systems, Satellite Workshop of ATPN2005, 41-60, 2005
A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots
CHIBA Eishi, HIRAISHI Kunihiko
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, 88, 5, 1192-1199, 2005
Computational Tools for Designing Hybrid Systems
Kunihiko HIRAISHI, Sunseong CHOE
The 18th Workshop on Circuits and Systems in Karuizawa, 287-292, 2005
Modeling and Verification of e-Society using DES Technology
HIRAISHI Kunihiko
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
HIRAISHI Kunihiko
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
A Heuristic Method for Just -In- Time Scheduling Problem with Periodic Time Slots
CHIBA Eishi, HIRAISHI Kunihiko
IPSJ SIG Notes, 2004, 34, 1-8, 2004
D-7-6 Specific binding sites and DNA microarraydata analysis for gene dependency
Ueda Tomoyuki, Hiraishi Kunihiko
Proceedings of the IEICE General Conference, 2004, 1, 75-75, 2004
D-7-7 転写制御領域の解析と破壊株データからの遺伝子の依存関係推定
小倉 亨, 平石 邦彦
電子情報通信学会総合大会講演論文集, 2003, 1, 78-78, 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
HIRAISHI Kunihiko
Workshop on Discrete Event Systems Control, Int. Conf. Application and Theory of Petri Nets, 159-176, 2003
On Qualitative Analisys of Hybrid Systems
NOMURA Akinori, HIRAISHI Kunihiko
Technical report of IEICE. CST, 102, 429, 29-34, 2002
On Efficient Analysis of Agent-Oriented Petri net PN^2 : Behavior - Preserving Reduction Method
OKAHASHI Kouji, HIRAISHI Kunihiko
Technical report of IEICE. 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
On Theoretical Analysis of Agent-Oriented Petri Nets
HIRAISHI Kunihiko
Technical report of IEICE. CST, 101, 623, 25-32, 2002
A Formalisim for Decentralized Control of Discrete Event System
HIRAISHI Kunihiko
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
HIRAISHI Kunihiko
4th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, 33-39, 2001
On Language Stability of Discrete Event Systems
HIRAISHI Kunihiko, ROH Kil-Seok
計測自動制御学会論文集, 37, 8, 733-740, 2001
Analysis of Petri Nets by Quantum Computation
HIRAISHI Kunihiko
Technical report of IEICE. CST, 101, 212, 1-8, 2001
Timed Stability of Timed Discrete-Event Systems
MOCHIYAMA Hiromi, HIRAISHI Kunihiko
計測自動制御学会論文集, 37, 5, 411-418, 2001
The Characteristic of Competitive Co-evolution Model of Iterated Prisoner's Dilemma Game
YOKOYAMA Tomoiki, HIRAISHI Kunihiko
Technical report of IEICE. 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
Modeling of Multi-Agent Systems by Petri Nets(Special Issue on Applications of Petri Nets)
HIRAISHI Kunihiko
SYSTEMS, CONTROL AND INFORMATION, 45, 8, 439-444, 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
Graph theoretical analysis on the vehicle motion planning in an AGV system
SON S, TAKASHIMA Y, YAMANE T, HIRAISHI K
Technical report of IEICE. 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
On Integration of Evaluation Structures
HIRAISHI Kunihiko, SHIMIZU Mihoko
計測自動制御学会論文集, 35, 10, 1329-1331, 1999
Cache-Management Method for Reduction of Double Work on State-Space Caching
KOIKE Satoshi, HIRAISHI Kunihiko
Proceedings of the Society Conference of IEICE, 1999, 0, 145-145, 1999
On Representing Concurrency in Theoretical Models for Concurrent Systems
HIRAISHI Kunihiko
Proceedings of the IEICE General Conference, 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
On the Profitability of Strategies Taking Intermediate Actions in the Process of Agent Invasion
CHIBA Kazuhiro, HIRAISHI Kunihiko
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI, 12, 544-545, 1998
Petri Nets:Book and Tool Review
UCHIHIRA Naoshi, HIRAISHI Kunihiko, AOYAMA Mikio
IPSJ Magazine, 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
Synthesis of Supervisors Using Learning Algorithm of Regular Languages
K. Hiraishi
4th International Workshop on Discrete Event Systems, 98, 220, 213-218, 1998
Iterated Continuous Prisoner’s Dilemma Game.
千葉一博, 平石邦彦
システム・情報合同シンポジウム講演論文集, 1997, 135-140, 1997
通信網経路選択問題における階層型分散探索と通信制御について
有我洋樹, 平石邦彦
電気関係学会北陸支部連合大会講演論文集, 1997, 308-, 1997
Effcient Analysis of Concurrent Systems by Petri Nets
HIRAISHI Kunihiko
The Transactions of the Institute of Electronics,Information and Communication Engineers. A, 80, 7, 1048-1055, 1997
Multi‐dimensional Mobile Information Network. Effecient Analysis of Concurrent Systems by Petri Nets.
平石邦彦
電子情報通信学会論文誌 A, J80-A, 7, 1048-1055, 1997
グループ意志決定におけるAHP重要度の感度係数を用いたトレードオフ分析支援法
加藤 直孝, 平石 邦彦, 國藤 進
Technical memorandum, 97, 1-7, 1997
グループ意思決定における重要度の感度係数を用いたトレードオフ分析支援について(意思決定・AHP(2))
加藤 直孝, 平石 邦彦, 國藤 進
日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集, 1997, 94-95, 1997
The Completeness of Linear Logic for Petri Net Models
ISHIHARA Keiko, HIRAISHI Kunihiko
IEICE technical report. Theoretical foundations of Computing, 96, 585, 41-50, 1997
On a support system for generating research groups using characteristic information of researches
TAKASHIMA Hidekazu, HIRAISHI Kunihiko
Proceedings of the IEICE General Conference, 1997, Sogo Pt 1, 308-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
Trade-off analysis support using the sensitivity coefficient of the importance in group decision making.
加藤直孝, 平石邦彦, 国藤進
日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集, 1997, 94-95, 1997
Concept, theory and application of discrete event system.
平石邦彦
システム・情報合同シンポジウム講演論文集, 1996, 241-246, 1996
A Consideration on Decision Making by Merging Relation Matrix with Fuzzy Logic.
後藤繁生, 平石邦彦, 国藤進
人工知能学会人工知能基礎論研究会資料, 26th, 26, 52-57, 1996
Partial Order Methods : Efficient Verification of Concurrent Systems
HIRAISHI Kunihiko
Technical report of IEICE. CST, 96, 204, 1-7, 1996
On the Dealings Model Using the Prisoner’s Dilemma Game in which Hands are Taken within the Range.
千葉一博, 国藤進, 平石邦彦
人工知能学会全国大会論文集, 10th, 155-158, 1996
On Reduction of State Spaces of Timed Petri Net
Fukuda Hiroyuki, Hiraishi Kunihiko
Proceedings of the IEICE General Conference, 1996, 335-335, 1996
On Petri Nets as Performance Evaluation Models
Hiraishi Kunihiko
Technical report of IEICE. 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
On Reduced State Space Generation for Concurrent Systems with Unbounded States
HIRAISHI Kunihiko
Technical report of IEICE. CST, 95, 137, 1-6, 1995
A Consensus - based Decision Support System with Desktop Conference Systems
SATO Koji, HIRAISHI Kunihiko
IPSJ SIG Notes, 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
On Efficient Verification Methods for Concurrent Systems Using Structural Properties
Hiraishi Kunihiko
IEICE technical report. Theoretical foundations of Computing, 94, 181, 19-26, 1994
An Efficient Verification Method for Discrete Event Systems using Binary Decision Diagrams
Nakano Minoru, Hiraishi Kunihiko
Technical report of IEICE. CST, 94, 148, 9-16, 1994
Software Development Methodologies Based on High-Level Petri Nets.
AOYAMA Mikio, HIRAISHI Kunihiko, UCHIHIRA Naoshi, 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
A Brief introduction of Petri net theory and related problems
Hiraishi Kunihiko
Technical report of IEICE. 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
An Approach to Model Building on Relational Data Model
平石 邦彦, 黒川 伊保子
全国大会講演論文集, 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
Support System for the Planning and Promotion of Research and Development Based o R&D maps
TODA Mitsuhiko, HIRAISHI Kunihiko
The Journal of Science Policy and Research Management, 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
Inference Engine KORE/IE based on Relational Tables
新谷 虎松, 平石 邦彦, 片山 佳則, 戸田 光彦
全国大会講演論文集, 33, 0, 1411-1412, 1986
Conflict-Free Places and Fireability of a Solution of Matrix Equation in Petri Net
HIRAISHI Kunihiko, ICHIKAWA Atsunobu
Transactions of the Society of Instrument and Control Engineers, 22, 7, 750-755, 1986
ペトリネットにおけるあるクラスの可達性の必要十分条件
市川 惇信, 平石 邦彦
計測自動制御学会論文集, 20, 8, p762-764, 1984