Kunihiko Hiraishi

104 papers B 13C 11Misc 3Journal 46Unranked 29
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Framework for Modeling Airspace Traffic Flow without Using Any Specific Waypoints.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kenji Uehara, Kunihiko Hiraishi
2025 B conf
Fuzzy Optimization with Resilience Metrics for Sustainable Supply Chain Planning under Uncertain and Disruption Environments.
KES
Noppasorn Sutthibutr, Kunihiko Hiraishi, Navee Chiadamrong, Suttipong Thajchayapong
2025 B conf
Trajectory Alignment: A Method for Extracting Main Routes from Large Trajectory Data.
SMC
Kunihiko Hiraishi
2024 J jnl
A POMDP-Based Approach to Assortment Optimization Problem for Vending Machine.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Gaku Nemoto, Kunihiko Hiraishi
2023 — conf
Validation of the POMDP-based Model for Assortment Optimization of Vending Machines.
IEEM
Gaku Nemoto, Kunihiko Hiraishi
2022 B conf
A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling.
SMC
Kenji Uehara, Kunihiko Hiraishi
2022 J jnl
An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Trinh Van Giang, Tatsuya Akutsu, Kunihiko Hiraishi
2022 — conf
Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces.
BCB
Van-Giang Trinh, Kunihiko Hiraishi, Belaid Benhamou
2022 — conf
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding.
CMSB
Van-Giang Trinh, Belaid Benhamou, Kunihiko Hiraishi, Sylvain Soliman
2022 J jnl
Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Ryosuke Mishima, Kunihiko Hiraishi
2022 J jnl
On Attractor Detection and Optimal Control of Deterministic Generalized Asynchronous Random Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Trinh Van Giang, Kunihiko Hiraishi
2021 J jnl
A Pathfinding Problem for Fork-Join Directed Acyclic Graphs with Unknown Edge Length.
Algorithms
Kunihiko Hiraishi
2021 J jnl
An Efficient Aircraft Boarding Strategy Considering Implementation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kenji Uehara, Kunihiko Hiraishi, Kokolo Ikeda
2021 C conf
An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks.
CIBCB
Trinh Van Giang, Kunihiko Hiraishi
2020 J jnl
A Study on Attractors of Generalized Asynchronous Random Boolean Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Trinh Van Giang, Kunihiko Hiraishi
2020 — conf
An efficient method for approximating attractors in large-scale asynchronous Boolean models.
BIBM
Trinh Van Giang, Kunihiko Hiraishi
2020 — conf
Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine.
IEEM
Kenji Fujita, Kunihiko Hiraishi, Toshiaki Aoki
2019 — conf
Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks.
ASCC
Trinh Van Giang, Kunihiko Hiraishi
2019 — conf
Process mining approach for the conformance checking of discrete-event simulation model.
SICE
Kenji Uehara, Kunihiko Hiraishi
2019 J jnl
Sector Identification for a Large Amount of Airspace Traffic Data.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shoya Tokumaru, Kunihiko Hiraishi
2019 B conf
Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation.
SMC
Kunihiko Hiraishi
2018 J jnl
A pathfinding problem for search trees with unknown edge length.
J. Discrete Algorithms
Kunihiko Hiraishi, Koichi Kobayashi
2018 B conf
Information Supervisory Control of Human Behavior - A Formal Model and Simulation.
SMC
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 J jnl
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities.
IEEE Trans. Neural Networks Learn. Syst.
Koichi Kobayashi, Kunihiko Hiraishi
2017 — conf
Information supervisory control of human behavior - Experiments and formal modeling.
ASCC
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 — conf
Model-based approach to analysis of human behavior with applications to nursing and caregiving services.
GCCE
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
2017 — conf
Modeling and optimization of item changes in vending machines.
ASCC
Gaku Nemoto, Kunihiko Hiraishi
2017 J jnl
Optimization-Based Approaches to Control of Probabilistic Boolean Networks.
Algorithms
Koichi Kobayashi, Kunihiko Hiraishi
2016 J jnl
Diagnosis of Stochastic Discrete Event Systems Based on
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kunihiko Hiraishi, Koichi Kobayashi
2016 J jnl
Event-Triggered and Self-Triggered Control for Networked Control Systems Using Online Optimization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Kunihiko Hiraishi
2016 Misc conf
Spatio-temporal situation recognition for groups in caregiving services.
CogSIMA
Kaoru Sato, Kunihiko Hiraishi, Koichi Kobayashi
2015 — conf
Algorithm for optimal real-time pricing based on switched Markov chain models.
ISGT
Koichi Kobayashi, Kunihiko Hiraishi
2015 J jnl
Diagnosis of Stochastic Discrete Event Systems Based on
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Miwa Yoshimoto, Koichi Kobayashi, Kunihiko Hiraishi
2015 — conf
Mesoscopic modeling of airport surface by object Petri nets.
CASE
Kenji Uehara, Kunihiko Hiraishi, Koichi Kobayashi
2015 — conf
On event-triggered and self-triggered control using online optimization.
ICM
Koichi Kobayashi, Kunihiko Hiraishi
2015 J jnl
Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Takuro Nagami, Kunihiko Hiraishi
2015 — conf
Optimal real-time pricing of electricity with consideration for decrease in price effect.
CASE
Koichi Kobayashi, Kunihiko Hiraishi
2015 J jnl
Simulating Markovian stochastic Petri Nets by difference equations with interval parameters.
Discret. Event Dyn. Syst.
Kunihiko Hiraishi
2014 C conf
A probabilistic approach to design of real-time pricing systems over communication networks.
IECON
Koichi Kobayashi, Kunihiko Hiraishi
2014 J jnl
An optimization-based approach to sampled-data control of networked control systems with multiple delays.
Appl. Math. Comput.
Koichi Kobayashi, Kunihiko Hiraishi
2014 Misc conf
Behavior modeling in physical and adaptive intelligent services.
CogSIMA
Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
2014 — conf
Design of Boolean networks based on prescribed singleton attractors.
ECC
Koichi Kobayashi, Kunihiko Hiraishi
2014 — conf
Detection of Unusual Human Activities Based on Behavior Modeling.
WODES
Kunihiko Hiraishi, Koichi Kobayashi
2014 J jnl
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi
2014 J jnl
ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors.
IEEE ACM Trans. Comput. Biol. Bioinform.
Koichi Kobayashi, Kunihiko Hiraishi
2014 B conf
Improving reliability in management of cloud computing infrastructure by formal methods.
NOMS
Shinji Kikuchi, Kunihiko Hiraishi
2014 — conf
Self-triggered optimal control of linear systems using convex quadratic programming.
AMC
Koichi Kobayashi, Kunihiko Hiraishi
2013 J jnl
An approximation algorithm for box abstraction of transition systems on real state spaces.
Formal Methods Syst. Des.
Kunihiko Hiraishi, Koichi Kobayashi
2013 J jnl
Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs.
J. Appl. Math.
Koichi Kobayashi, Kunihiko Hiraishi
2013 C conf
Controller design of networked control systems with multiple delays using interval methods.
IECON
Koichi Kobayashi, Kunihiko Hiraishi
2013 B conf
Diagnosis of stochastic discrete event systems based on N-gram models with wildcard characters.
IM
Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi
2013 — conf
Discrete abstraction for a class of stochastic hybrid systems based on bounded bisimulation.
CDC
Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi
2013 B conf
Dual Decomposition for Vietnamese Part-of-Speech Tagging.
KES
Ngo Xuan Bach, Kunihiko Hiraishi, Minh Le Nguyen, Akira Shimazu
2013 — conf
Modeling and Verification of Change Processes in Collaborative Software Engineering.
ICCSA (3)
Thi Thanh Huyen Phan, Kunihiko Hiraishi, Koichiro Ochimizu
2013 C conf
Modeling and optimal control of multi-hop control networks based on the MLD framework.
IECON
Koichi Kobayashi, Kunihiko Hiraishi
2013 J jnl
Optimal Control of Boolean Biological Networks Modeled by Petri Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Kunihiko Hiraishi
2013 — conf
Optimal control of multi-vehicle systems with LTL specifications.
CDC
Koichi Kobayashi, Takuro Nagami, Kunihiko Hiraishi
2013 J jnl
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Kunihiko Hiraishi
2013 J jnl
Synthesis of Configuration Change Procedure Using Model Finder.
IEICE Trans. Inf. Syst.
Shinji Kikuchi, Satoshi Tsuchiya, Kunihiko Hiraishi
2013 J jnl
Verification of Opacity and Diagnosability for Pushdown Systems.
J. Appl. Math.
Koichi Kobayashi, Kunihiko Hiraishi
2012 Misc conf
A Petri Net-Based Approach to Control of Boolean Networks.
ICNC
Koichi Kobayashi, Kunihiko Hiraishi
2012 C conf
Design of networked control systems using a stochastic switching systems approach.
IECON
Koichi Kobayashi, Kunihiko Hiraishi
2012 B conf
Modeling of complex processes in nursing and caregiving services.
SMC
Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka
2012 — conf
On opacity and diagnosability in discrete event systems modeled by pushdown automata.
CASE
Koichi Kobayashi, Kunihiko Hiraishi
2012 J jnl
Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Kunihiko Hiraishi
2012 J jnl
Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Kunihiko Hiraishi
2012 C conf
Self-triggered model predictive control with delay compensation for networked control systems.
IECON
Koichi Kobayashi, Kunihiko Hiraishi
2011 — ed.
11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011
ACSD
Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi
2011 J jnl
An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks.
Autom.
Koichi Kobayashi, Kunihiko Hiraishi
2011 B conf
Formal verification of business processes with temporal and resource constraints.
SMC
Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi
2011 — conf
Optimal control of a class of stochastic hybrid systems with probabilistic constraints.
CDC/ECC
Koichi Kobayashi, Koichiro Matou, Kunihiko Hiraishi
2011 — conf
Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks.
CDC/ECC
Koichi Kobayashi, Kunihiko Hiraishi
2011 — ed.
Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011
PNSE
Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi
2011 J jnl
Stabilization of Finite Automata with Application to Hybrid Systems Control.
Discret. Event Dyn. Syst.
Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
2010 C conf
An integer programming approach to control problems in probabilistic Boolean networks.
ACC
Koichi Kobayashi, Kunihiko Hiraishi
2010 C conf
MLD-based Modeling and MPC of Discrete-time Hybrid Systems with Stochastic Mode Transitions.
CCA
Koichi Kobayashi, Kunihiko Hiraishi
2010 — conf
Optimal control of context-sensitive probabilistic Boolean networks using integer programming.
CDC
Koichi Kobayashi, Kunihiko Hiraishi
2010 J jnl
Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks.
EURASIP J. Bioinform. Syst. Biol.
Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
2009 C conf
Analysis and control of hybrid systems with parameter uncertainty based on interval methods.
ACC
Koichi Kobayashi, Kunihiko Hiraishi
2009 J jnl
Application of DES Theory to Verification of Software Components.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kunihiko Hiraishi, Petr Kucera
2009 J jnl
Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang
2009 J jnl
MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Koichi Kobayashi, Kunihiko Hiraishi
2009 J jnl
On Solvability of a Decentralized Supervisory Control Problem With Communication.
IEEE Trans. Autom. Control.
Kunihiko Hiraishi
2009 C conf
Polynomial-time controllability analysis of Boolean networks.
ACC
Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
2008 B conf
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.
Petri Nets
Kunihiko Hiraishi
2008 J jnl
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kunihiko Hiraishi
2007 J jnl
Special Section on Concurrent/Hybrid Systems: Theory and Applications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kunihiko Hiraishi
2005 J jnl
A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Eishi Chiba, Kunihiko Hiraishi
2005 J jnl
Inkdot versus Pebble over Two-Dimensional Languages.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Atsuyuki Inoue, Akira Ito, Kunihiko Hiraishi, Katsushi Inoue
2002 C conf
PN
COORDINATION
Kunihiko Hiraishi
2002 J jnl
Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs.
Comput. Oper. Res.
Kunihiko Hiraishi, Eugene Levner, Milan Vlach
2001 J jnl
Synthesis of Supervisors Using Learning Algorithm of Regular Languages.
Discret. Event Dyn. Syst.
Kunihiko Hiraishi
2001 J jnl
The Completeness of Linear Logic for Petri Net Models.
Log. J. IGPL
Keiko Ishihara, Kunihiko Hiraishi
2000 — conf
A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples.
Words, Languages & Combinatorics
Takeshi Koshiba, Kunihiko Hiraishi
2000 B conf
A Petri-net-based model for the mathematical analysis of multi-agent systems.
SMC
Kunihiko Hiraishi
1997 — conf
An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs.
PDSE
Kunihiko Hiraishi
1996 — conf
Reducted State Space Representation for Unbounded Vector State Spaces.
Application and Theory of Petri Nets
Kunihiko Hiraishi
1995 J jnl
A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS.
Decis. Support Syst.
Kunihiko Hiraishi
1994 J jnl
Some Complexity Results on Transition Systems and Elementary Net Systems.
Theor. Comput. Sci.
Kunihiko Hiraishi
1992 — conf
Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.
Application and Theory of Petri Nets
Kunihiko Hiraishi
1992 J jnl
On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets.
Theor. Comput. Sci.
Kunihiko Hiraishi, Atsunobu Ichikawa
1991 J jnl
Information structuring and its implementations on a research decision support system.
Decis. Support Syst.
Mitsuhiko Toda, Kunihiko Hiraishi, Toramatsu Shintani, Yoshinori Katayama
1990 B conf
Exact Learning of Semilinear Sets.
ALT
Yuji Takada, Kunihiko Hiraishi, Yasubumi Sakakibara
1986 — conf
KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language.
LP
Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda