Kunihiko Hiraishi

Available identifiers

zbMath Open hiraishi.kunihikoMaRDI QIDQ202269

List of research outcomes

Publication	Date of Publication	Type
Stochastic modeling and scalable predictive control for automated demand response	2023-11-13	Paper
Minimal trap spaces of logical models are maximal siphons of their Petri net encoding	2023-01-18	Paper
Reduced state space representation for unbounded vector state spaces	2019-05-02	Paper
A probabilistic approach to control of complex systems and its application to real-time pricing	2019-02-08	Paper
A pathfinding problem for search trees with unknown edge length	2018-09-27	Paper
Optimal control of probabilistic logic networks and its application to real-time pricing of electricity	2018-08-27	Paper
Optimization-based approaches to control of probabilistic Boolean networks	2018-08-20	Paper
On Solvability of a Decentralized Supervisory Control Problem With Communication	2017-08-08	Paper
An optimization-based approach to sampled-data control of networked control systems with multiple delays	2016-06-17	Paper
Simulating Markovian stochastic Petri nets by difference equations with interval parameters	2015-06-12	Paper
An approximation algorithm for box abstraction of transition systems on real state spaces	2014-06-30	Paper
Verification of opacity and diagnosability for pushdown systems	2013-06-14	Paper
Computational techniques for model predictive control of large-scale systems with continuous-valued and discrete-valued inputs	2013-06-14	Paper
Stabilization of finite automata with application to hybrid systems control	2012-03-09	Paper
An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks	2012-03-05	Paper
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds	2008-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4738192	2004-08-11	Paper
Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs	2002-07-30	Paper
The completeness of linear logic for Petri net models	2002-03-12	Paper
Synthesis of supervisors using learning algorithm of regular languages	2001-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4763575	1995-10-15	Paper
Some complexity results on transition systems and elementary net systems	1995-04-06	Paper
On structural conditions for weak persistency and semilinearity of Petri nets	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3977312	1992-06-25	Paper

Research outcomes over time

This page was built for person: Kunihiko Hiraishi