![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Kunihiko Hiraishi
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j45]Gaku Nemoto, Kunihiko Hiraishi:
A POMDP-Based Approach to Assortment Optimization Problem for Vending Machine. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(6): 909-918 (2024) - 2023
- [c54]Gaku Nemoto, Kunihiko Hiraishi:
Validation of the POMDP-based Model for Assortment Optimization of Vending Machines. IEEM 2023: 1619-1623 - 2022
- [j44]Ryosuke Mishima, Kunihiko Hiraishi:
Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(10): 1413-1420 (2022) - [j43]Trinh Van Giang
, Tatsuya Akutsu
, Kunihiko Hiraishi:
An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 19(2): 806-818 (2022) - [j42]Trinh Van Giang
, Kunihiko Hiraishi:
On Attractor Detection and Optimal Control of Deterministic Generalized Asynchronous Random Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 19(3): 1794-1806 (2022) - [c53]Van-Giang Trinh
, Kunihiko Hiraishi, Belaid Benhamou:
Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces. BCB 2022: 13:1-13:10 - [c52]Van-Giang Trinh
, Belaid Benhamou, Kunihiko Hiraishi
, Sylvain Soliman
:
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding. CMSB 2022: 158-176 - [c51]Kenji Uehara, Kunihiko Hiraishi:
A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling. SMC 2022: 1572-1577 - 2021
- [j41]Kunihiko Hiraishi
:
A Pathfinding Problem for Fork-Join Directed Acyclic Graphs with Unknown Edge Length. Algorithms 14(12): 367 (2021) - [j40]Kenji Uehara, Kunihiko Hiraishi, Kokolo Ikeda:
An Efficient Aircraft Boarding Strategy Considering Implementation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(8): 1051-1058 (2021) - [c50]Trinh Van Giang
, Kunihiko Hiraishi:
An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks. CIBCB 2021: 1-9 - 2020
- [j39]Trinh Van Giang
, Kunihiko Hiraishi:
A Study on Attractors of Generalized Asynchronous Random Boolean Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(8): 987-994 (2020) - [c49]Trinh Van Giang
, Kunihiko Hiraishi:
An efficient method for approximating attractors in large-scale asynchronous Boolean models. BIBM 2020: 1820-1826 - [c48]Kenji Fujita, Kunihiko Hiraishi, Toshiaki Aoki
:
Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine. IEEM 2020: 1098-1102
2010 – 2019
- 2019
- [j38]Shoya Tokumaru, Kunihiko Hiraishi:
Sector Identification for a Large Amount of Airspace Traffic Data. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 102-A(5): 755-756 (2019) - [c47]Trinh Van Giang, Kunihiko Hiraishi:
Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks. ASCC 2019: 67-72 - [c46]Kenji Uehara, Kunihiko Hiraishi:
Process mining approach for the conformance checking of discrete-event simulation model. SICE 2019: 615-620 - [c45]Kunihiko Hiraishi:
Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation. SMC 2019: 1807-1812 - 2018
- [j37]Kunihiko Hiraishi, Koichi Kobayashi:
A pathfinding problem for search trees with unknown edge length. J. Discrete Algorithms 49: 1-7 (2018) - [c44]Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi:
Information Supervisory Control of Human Behavior - A Formal Model and Simulation. SMC 2018: 2025-2030 - 2017
- [j36]Koichi Kobayashi
, Kunihiko Hiraishi:
Optimization-Based Approaches to Control of Probabilistic Boolean Networks. Algorithms 10(1): 31 (2017) - [j35]Koichi Kobayashi
, Kunihiko Hiraishi:
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities. IEEE Trans. Neural Networks Learn. Syst. 28(8): 1966-1971 (2017) - [c43]Gaku Nemoto, Kunihiko Hiraishi:
Modeling and optimization of item changes in vending machines. ASCC 2017: 19-24 - [c42]Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi:
Information supervisory control of human behavior - Experiments and formal modeling. ASCC 2017: 1351-1356 - [c41]Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira:
Model-based approach to analysis of human behavior with applications to nursing and caregiving services. GCCE 2017: 1-4 - 2016
- [j34]Kunihiko Hiraishi, Koichi Kobayashi:
Diagnosis of Stochastic Discrete Event Systems Based on N-Gram Models with Wildcard Characters. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 99-A(2): 462-467 (2016) - [j33]Koichi Kobayashi, Kunihiko Hiraishi:
Event-Triggered and Self-Triggered Control for Networked Control Systems Using Online Optimization. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 99-A(2): 468-474 (2016) - [c40]Kaoru Sato, Kunihiko Hiraishi, Koichi Kobayashi:
Spatio-temporal situation recognition for groups in caregiving services. CogSIMA 2016: 78-82 - 2015
- [j32]Kunihiko Hiraishi:
Simulating Markovian stochastic Petri Nets by difference equations with interval parameters. Discret. Event Dyn. Syst. 25(3): 365-386 (2015) - [j31]Miwa Yoshimoto, Koichi Kobayashi, Kunihiko Hiraishi:
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 98-A(2): 618-625 (2015) - [j30]Koichi Kobayashi, Takuro Nagami, Kunihiko Hiraishi:
Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 98-A(2): 626-634 (2015) - [c39]Kenji Uehara, Kunihiko Hiraishi, Koichi Kobayashi:
Mesoscopic modeling of airport surface by object Petri nets. CASE 2015: 298-303 - [c38]Koichi Kobayashi, Kunihiko Hiraishi:
Optimal real-time pricing of electricity with consideration for decrease in price effect. CASE 2015: 539-544 - [c37]Koichi Kobayashi, Kunihiko Hiraishi:
On event-triggered and self-triggered control using online optimization. ICM 2015: 586-591 - [c36]Koichi Kobayashi, Kunihiko Hiraishi:
Algorithm for optimal real-time pricing based on switched Markov chain models. ISGT 2015: 1-5 - 2014
- [j29]Koichi Kobayashi, Kunihiko Hiraishi:
An optimization-based approach to sampled-data control of networked control systems with multiple delays. Appl. Math. Comput. 247: 786-794 (2014) - [j28]Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi:
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97-A(2): 459-467 (2014) - [j27]Koichi Kobayashi, Kunihiko Hiraishi:
ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors. IEEE ACM Trans. Comput. Biol. Bioinform. 11(6): 1253-1259 (2014) - [c35]Koichi Kobayashi, Kunihiko Hiraishi:
Self-triggered optimal control of linear systems using convex quadratic programming. AMC 2014: 741-745 - [c34]Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira:
Behavior modeling in physical and adaptive intelligent services. CogSIMA 2014: 244-249 - [c33]Koichi Kobayashi, Kunihiko Hiraishi:
Design of Boolean networks based on prescribed singleton attractors. ECC 2014: 1504-1509 - [c32]Koichi Kobayashi, Kunihiko Hiraishi:
A probabilistic approach to design of real-time pricing systems over communication networks. IECON 2014: 4732-4737 - [c31]Shinji Kikuchi, Kunihiko Hiraishi:
Improving reliability in management of cloud computing infrastructure by formal methods. NOMS 2014: 1-7 - [c30]Kunihiko Hiraishi, Koichi Kobayashi:
Detection of Unusual Human Activities Based on Behavior Modeling. WODES 2014: 182-187 - 2013
- [j26]Kunihiko Hiraishi, Koichi Kobayashi:
An approximation algorithm for box abstraction of transition systems on real state spaces. Formal Methods Syst. Des. 42(2): 175-192 (2013) - [j25]Koichi Kobayashi, Kunihiko Hiraishi:
Optimal Control of Boolean Biological Networks Modeled by Petri Nets. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(2): 532-539 (2013) - [j24]Koichi Kobayashi, Kunihiko Hiraishi:
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(5): 861-868 (2013) - [j23]Shinji Kikuchi, Satoshi Tsuchiya, Kunihiko Hiraishi:
Synthesis of Configuration Change Procedure Using Model Finder. IEICE Trans. Inf. Syst. 96-D(8): 1696-1706 (2013) - [j22]Koichi Kobayashi, Kunihiko Hiraishi:
Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs. J. Appl. Math. 2013: 615060:1-615060:9 (2013) - [j21]Koichi Kobayashi
, Kunihiko Hiraishi:
Verification of Opacity and Diagnosability for Pushdown Systems. J. Appl. Math. 2013: 654059:1-654059:10 (2013) - [c29]Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi:
Discrete abstraction for a class of stochastic hybrid systems based on bounded bisimulation. CDC 2013: 2641-2646 - [c28]Koichi Kobayashi, Takuro Nagami, Kunihiko Hiraishi:
Optimal control of multi-vehicle systems with LTL specifications. CDC 2013: 7709-7714 - [c27]Thi Thanh Huyen Phan, Kunihiko Hiraishi, Koichiro Ochimizu:
Modeling and Verification of Change Processes in Collaborative Software Engineering. ICCSA (3) 2013: 17-32 - [c26]Koichi Kobayashi, Kunihiko Hiraishi:
Controller design of networked control systems with multiple delays using interval methods. IECON 2013: 5632-5637 - [c25]Koichi Kobayashi, Kunihiko Hiraishi:
Modeling and optimal control of multi-hop control networks based on the MLD framework. IECON 2013: 5656-5661 - [c24]Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi:
Diagnosis of stochastic discrete event systems based on N-gram models with wildcard characters. IM 2013: 1383-1388 - [c23]Ngo Xuan Bach, Kunihiko Hiraishi, Minh Le Nguyen
, Akira Shimazu:
Dual Decomposition for Vietnamese Part-of-Speech Tagging. KES 2013: 123-131 - 2012
- [j20]Koichi Kobayashi, Kunihiko Hiraishi:
Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(4): 691-696 (2012) - [j19]Koichi Kobayashi, Kunihiko Hiraishi:
Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(9): 1512-1517 (2012) - [c22]Koichi Kobayashi, Kunihiko Hiraishi:
On opacity and diagnosability in discrete event systems modeled by pushdown automata. CASE 2012: 662-667 - [c21]Koichi Kobayashi, Kunihiko Hiraishi:
A Petri Net-Based Approach to Control of Boolean Networks. ICNC 2012: 399-403 - [c20]Koichi Kobayashi, Kunihiko Hiraishi:
Design of networked control systems using a stochastic switching systems approach. IECON 2012: 3170-3175 - [c19]Koichi Kobayashi, Kunihiko Hiraishi:
Self-triggered model predictive control with delay compensation for networked control systems. IECON 2012: 3200-3205 - [c18]Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka:
Modeling of complex processes in nursing and caregiving services. SMC 2012: 1449-1454 - 2011
- [j18]Koichi Kobayashi, Kunihiko Hiraishi:
An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks. Autom. 47(6): 1260-1264 (2011) - [j17]Koichi Kobayashi, Jun-ichi Imura
, Kunihiko Hiraishi:
Stabilization of Finite Automata with Application to Hybrid Systems Control. Discret. Event Dyn. Syst. 21(4): 519-545 (2011) - [c17]Koichi Kobayashi, Koichiro Matou, Kunihiko Hiraishi:
Optimal control of a class of stochastic hybrid systems with probabilistic constraints. CDC/ECC 2011: 3307-3312 - [c16]Koichi Kobayashi, Kunihiko Hiraishi:
Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks. CDC/ECC 2011: 4371-4376 - [c15]Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi:
Formal verification of business processes with temporal and resource constraints. SMC 2011: 1173-1180 - [e2]Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi:
11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4387-1 [contents] - [e1]Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi:
Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011. CEUR Workshop Proceedings 723, CEUR-WS.org 2011 [contents] - 2010
- [j16]Koichi Kobayashi, Jun-ichi Imura
, Kunihiko Hiraishi:
Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks. EURASIP J. Bioinform. Syst. Biol. 2010 (2010) - [c14]Koichi Kobayashi, Kunihiko Hiraishi:
MLD-based Modeling and MPC of Discrete-time Hybrid Systems with Stochastic Mode Transitions. CCA 2010: 1331-1336 - [c13]Koichi Kobayashi, Kunihiko Hiraishi:
An integer programming approach to control problems in probabilistic Boolean networks. ACC 2010: 6710-6715 - [c12]Koichi Kobayashi, Kunihiko Hiraishi:
Optimal control of context-sensitive probabilistic Boolean networks using integer programming. CDC 2010: 7507-7512
2000 – 2009
- 2009
- [j15]Kunihiko Hiraishi, Petr Kucera
:
Application of DES Theory to Verification of Software Components. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(2): 604-610 (2009) - [j14]Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang:
Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(8): 2046-2052 (2009) - [j13]Koichi Kobayashi, Kunihiko Hiraishi:
MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(11): 2745-2754 (2009) - [j12]Kunihiko Hiraishi:
On Solvability of a Decentralized Supervisory Control Problem With Communication. IEEE Trans. Autom. Control. 54(3): 468-480 (2009) - [c11]Koichi Kobayashi, Jun-ichi Imura
, Kunihiko Hiraishi:
Polynomial-time controllability analysis of Boolean networks. ACC 2009: 1694-1699 - [c10]Koichi Kobayashi, Kunihiko Hiraishi:
Analysis and control of hybrid systems with parameter uncertainty based on interval methods. ACC 2009: 3632-3637 - 2008
- [j11]Kunihiko Hiraishi:
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(11): 3219-3228 (2008) - [c9]Kunihiko Hiraishi:
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. Petri Nets 2008: 231-250 - 2007
- [j10]Kunihiko Hiraishi:
Special Section on Concurrent/Hybrid Systems: Theory and Applications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(11): 2442 (2007) - 2005
- [j9]Atsuyuki Inoue, Akira Ito, Kunihiko Hiraishi, Katsushi Inoue:
Inkdot versus Pebble over Two-Dimensional Languages. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(5): 1173-1180 (2005) - [j8]Eishi Chiba, Kunihiko Hiraishi:
A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(5): 1192-1199 (2005) - 2002
- [j7]Kunihiko Hiraishi, Eugene Levner, Milan Vlach
:
Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs. Comput. Oper. Res. 29(7): 841-848 (2002) - [c8]Kunihiko Hiraishi:
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. COORDINATION 2002: 220-235 - 2001
- [j6]Kunihiko Hiraishi:
Synthesis of Supervisors Using Learning Algorithm of Regular Languages. Discret. Event Dyn. Syst. 11(3): 211-234 (2001) - [j5]Keiko Ishihara, Kunihiko Hiraishi:
The Completeness of Linear Logic for Petri Net Models. Log. J. IGPL 9(4): 549-567 (2001) - 2000
- [c7]Takeshi Koshiba, Kunihiko Hiraishi:
A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples. Words, Languages & Combinatorics 2000: 253-265 - [c6]Kunihiko Hiraishi:
A Petri-net-based model for the mathematical analysis of multi-agent systems. SMC 2000: 3009-3014
1990 – 1999
- 1997
- [c5]Kunihiko Hiraishi:
An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs. PDSE 1997: 39-49 - 1996
- [c4]Kunihiko Hiraishi:
Reducted State Space Representation for Unbounded Vector State Spaces. Application and Theory of Petri Nets 1996: 230-248 - 1995
- [j4]Kunihiko Hiraishi:
A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS. Decis. Support Syst. 14(3): 269-281 (1995) - 1994
- [j3]Kunihiko Hiraishi:
Some Complexity Results on Transition Systems and Elementary Net Systems. Theor. Comput. Sci. 135(2): 361-376 (1994) - 1992
- [j2]Kunihiko Hiraishi, Atsunobu Ichikawa:
On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets. Theor. Comput. Sci. 93(2): 185-199 (1992) - [c3]Kunihiko Hiraishi:
Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. Application and Theory of Petri Nets 1992: 244-262 - 1991
- [j1]Mitsuhiko Toda, Kunihiko Hiraishi, Toramatsu Shintani, Yoshinori Katayama:
Information structuring and its implementations on a research decision support system. Decis. Support Syst. 7(2): 169-184 (1991) - 1990
- [c2]Yuji Takada, Kunihiko Hiraishi, Yasubumi Sakakibara:
Exact Learning of Semilinear Sets. ALT 1990: 314-324
1980 – 1989
- 1986
- [c1]Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda:
KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language. LP 1986: 22-33
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-12 20:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint