KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language. - Toramatsu Shintani; Yoshinori Katayama; Kunihiko Hiraishi; Mitsuhiko Toda (LP, 1986)

Exact Learning of Semilinear Sets. - Yuji Takada; Kunihiko Hiraishi; Yasubumi Sakakibara (ALT, 1990)

Information structuring and its implementations on a research decision support system. - Mitsuhiko Toda; Kunihiko Hiraishi; Toramatsu Shintani; Yoshinori Katayama (Decis. Support Syst., 1991)

Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. - Kunihiko Hiraishi (Application and Theory of Petri Nets, 1992)

On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets. - Kunihiko Hiraishi; Atsunobu Ichikawa (Theor. Comput. Sci., 1992)

Some Complexity Results on Transition Systems and Elementary Net Systems. - Kunihiko Hiraishi (Theor. Comput. Sci., 1994)

A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS. - Kunihiko Hiraishi (Decis. Support Syst., 1995)

Reducted State Space Representation for Unbounded Vector State Spaces. - Kunihiko Hiraishi (Application and Theory of Petri Nets, 1996)

An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs. - Kunihiko Hiraishi (PDSE, 1997)

A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples. - Takeshi Koshiba; Kunihiko Hiraishi (Words, Languages & Combinatorics, 2000)

A Petri-net-based model for the mathematical analysis of multi-agent systems. - Kunihiko Hiraishi (SMC, 2000)

Synthesis of Supervisors Using Learning Algorithm of Regular Languages. - Kunihiko Hiraishi (Discret. Event Dyn. Syst., 2001)

The Completeness of Linear Logic for Petri Net Models. - Keiko Ishihara; Kunihiko Hiraishi (Log. J. IGPL, 2001)

PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. - Kunihiko Hiraishi (COORDINATION, 2002)

Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs. - Kunihiko Hiraishi; Eugene Levner; Milan Vlach (Comput. Oper. Res., 2002)

A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots. - Eishi Chiba; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Inkdot versus Pebble over Two-Dimensional Languages. - Atsuyuki Inoue; Akira Ito 001; Kunihiko Hiraishi; Katsushi Inoue (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Special Section on Concurrent/Hybrid Systems: Theory and Applications. - Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. - Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Analysis and control of hybrid systems with parameter uncertainty based on interval methods. - Koichi Kobayashi; Kunihiko Hiraishi (ACC, 2009)

Polynomial-time controllability analysis of Boolean networks. - Koichi Kobayashi; Jun-ichi Imura; Kunihiko Hiraishi (ACC, 2009)

MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty. - Koichi Kobayashi; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference. - Koichi Kobayashi; Kunihiko Hiraishi; Nguyen Van Tang (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Application of DES Theory to Verification of Software Components. - Kunihiko Hiraishi; Petr Kucera (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

On Solvability of a Decentralized Supervisory Control Problem With Communication. - Kunihiko Hiraishi (IEEE Trans. Autom. Control., 2009)

MLD-based Modeling and MPC of Discrete-time Hybrid Systems with Stochastic Mode Transitions. - Koichi Kobayashi; Kunihiko Hiraishi (CCA, 2010)

An integer programming approach to control problems in probabilistic Boolean networks. - Koichi Kobayashi; Kunihiko Hiraishi (ACC, 2010)

Optimal control of context-sensitive probabilistic Boolean networks using integer programming. - Koichi Kobayashi; Kunihiko Hiraishi (CDC, 2010)

Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks. - Koichi Kobayashi; Jun-ichi Imura; Kunihiko Hiraishi (EURASIP J. Bioinform. Syst. Biol., 2010)

Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks. - Koichi Kobayashi; Kunihiko Hiraishi (CDC/ECC, 2011)

Optimal control of a class of stochastic hybrid systems with probabilistic constraints. - Koichi Kobayashi; Koichiro Matou; Kunihiko Hiraishi (CDC/ECC, 2011)

Formal verification of business processes with temporal and resource constraints. - Kenji Watahiki; Fuyuki Ishikawa; Kunihiko Hiraishi (SMC, 2011)

An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks. - Koichi Kobayashi; Kunihiko Hiraishi (Autom., 2011)

Stabilization of Finite Automata with Application to Hybrid Systems Control. - Koichi Kobayashi; Jun-ichi Imura; Kunihiko Hiraishi (Discret. Event Dyn. Syst., 2011)

On opacity and diagnosability in discrete event systems modeled by pushdown automata. - Koichi Kobayashi; Kunihiko Hiraishi (CASE, 2012)

A Petri Net-Based Approach to Control of Boolean Networks. - Koichi Kobayashi; Kunihiko Hiraishi (ICNC, 2012)

Design of networked control systems using a stochastic switching systems approach. - Koichi Kobayashi; Kunihiko Hiraishi (IECON, 2012)

Modeling of complex processes in nursing and caregiving services. - Kunihiko Hiraishi; Sunseong Choe; Kentaro Torii; Naoshi Uchihira; Toshiaki Tanaka (SMC, 2012)

Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems. - Koichi Kobayashi; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization. - Koichi Kobayashi; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Optimal control of multi-vehicle systems with LTL specifications. - Koichi Kobayashi; Takuro Nagami; Kunihiko Hiraishi (CDC, 2013)

Modeling and Verification of Change Processes in Collaborative Software Engineering. - Thi Thanh Huyen Phan; Kunihiko Hiraishi; Koichiro Ochimizu (ICCSA (3), 2013)

Controller design of networked control systems with multiple delays using interval methods. - Koichi Kobayashi; Kunihiko Hiraishi (IECON, 2013)

Modeling and optimal control of multi-hop control networks based on the MLD framework. - Koichi Kobayashi; Kunihiko Hiraishi (IECON, 2013)

Diagnosis of stochastic discrete event systems based on N-gram models with wildcard characters. - Kunihiko Hiraishi; Miwa Yoshimoto; Koichi Kobayashi (IM, 2013)

Dual Decomposition for Vietnamese Part-of-Speech Tagging. - Ngo Xuan Bach; Kunihiko Hiraishi; Minh Le Nguyen 001; Akira Shimazu (KES, 2013)

An approximation algorithm for box abstraction of transition systems on real state spaces. - Kunihiko Hiraishi; Koichi Kobayashi (Formal Methods Syst. Des., 2013)

Synthesis of Configuration Change Procedure Using Model Finder. - Shinji Kikuchi; Satoshi Tsuchiya; Kunihiko Hiraishi (IEICE Trans. Inf. Syst., 2013)

Optimal Control of Boolean Biological Networks Modeled by Petri Nets. - Koichi Kobayashi; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems. - Koichi Kobayashi; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Verification of Opacity and Diagnosability for Pushdown Systems. - Koichi Kobayashi; Kunihiko Hiraishi (J. Appl. Math., 2013)

Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs. - Koichi Kobayashi; Kunihiko Hiraishi (J. Appl. Math., 2013)

Self-triggered optimal control of linear systems using convex quadratic programming. - Koichi Kobayashi; Kunihiko Hiraishi (AMC, 2014)

Behavior modeling in physical and adaptive intelligent services. - Kunihiko Hiraishi; Koichi Kobayashi; Sunseong Choe; Naoshi Uchihira (CogSIMA, 2014)

Design of Boolean networks based on prescribed singleton attractors. - Koichi Kobayashi; Kunihiko Hiraishi (ECC, 2014)

A probabilistic approach to design of real-time pricing systems over communication networks. - Koichi Kobayashi; Kunihiko Hiraishi (IECON, 2014)

Improving reliability in management of cloud computing infrastructure by formal methods. - Shinji Kikuchi; Kunihiko Hiraishi (NOMS, 2014)

Detection of Unusual Human Activities Based on Behavior Modeling. - Kunihiko Hiraishi; Koichi Kobayashi (WODES, 2014)

An optimization-based approach to sampled-data control of networked control systems with multiple delays. - Koichi Kobayashi; Kunihiko Hiraishi (Appl. Math. Comput., 2014)

Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation. - Koichi Kobayashi; Yasuhito Fukui; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014)

ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors. - Koichi Kobayashi; Kunihiko Hiraishi (IEEE ACM Trans. Comput. Biol. Bioinform., 2014)

Optimal real-time pricing of electricity with consideration for decrease in price effect. - Koichi Kobayashi; Kunihiko Hiraishi (CASE, 2015)

Mesoscopic modeling of airport surface by object Petri nets. - Kenji Uehara; Kunihiko Hiraishi; Koichi Kobayashi (CASE, 2015)

On event-triggered and self-triggered control using online optimization. - Koichi Kobayashi; Kunihiko Hiraishi (ICM, 2015)

Algorithm for optimal real-time pricing based on switched Markov chain models. - Koichi Kobayashi; Kunihiko Hiraishi (ISGT, 2015)

Simulating Markovian stochastic Petri Nets by difference equations with interval parameters. - Kunihiko Hiraishi (Discret. Event Dyn. Syst., 2015)

Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints. - Koichi Kobayashi; Takuro Nagami; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015)

Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models. - Miwa Yoshimoto; Koichi Kobayashi; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015)

Spatio-temporal situation recognition for groups in caregiving services. - Kaoru Sato; Kunihiko Hiraishi; Koichi Kobayashi (CogSIMA, 2016)

Diagnosis of Stochastic Discrete Event Systems Based on N-Gram Models with Wildcard Characters. - Kunihiko Hiraishi; Koichi Kobayashi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016)

Event-Triggered and Self-Triggered Control for Networked Control Systems Using Online Optimization. - Koichi Kobayashi; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016)

Information supervisory control of human behavior - Experiments and formal modeling. - Kunihiko Hiraishi; Naoshi Uchihira; Sunseong Choe; Koichi Kobayashi (ASCC, 2017)

Modeling and optimization of item changes in vending machines. - Gaku Nemoto; Kunihiko Hiraishi (ASCC, 2017)

Model-based approach to analysis of human behavior with applications to nursing and caregiving services. - Koichi Kobayashi; Kunihiko Hiraishi; Sunseong Choe; Naoshi Uchihira (GCCE, 2017)

Optimization-Based Approaches to Control of Probabilistic Boolean Networks. - Koichi Kobayashi; Kunihiko Hiraishi (Algorithms, 2017)

Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities. - Koichi Kobayashi; Kunihiko Hiraishi (IEEE Trans. Neural Networks Learn. Syst., 2017)

Information Supervisory Control of Human Behavior - A Formal Model and Simulation. - Kunihiko Hiraishi; Naoshi Uchihira; Sunseong Choe; Koichi Kobayashi (SMC, 2018)

A pathfinding problem for search trees with unknown edge length. - Kunihiko Hiraishi; Koichi Kobayashi (J. Discrete Algorithms, 2018)

Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks. - Trinh Van Giang; Kunihiko Hiraishi (ASCC, 2019)

Process mining approach for the conformance checking of discrete-event simulation model. - Kenji Uehara; Kunihiko Hiraishi (SICE, 2019)

Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation. - Kunihiko Hiraishi (SMC, 2019)

Sector Identification for a Large Amount of Airspace Traffic Data. - Shoya Tokumaru; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019)

An efficient method for approximating attractors in large-scale asynchronous Boolean models. - Trinh Van Giang; Kunihiko Hiraishi (BIBM, 2020)

Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine. - Kenji Fujita; Kunihiko Hiraishi; Toshiaki Aoki (IEEM, 2020)

A Study on Attractors of Generalized Asynchronous Random Boolean Networks. - Trinh Van Giang; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020)

An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks. - Trinh Van Giang; Kunihiko Hiraishi (CIBCB, 2021)

A Pathfinding Problem for Fork-Join Directed Acyclic Graphs with Unknown Edge Length. - Kunihiko Hiraishi (Algorithms, 2021)

An Efficient Aircraft Boarding Strategy Considering Implementation. - Kenji Uehara; Kunihiko Hiraishi; Kokolo Ikeda (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021)

Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces. - Van-Giang Trinh; Kunihiko Hiraishi; Belaid Benhamou (BCB, 2022)

Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding. - Van-Giang Trinh; Belaid Benhamou; Kunihiko Hiraishi; Sylvain Soliman (CMSB, 2022)

A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling. - Kenji Uehara; Kunihiko Hiraishi (SMC, 2022)

An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks. - Trinh Van Giang; Tatsuya Akutsu; Kunihiko Hiraishi (IEEE ACM Trans. Comput. Biol. Bioinform., 2022)

On Attractor Detection and Optimal Control of Deterministic Generalized Asynchronous Random Boolean Networks. - Trinh Van Giang; Kunihiko Hiraishi (IEEE ACM Trans. Comput. Biol. Bioinform., 2022)

Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction. - Ryosuke Mishima; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)

Validation of the POMDP-based Model for Assortment Optimization of Vending Machines. - Gaku Nemoto; Kunihiko Hiraishi (IEEM, 2023)

A POMDP-Based Approach to Assortment Optimization Problem for Vending Machine. - Gaku Nemoto; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024)

A Framework for Modeling Airspace Traffic Flow without Using Any Specific Waypoints. - Kenji Uehara; Kunihiko Hiraishi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025)