Kunihiko Hiraishi

Orcid: 0000-0003-1750-1891

According to our database1, Kunihiko Hiraishi authored at least 96 papers between 1986 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A POMDP-Based Approach to Assortment Optimization Problem for Vending Machine.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024

2023
Validation of the POMDP-based Model for Assortment Optimization of Vending Machines.
Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management, 2023

2022
Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., October, 2022

On Attractor Detection and Optimal Control of Deterministic Generalized Asynchronous Random Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022

An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022

A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding.
Proceedings of the Computational Methods in Systems Biology, 2022

Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces.
Proceedings of the BCB '22: 13th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, Northbrook, Illinois, USA, August 7, 2022

2021
An Efficient Aircraft Boarding Strategy Considering Implementation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

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

An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks.
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2021

2020
A Study on Attractors of Generalized Asynchronous Random Boolean Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine.
Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management, 2020

An efficient method for approximating attractors in large-scale asynchronous Boolean models.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020

2019
Sector Identification for a Large Amount of Airspace Traffic Data.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Process mining approach for the conformance checking of discrete-event simulation model.
Proceedings of the 58th Annual Conference of the Society of Instrument and Control Engineers of Japan, 2019

Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks.
Proceedings of the 12th Asian Control Conference, 2019

2018
A pathfinding problem for search trees with unknown edge length.
J. Discrete Algorithms, 2018

Information Supervisory Control of Human Behavior - A Formal Model and Simulation.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities.
IEEE Trans. Neural Networks Learn. Syst., 2017

Optimization-Based Approaches to Control of Probabilistic Boolean Networks.
Algorithms, 2017

Model-based approach to analysis of human behavior with applications to nursing and caregiving services.
Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

Modeling and optimization of item changes in vending machines.
Proceedings of the 11th Asian Control Conference, 2017

Information supervisory control of human behavior - Experiments and formal modeling.
Proceedings of the 11th Asian Control Conference, 2017

2016
Event-Triggered and Self-Triggered Control for Networked Control Systems Using Online Optimization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Diagnosis of Stochastic Discrete Event Systems Based on <i>N</i>-Gram Models with Wildcard Characters.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Spatio-temporal situation recognition for groups in caregiving services.
Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2016

2015
Diagnosis of Stochastic Discrete Event Systems Based on <i>N</i>-gram Models.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Simulating Markovian stochastic Petri Nets by difference equations with interval parameters.
Discret. Event Dyn. Syst., 2015

Algorithm for optimal real-time pricing based on switched Markov chain models.
Proceedings of the 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2015

On event-triggered and self-triggered control using online optimization.
Proceedings of the IEEE International Conference on Mechatronics, 2015

Mesoscopic modeling of airport surface by object Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Optimal real-time pricing of electricity with consideration for decrease in price effect.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors.
IEEE ACM Trans. Comput. Biol. Bioinform., 2014

Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

An optimization-based approach to sampled-data control of networked control systems with multiple delays.
Appl. Math. Comput., 2014

Detection of Unusual Human Activities Based on Behavior Modeling.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Improving reliability in management of cloud computing infrastructure by formal methods.
Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

A probabilistic approach to design of real-time pricing systems over communication networks.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

Design of Boolean networks based on prescribed singleton attractors.
Proceedings of the 13th European Control Conference, 2014

Behavior modeling in physical and adaptive intelligent services.
Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2014

Self-triggered optimal control of linear systems using convex quadratic programming.
Proceedings of the IEEE 13th International Workshop on Advanced Motion Control, 2014

2013
Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs.
J. Appl. Math., 2013

Verification of Opacity and Diagnosability for Pushdown Systems.
J. Appl. Math., 2013

Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Optimal Control of Boolean Biological Networks Modeled by Petri Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Synthesis of Configuration Change Procedure Using Model Finder.
IEICE Trans. Inf. Syst., 2013

An approximation algorithm for box abstraction of transition systems on real state spaces.
Formal Methods Syst. Des., 2013

Dual Decomposition for Vietnamese Part-of-Speech Tagging.
Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013

Diagnosis of stochastic discrete event systems based on N-gram models with wildcard characters.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Modeling and optimal control of multi-hop control networks based on the MLD framework.
Proceedings of the IECON 2013, 2013

Controller design of networked control systems with multiple delays using interval methods.
Proceedings of the IECON 2013, 2013

Modeling and Verification of Change Processes in Collaborative Software Engineering.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Optimal control of multi-vehicle systems with LTL specifications.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Modeling of complex processes in nursing and caregiving services.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Design of networked control systems using a stochastic switching systems approach.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

A Petri Net-Based Approach to Control of Boolean Networks.
Proceedings of the Third International Conference on Networking and Computing, 2012

On opacity and diagnosability in discrete event systems modeled by pushdown automata.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011
Stabilization of Finite Automata with Application to Hybrid Systems Control.
Discret. Event Dyn. Syst., 2011

An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks.
Autom., 2011

Formal verification of business processes with temporal and resource constraints.
Proceedings of the IEEE International Conference on Systems, 2011

Optimal control of a class of stochastic hybrid systems with probabilistic constraints.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks.
EURASIP J. Bioinform. Syst. Biol., 2010

Optimal control of context-sensitive probabilistic Boolean networks using integer programming.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

An integer programming approach to control problems in probabilistic Boolean networks.
Proceedings of the American Control Conference, 2010

MLD-based Modeling and MPC of Discrete-time Hybrid Systems with Stochastic Mode Transitions.
Proceedings of the IEEE International Conference on Control Applications, 2010

2009
On Solvability of a Decentralized Supervisory Control Problem With Communication.
IEEE Trans. Autom. Control., 2009

Application of DES Theory to Verification of Software Components.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Polynomial-time controllability analysis of Boolean networks.
Proceedings of the American Control Conference, 2009

Analysis and control of hybrid systems with parameter uncertainty based on interval methods.
Proceedings of the American Control Conference, 2009

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

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

2005
Inkdot versus Pebble over Two-Dimensional Languages.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

2002
Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs.
Comput. Oper. Res., 2002

PN<sup>2</sup>: An Elementary Model for Design and Analysis of Multi-agent Systems.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
The Completeness of Linear Logic for Petri Net Models.
Log. J. IGPL, 2001

Synthesis of Supervisors Using Learning Algorithm of Regular Languages.
Discret. Event Dyn. Syst., 2001

2000
A Petri-net-based model for the mathematical analysis of multi-agent systems.
Proceedings of the IEEE International Conference on Systems, 2000

A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples.
Proceedings of the International Colloquium on Words, 2000

1997
An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996
Reducted State Space Representation for Unbounded Vector State Spaces.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

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

1994
Some Complexity Results on Transition Systems and Elementary Net Systems.
Theor. Comput. Sci., 1994

1992
On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets.
Theor. Comput. Sci., 1992

Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

1991
Information structuring and its implementations on a research decision support system.
Decis. Support Syst., 1991

1990
Exact Learning of Semilinear Sets.
Proceedings of the Algorithmic Learning Theory, First International Workshop, 1990

1986
KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language.
Proceedings of the Logic Programming '86, 1986


  Loading...