Kunihiko Hiraishi

Kokolo Ikeda

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

A Pathfinding Problem for Fork-Join Directed Acyclic Graphs with Unknown Edge Length.

[BibT_eX]

[DOI]

Algorithms, 2021

An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2021

2020

A Study on Attractors of Generalized Asynchronous Random Boolean Networks.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine.

[BibT_eX]

[DOI]

Kenji Fujita

Toshiaki Aoki

Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management, 2020

An efficient method for approximating attractors in large-scale asynchronous Boolean models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020

2019

Sector Identification for a Large Amount of Airspace Traffic Data.

[BibT_eX]

[DOI]

Shoya Tokumaru

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Process mining approach for the conformance checking of discrete-event simulation model.

[BibT_eX]

[DOI]

Kenji Uehara

Proceedings of the 58th Annual Conference of the Society of Instrument and Control Engineers of Japan, 2019

Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th Asian Control Conference, 2019

2018

A pathfinding problem for search trees with unknown edge length.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2018

Information Supervisory Control of Human Behavior - A Formal Model and Simulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017

Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2017

Optimization-Based Approaches to Control of Probabilistic Boolean Networks.

[BibT_eX]

[DOI]

Algorithms, 2017

Model-based approach to analysis of human behavior with applications to nursing and caregiving services.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

Modeling and optimization of item changes in vending machines.

[BibT_eX]

[DOI]

Gaku Nemoto

Proceedings of the 11th Asian Control Conference, 2017

Information supervisory control of human behavior - Experiments and formal modeling.

[BibT_eX]

[DOI]

Proceedings of the 11th Asian Control Conference, 2017

2016

Event-Triggered and Self-Triggered Control for Networked Control Systems Using Online Optimization.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Diagnosis of Stochastic Discrete Event Systems Based on N-Gram Models with Wildcard Characters.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Spatio-temporal situation recognition for groups in caregiving services.

[BibT_eX]

[DOI]

Kaoru Sato

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2016

2015

Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models.

[BibT_eX]

[DOI]

Miwa Yoshimoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints.

[BibT_eX]

[DOI]

Takuro Nagami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Simulating Markovian stochastic Petri Nets by difference equations with interval parameters.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2015

Algorithm for optimal real-time pricing based on switched Markov chain models.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2015

On event-triggered and self-triggered control using online optimization.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Mechatronics, 2015

Mesoscopic modeling of airport surface by object Petri nets.

[BibT_eX]

[DOI]

Kenji Uehara

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Optimal real-time pricing of electricity with consideration for decrease in price effect.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2014

Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation.

[BibT_eX]

[DOI]

Yasuhito Fukui

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

An optimization-based approach to sampled-data control of networked control systems with multiple delays.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2014

Detection of Unusual Human Activities Based on Behavior Modeling.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Improving reliability in management of cloud computing infrastructure by formal methods.

[BibT_eX]

[DOI]

Shinji Kikuchi

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

A probabilistic approach to design of real-time pricing systems over communication networks.

[BibT_eX]

[DOI]

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

Design of Boolean networks based on prescribed singleton attractors.

[BibT_eX]

[DOI]

Proceedings of the 13th European Control Conference, 2014

Behavior modeling in physical and adaptive intelligent services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2014

Self-triggered optimal control of linear systems using convex quadratic programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Workshop on Advanced Motion Control, 2014

2013

Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Verification of Opacity and Diagnosability for Pushdown Systems.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Optimal Control of Boolean Biological Networks Modeled by Petri Nets.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Synthesis of Configuration Change Procedure Using Model Finder.

[BibT_eX]

[DOI]

Shinji Kikuchi

Satoshi Tsuchiya

IEICE Trans. Inf. Syst., 2013

An approximation algorithm for box abstraction of transition systems on real state spaces.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

Dual Decomposition for Vietnamese Part-of-Speech Tagging.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013

Diagnosis of stochastic discrete event systems based on N-gram models with wildcard characters.

[BibT_eX]

[DOI]

Miwa Yoshimoto

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Modeling and optimal control of multi-hop control networks based on the MLD framework.

[BibT_eX]

[DOI]

Proceedings of the IECON 2013, 2013

Controller design of networked control systems with multiple delays using interval methods.

[BibT_eX]

[DOI]

Proceedings of the IECON 2013, 2013

Modeling and Verification of Change Processes in Collaborative Software Engineering.

[BibT_eX]

[DOI]

Thi Thanh Huyen Phan

Koichiro Ochimizu

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Optimal control of multi-vehicle systems with LTL specifications.

[BibT_eX]

[DOI]

Takuro Nagami

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Modeling of complex processes in nursing and caregiving services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Design of networked control systems using a stochastic switching systems approach.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

A Petri Net-Based Approach to Control of Boolean Networks.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Networking and Computing, 2012

On opacity and diagnosability in discrete event systems modeled by pushdown automata.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Stabilization of Finite Automata with Application to Hybrid Systems Control.

[BibT_eX]

[DOI]

Jun-ichi Imura

Discret. Event Dyn. Syst., 2011

An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks.

[BibT_eX]

[DOI]

Autom., 2011

Formal verification of business processes with temporal and resource constraints.

[BibT_eX]

[DOI]

Kenji Watahiki

Fuyuki Ishikawa

Proceedings of the IEEE International Conference on Systems, 2011

Optimal control of a class of stochastic hybrid systems with probabilistic constraints.

[BibT_eX]

[DOI]

Koichiro Matou

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks.

[BibT_eX]

[DOI]

Jun-ichi Imura

EURASIP J. Bioinform. Syst. Biol., 2010

Optimal control of context-sensitive probabilistic Boolean networks using integer programming.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

An integer programming approach to control problems in probabilistic Boolean networks.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

MLD-based Modeling and MPC of Discrete-time Hybrid Systems with Stochastic Mode Transitions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Control Applications, 2010

2009

On Solvability of a Decentralized Supervisory Control Problem With Communication.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Application of DES Theory to Verification of Software Components.

[BibT_eX]

[DOI]

Petr Kucera

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference.

[BibT_eX]

[DOI]

Nguyen Van Tang

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Polynomial-time controllability analysis of Boolean networks.

[BibT_eX]

[DOI]

Jun-ichi Imura

Proceedings of the American Control Conference, 2009

Analysis and control of hybrid systems with parameter uncertainty based on interval methods.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

2008

Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

Special Section on Concurrent/Hybrid Systems: Theory and Applications.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

2005

Inkdot versus Pebble over Two-Dimensional Languages.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots.

[BibT_eX]

[DOI]

Eishi Chiba

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

2002

Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs.

[BibT_eX]

[DOI]

Eugene Levner

Milan Vlach

Comput. Oper. Res., 2002

PN2: An Elementary Model for Design and Analysis of Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

The Completeness of Linear Logic for Petri Net Models.

[BibT_eX]

[DOI]

Keiko Ishihara

Log. J. IGPL, 2001

Synthesis of Supervisors Using Learning Algorithm of Regular Languages.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2001

2000

A Petri-net-based model for the mathematical analysis of multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples.

[BibT_eX]

Takeshi Koshiba

Proceedings of the International Colloquium on Words, 2000

1997

An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996

Reducted State Space Representation for Unbounded Vector State Spaces.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS.

[BibT_eX]

[DOI]

Decis. Support Syst., 1995

1994

Some Complexity Results on Transition Systems and Elementary Net Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

1992

On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets.

[BibT_eX]

[DOI]

Atsunobu Ichikawa

Theor. Comput. Sci., 1992

Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1992, 1992

1991

Information structuring and its implementations on a research decision support system.

[BibT_eX]

[DOI]

Decis. Support Syst., 1991

1990

Exact Learning of Semilinear Sets.

[BibT_eX]

Yuji Takada