Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Kunihiko Hiraishi
2010 – today
- 2013
[j23]Kunihiko Hiraishi, Koichi Kobayashi: An approximation algorithm for box abstraction of transition systems on real state spaces. Formal Methods in System Design 42(2): 175-192 (2013)- [j22]Koichi Kobayashi, Kunihiko Hiraishi: Optimal Control of Boolean Biological Networks Modeled by Petri Nets. IEICE Transactions 96-A(2): 532-539 (2013)
- [j21]Koichi Kobayashi, Kunihiko Hiraishi: Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems. IEICE Transactions 96-A(5): 861-868 (2013)
- [j20]Shinji Kikuchi, Satoshi Tsuchiya, Kunihiko Hiraishi: Synthesis of Configuration Change Procedure Using Model Finder. IEICE Transactions 96-D(8): 1696-1706 (2013)
- [j19]Koichi Kobayashi, Kunihiko Hiraishi: Verification of Opacity and Diagnosability for Pushdown Systems. J. Applied Mathematics 2013 (2013)
- [c17]Thi Thanh Huyen Phan, Kunihiko Hiraishi, Koichiro Ochimizu: Modeling and Verification of Change Processes in Collaborative Software Engineering. ICCSA (3) 2013: 17-32
- [c16]Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi: Diagnosis of stochastic discrete event systems based on N-gram models with wildcard characters. IM 2013: 1383-1388
- 2012
- [j18]Koichi Kobayashi, Kunihiko Hiraishi: Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems. IEICE Transactions 95-A(4): 691-696 (2012)
- [j17]Koichi Kobayashi, Kunihiko Hiraishi: Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization. IEICE Transactions 95-A(9): 1512-1517 (2012)
- [c15]Koichi Kobayashi, Kunihiko Hiraishi: On opacity and diagnosability in discrete event systems modeled by pushdown automata. CASE 2012: 662-667
- [c14]Koichi Kobayashi, Kunihiko Hiraishi: A Petri Net-Based Approach to Control of Boolean Networks. ICNC 2012: 399-403
- [c13]Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka: Modeling of complex processes in nursing and caregiving services. SMC 2012: 1449-1454
- 2011
- [j16]Koichi Kobayashi, Kunihiko Hiraishi: An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks. Automatica 47(6): 1260-1264 (2011)
- [j15]Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi: Stabilization of Finite Automata with Application to Hybrid Systems Control. Discrete Event Dynamic Systems 21(4): 519-545 (2011)
- [c12]Koichi Kobayashi, Koichiro Matou, Kunihiko Hiraishi: Optimal control of a class of stochastic hybrid systems with probabilistic constraints. CDC-ECE 2011: 3307-3312
- [c11]Koichi Kobayashi, Kunihiko Hiraishi: Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks. CDC-ECE 2011: 4371-4376
- [c10]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 (Eds.): 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. IEEE 2011, ISBN 978-0-7695-4387-1
- [e1]Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi (Eds.): 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
- 2010
- [j14]Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi: Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks. EURASIP J. Bioinformatics and Systems Biology 2010 (2010)
- [c9]Koichi Kobayashi, Kunihiko Hiraishi: MLD-based Modeling and MPC of Discrete-time Hybrid Systems with Stochastic Mode Transitions. CCA 2010: 1331-1336
- [c8]Koichi Kobayashi, Kunihiko Hiraishi: Optimal control of context-sensitive probabilistic Boolean networks using integer programming. CDC 2010: 7507-7512
2000 – 2009
- 2009
- [j13]Kunihiko Hiraishi, Petr Kuvcera: Application of DES Theory to Verification of Software Components. IEICE Transactions 92-A(2): 604-610 (2009)
- [j12]Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang: Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference. IEICE Transactions 92-A(8): 2046-2052 (2009)
- [j11]Koichi Kobayashi, Kunihiko Hiraishi: MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty. IEICE Transactions 92-A(11): 2745-2754 (2009)
- [j10]Kunihiko Hiraishi: On Solvability of a Decentralized Supervisory Control Problem With Communication. IEEE Trans. Automat. Contr. 54(3): 468-480 (2009)
- 2008
- [j9]Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. IEICE Transactions 91-A(11): 3219-3228 (2008)
- [c7]Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. Petri Nets 2008: 231-250
- 2007
- [j8]Kunihiko Hiraishi: Special Section on Concurrent/Hybrid Systems: Theory and Applications. IEICE Transactions 90-A(11): 2442 (2007)
- 2005
- [j7]Atsuyuki Inoue, Akira Ito, Kunihiko Hiraishi, Katsushi Inoue: Inkdot versus Pebble over Two-Dimensional Languages. IEICE Transactions 88-A(5): 1173-1180 (2005)
- [j6]Eishi Chiba, Kunihiko Hiraishi: A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots. IEICE Transactions 88-A(5): 1192-1199 (2005)
- 2002
- [j5]Kunihiko Hiraishi, Eugene Levner, Milan Vlach: Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs. Computers & OR 29(7): 841-848 (2002)
- [c6]Kunihiko Hiraishi: PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. COORDINATION 2002: 220-235
- 2001
- [j4]Kunihiko Hiraishi: Synthesis of Supervisors Using Learning Algorithm of Regular Languages. Discrete Event Dynamic Systems 11(3): 211-234 (2001)
- [j3]Keiko Ishihara, Kunihiko Hiraishi: The Completeness of Linear Logic for Petri Net Models. Logic Journal of the IGPL 9(4): 549-567 (2001)
- 2000
- [c5]Takeshi Koshiba, Kunihiko Hiraishi: A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples. Words, Languages & Combinatorics 2000: 253-265
1990 – 1999
- 1996
- [c4]Kunihiko Hiraishi: Reducted State Space Representation for Unbounded Vector State Spaces. Application and Theory of Petri Nets 1996: 230-248
- 1994
- [j2]Kunihiko Hiraishi: Some Complexity Results on Transition Systems and Elementary Net Systems. Theor. Comput. Sci. 135(2): 361-376 (1994)
- 1992
- [j1]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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team