Kunihiko Hiraishi

	2012
29		Koichi Kobayashi, Kunihiko Hiraishi: Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems. IEICE Transactions 95-A(4): 691-696 (2012)
	2011
28		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 2011
27		Koichi Kobayashi, Koichiro Matou, Kunihiko Hiraishi: Optimal control of a class of stochastic hybrid systems with probabilistic constraints. CDC-ECE 2011: 3307-3312
26		Koichi Kobayashi, Kunihiko Hiraishi: Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks. CDC-ECE 2011: 4371-4376
25		Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi: Formal verification of business processes with temporal and resource constraints. SMC 2011: 1173-1180
24		Koichi Kobayashi, Kunihiko Hiraishi: An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks. Automatica 47(6): 1260-1264 (2011)
23		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)
	2010
22		Koichi Kobayashi, Kunihiko Hiraishi: MLD-based Modeling and MPC of Discrete-time Hybrid Systems with Stochastic Mode Transitions. CCA 2010: 1331-1336
21		Koichi Kobayashi, Kunihiko Hiraishi: Optimal control of context-sensitive probabilistic Boolean networks using integer programming. CDC 2010: 7507-7512
20		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)
	2009
19		Koichi Kobayashi, Kunihiko Hiraishi: MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty. IEICE Transactions 92-A(11): 2745-2754 (2009)
18		Kunihiko Hiraishi, Petr Kuvcera: Application of DES Theory to Verification of Software Components. IEICE Transactions 92-A(2): 604-610 (2009)
17		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)
	2008
16		Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. Petri Nets 2008: 231-250
15		Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. IEICE Transactions 91-A(11): 3219-3228 (2008)
	2007
14		Kunihiko Hiraishi: Special Section on Concurrent/Hybrid Systems: Theory and Applications. IEICE Transactions 90-A(11): 2442 (2007)
	2005
13		Atsuyuki Inoue, Akira Ito, Kunihiko Hiraishi, Katsushi Inoue: Inkdot versus Pebble over Two-Dimensional Languages. IEICE Transactions 88-A(5): 1173-1180 (2005)
12		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
11		Kunihiko Hiraishi: PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. COORDINATION 2002: 220-235
10		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)
	2001
9		Kunihiko Hiraishi: Synthesis of Supervisors Using Learning Algorithm of Regular Languages. Discrete Event Dynamic Systems 11(3): 211-234 (2001)
8		Keiko Ishihara, Kunihiko Hiraishi: The Completeness of Linear Logic for Petri Net Models. Logic Journal of the IGPL 9(4): 549-567 (2001)
	2000
7		Takeshi Koshiba, Kunihiko Hiraishi: A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples. Words, Languages & Combinatorics 2000: 253-265
	1996
6		Kunihiko Hiraishi: Reducted State Space Representation for Unbounded Vector State Spaces. Application and Theory of Petri Nets 1996: 230-248
	1994
5		Kunihiko Hiraishi: Some Complexity Results on Transition Systems and Elementary Net Systems. Theor. Comput. Sci. 135(2): 361-376 (1994)
	1992
4		Kunihiko Hiraishi: Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. Application and Theory of Petri Nets 1992: 244-262
3		Kunihiko Hiraishi, Atsunobu Ichikawa: On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets. Theor. Comput. Sci. 93(2): 185-199 (1992)
	1990
2		Yuji Takada, Kunihiko Hiraishi, Yasubumi Sakakibara: Exact Learning of Semilinear Sets. ALT 1990: 314-324
	1986
1		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

1	Benoît Caillaud	[28]
2	Josep Carmona	[28]
3	Eishi Chiba	[12]
4	Atsunobu Ichikawa	[3]
5	Jun-ichi Imura	[20] [23]
6	Atsuyuki Inoue	[13]
7	Katsushi Inoue	[13]
8	Keiko Ishihara	[8]
9	Fuyuki Ishikawa	[25]
10	Akira Ito	[13]
11	Yoshinori Katayama	[1]
12	Koichi Kobayashi	[17] [19] [20] [21] [22] [23] [24] [26] [27] [29]
13	Takeshi Koshiba	[7]
14	Petr Kuvcera	[18]
15	Eugene Levner	[10]
16	Koichiro Matou	[27]
17	Yasubumi Sakakibara	[2]
18	Toramatsu Shintani	[1]
19	Yuji Takada	[2]
20	Nguyen Van Tang	[17]
21	Mitsuhiko Toda	[1]
22	Milan Vlach	[10]
23	Kenji Watahiki	[25]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page