Kunihiko HIRAISHI


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 dataairspace trafficcomputational geometry
 Summary | Full Text:PDF(155.8KB)

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 controlself-triggered controlnetworked control systemsmodel predictive control
 Summary | Full Text:PDF(685.7KB)

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 systemsdiagnosisN-gram modelwildcard character
 Summary | Full Text:PDF(714.5KB)

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 programmingmulti-vehicle systemsoptimal controltemporal logic constraints
 Summary | Full Text:PDF(1.1MB)

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 systemsdiagnosisN-gram models
 Summary | Full Text:PDF(1MB)

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 bisimulationdiscrete abstractiongenetic toggle switchesstochastic hybrid systems
 Summary | Full Text:PDF(912.7KB)

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 configurationprocedure synthesisplanningmodel finderalloy analyzer
 Summary | Full Text:PDF(2.1MB)

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 compensationmodel predictive controlnetworked control systemsself-triggered control
 Summary | Full Text:PDF(629.4KB)

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 behaviorBoolean networksinteger programmingoptimal controlPetri nets
 Summary | Full Text:PDF(614.5KB)

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 controlpolynomial optimizationprobabilistic Boolean networkssystems biology
 Summary | Full Text:PDF(471.2KB)

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 controlnetworked systemsoptimal control
 Summary | Full Text:PDF(536.9KB)

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 modelinterval methodparameter uncertaintyhybrid systems
 Summary | Full Text:PDF(326.5KB)

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 computationstime-varying referenceapproximate algorithmmodel predictive controlhybrid systems
 Summary | Full Text:PDF(239.8KB)

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 systemssoftware component verificationsupervisory control
 Summary | Full Text:PDF(276.6KB)

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: 
fluidificationinterval methodsworkflowperformance evaluationhybrid systems
 Summary | Full Text:PDF(374.1KB)

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(57.6KB)

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: 
inkdotpebbletwo-dimensional automatanondeterminismalternation
 Summary | Full Text:PDF(260.1KB)

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: 
schedulingjust-in-timeset-up timesheuristic algorithmminimum cost flow
 Summary | Full Text:PDF(241.1KB)

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 systemsincomplete knowledgeapproximationconstraint logic programming
 Summary | Full Text:PDF(324.2KB)

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 netmulti-agent systemobject orientationagent orientationmobile agent
 Summary | Full Text:PDF(557.4KB)

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 netlegal firing sequence problempartial order methodsstubborn setsstate space explosion
 Summary | Full Text:PDF(208.6KB)

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 netsstate space analysisverification of concurrent systemsperiodic occurrence of transitions
 Summary | Full Text:PDF(437.5KB)

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 complexitythreshold circuitsymmetric function
 Summary | Full Text:PDF(488.3KB)

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(74.9KB)

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 explosiondiscrete event systemsconcurrent systemssystem verification
 Summary | Full Text:PDF(583.9KB)