IEICE Trans

Kunihiko HIRAISHI

A Study on Attractors of Generalized Asynchronous Random Boolean Networks Van Giang TRINH Kunihiko HIRAISHI
Publication: Publication Date: 2020/08/01 Vol. E103-A No. 8 pp. 987-994 Type of Manuscript: PAPER Category: Mathematical Systems Science Keyword: gene regulatory networks, generalized asynchronous random Boolean networks, attractors, binary decision diagrams, SAT,
	Summary \| Full Text:PDF

Sector Identification for a Large Amount of Airspace Traffic Data Shoya TOKUMARU Kunihiko HIRAISHI
Publication: Publication Date: 2019/05/01 Vol. E102-A No. 5 pp. 755-756 Type of Manuscript: LETTER Category: Mathematical Systems Science Keyword: CARATS open data, airspace traffic, computational geometry,
	Summary \| Full Text:PDF

Event-Triggered and Self-Triggered Control for Networked Control Systems Using Online Optimization Koichi KOBAYASHI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/02/01 Vol. E99-A No. 2 pp. 468-474 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: event-triggered control, self-triggered control, networked control systems, model predictive control,
	Summary \| Full Text:PDF

Diagnosis of Stochastic Discrete Event Systems Based on N-Gram Models with Wildcard Characters Kunihiko HIRAISHI Koichi KOBAYASHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/02/01 Vol. E99-A No. 2 pp. 462-467 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: discrete event systems, diagnosis, N-gram model, wildcard character,
	Summary \| Full Text:PDF

Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints Koichi KOBAYASHI Takuro NAGAMI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2015/02/01 Vol. E98-A No. 2 pp. 626-634 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: mixed integer programming, multi-vehicle systems, optimal control, temporal logic constraints,
	Summary \| Full Text:PDF

Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models Miwa YOSHIMOTO Koichi KOBAYASHI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2015/02/01 Vol. E98-A No. 2 pp. 618-625 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: stochastic discrete event systems, diagnosis, N-gram models,
	Summary \| Full Text:PDF

Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation Koichi KOBAYASHI Yasuhito FUKUI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/02/01 Vol. E97-A No. 2 pp. 459-467 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: bounded bisimulation, discrete abstraction, genetic toggle switches, stochastic hybrid systems,
	Summary \| Full Text:PDF

Synthesis of Configuration Change Procedure Using Model Finder Shinji KIKUCHI Satoshi TSUCHIYA Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/08/01 Vol. E96-D No. 8 pp. 1696-1706 Type of Manuscript: PAPER Category: Software System Keyword: system configuration, procedure synthesis, planning, model finder, alloy analyzer,
	Summary \| Full Text:PDF

Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems Koichi KOBAYASHI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/05/01 Vol. E96-A No. 5 pp. 861-868 Type of Manuscript: Special Section PAPER (Special Section on Networked Control Systems: Theories & Applications) Category: Keyword: delay compensation, model predictive control, networked control systems, self-triggered control,
	Summary \| Full Text:PDF

Optimal Control of Boolean Biological Networks Modeled by Petri Nets Koichi KOBAYASHI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/02/01 Vol. E96-A No. 2 pp. 532-539 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Systems and Control Keyword: asynchronous behavior, Boolean networks, integer programming, optimal control, Petri nets,
	Summary \| Full Text:PDF

Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization Koichi KOBAYASHI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/09/01 Vol. E95-A No. 9 pp. 1512-1517 Type of Manuscript: PAPER Category: Systems and Control Keyword: optimal control, polynomial optimization, probabilistic Boolean networks, systems biology,
	Summary \| Full Text:PDF

Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems Koichi KOBAYASHI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/04/01 Vol. E95-A No. 4 pp. 691-696 Type of Manuscript: Special Section PAPER (Special Section on Reliable Robust Radio Control Technology) Category: Keyword: self-triggered control, networked systems, optimal control,
	Summary \| Full Text:PDF

MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty Koichi KOBAYASHI Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/11/01 Vol. E92-A No. 11 pp. 2745-2754 Type of Manuscript: Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications) Category: Keyword: MLD model, interval method, parameter uncertainty, hybrid systems,
	Summary \| Full Text:PDF

Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference Koichi KOBAYASHI Kunihiko HIRAISHI Nguyen Van TANG
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/08/01 Vol. E92-A No. 8 pp. 2046-2052 Type of Manuscript: PAPER Category: Systems and Control Keyword: offline/online computations, time-varying reference, approximate algorithm, model predictive control, hybrid systems,
	Summary \| Full Text:PDF

Application of DES Theory to Verification of Software Components Kunihiko HIRAISHI Petr KUVCERA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/02/01 Vol. E92-A No. 2 pp. 604-610 Type of Manuscript: PAPER Category: Concurrent Systems Keyword: discrete event systems, software component verification, supervisory control,
	Summary \| Full Text:PDF

Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/11/01 Vol. E91-A No. 11 pp. 3219-3228 Type of Manuscript: Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications) Category: Keyword: fluidification, interval methods, workflow, performance evaluation, hybrid systems,
	Summary \| Full Text:PDF

FOREWORD Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/11/01 Vol. E90-A No. 11 pp. 2442-2442 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF

A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots Eishi CHIBA Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/05/01 Vol. E88-A No. 5 pp. 1192-1199 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: scheduling, just-in-time, set-up times, heuristic algorithm, minimum cost flow,
	Summary \| Full Text:PDF

Inkdot versus Pebble over Two-Dimensional Languages Atsuyuki INOUE Akira ITO Kunihiko HIRAISHI Katsushi INOUE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/05/01 Vol. E88-A No. 5 pp. 1173-1180 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: inkdot, pebble, two-dimensional automata, nondeterminism, alternation,
	Summary \| Full Text:PDF

Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/11/01 Vol. E87-A No. 11 pp. 2913-2918 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems) Category: Hybrid Systems Keyword: hybrid systems, incomplete knowledge, approximation, constraint logic programming,
	Summary \| Full Text:PDF

A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-A No. 11 pp. 2829-2837 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, multi-agent system, object orientation, agent orientation, mobile agent,
	Summary \| Full Text:PDF

An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method Kunihiko HIRAISHI Hirohide TANAKA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-A No. 11 pp. 2881-2884 Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, legal firing sequence problem, partial order methods, stubborn sets, state space explosion,
	Summary \| Full Text:PDF

An Efficient Algorithm for Exploring State Spaces of Petri Nets with Large Capacities Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/25 Vol. E83-A No. 11 pp. 2188-2195 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri nets, state space analysis, verification of concurrent systems, periodic occurrence of transitions,
	Summary \| Full Text:PDF

A Note on the Complexity of k-Ary Threshold Circuits Shao-Chin SUNG Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/08/25 Vol. E80-D No. 8 pp. 767-773 Type of Manuscript: PAPER Category: Algorithm and Computational Complexity Keyword: computational complexity, threshold circuit, symmetric function,
	Summary \| Full Text:PDF

FOREWORD Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/11/25 Vol. E79-A No. 11 pp. 1751-1751 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF

On Symbolic Model Checking in Petri Nets Kunihiko HIRAISHI Minoru NAKANO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-A No. 11 pp. 1479-1486 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: state space explosion, discrete event systems, concurrent systems, system verification,
	Summary \| Full Text:PDF