The following pages link to Kunihiko Hiraishi (Q202269):
Displaying 24 items.
- An optimization-based approach to sampled-data control of networked control systems with multiple delays (Q297822) (← links)
- An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks (Q665166) (← links)
- Stabilization of finite automata with application to hybrid systems control (Q763412) (← links)
- On structural conditions for weak persistency and semilinearity of Petri nets (Q1186602) (← links)
- Some complexity results on transition systems and elementary net systems (Q1346631) (← links)
- Optimization-based approaches to control of probabilistic Boolean networks (Q1662626) (← links)
- Optimal control of probabilistic logic networks and its application to real-time pricing of electricity (Q1667038) (← links)
- A probabilistic approach to control of complex systems and its application to real-time pricing (Q1719355) (← links)
- A pathfinding problem for search trees with unknown edge length (Q1784979) (← links)
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding (Q2112149) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- Simulating Markovian stochastic Petri nets by difference equations with interval parameters (Q2348376) (← links)
- Computational techniques for model predictive control of large-scale systems with continuous-valued and discrete-valued inputs (Q2375604) (← links)
- Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
- The completeness of linear logic for Petri net models (Q2743640) (← links)
- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds (Q3510870) (← links)
- (Q3977312) (← links)
- Reduced state space representation for unbounded vector state spaces (Q4633164) (← links)
- (Q4738192) (← links)
- (Q4763575) (← links)
- On Solvability of a Decentralized Supervisory Control Problem With Communication (Q4974481) (← links)
- Synthesis of supervisors using learning algorithm of regular languages (Q5943166) (← links)
- Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs (Q5959375) (← links)
- Stochastic modeling and scalable predictive control for automated demand response (Q6089853) (← links)
