| Publication | Date of Publication | Type |
|---|
Stochastic modeling and scalable predictive control for automated demand response
International Journal of Robust and Nonlinear Control | 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
Application and Theory of Petri Nets 1996 | 2019-05-02 | Paper |
A probabilistic approach to control of complex systems and its application to real-time pricing
Mathematical Problems in Engineering | 2019-02-08 | Paper |
A pathfinding problem for search trees with unknown edge length
Journal of Discrete Algorithms | 2018-09-27 | Paper |
Optimal control of probabilistic logic networks and its application to real-time pricing of electricity
Mathematical Problems in Engineering | 2018-08-27 | Paper |
Optimization-based approaches to control of probabilistic Boolean networks
Algorithms | 2018-08-20 | Paper |
On Solvability of a Decentralized Supervisory Control Problem With Communication
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
An optimization-based approach to sampled-data control of networked control systems with multiple delays
Applied Mathematics and Computation | 2016-06-17 | Paper |
Simulating Markovian stochastic Petri nets by difference equations with interval parameters
Discrete Event Dynamic Systems | 2015-06-12 | Paper |
An approximation algorithm for box abstraction of transition systems on real state spaces
Formal Methods in System Design | 2014-06-30 | Paper |
Verification of opacity and diagnosability for pushdown systems
Journal of Applied Mathematics | 2013-06-14 | Paper |
Computational techniques for model predictive control of large-scale systems with continuous-valued and discrete-valued inputs
Journal of Applied Mathematics | 2013-06-14 | Paper |
Stabilization of finite automata with application to hybrid systems control
Discrete Event Dynamic Systems | 2012-03-09 | Paper |
An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks
Automatica | 2012-03-05 | Paper |
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
| scientific article; zbMATH DE number 2087404 (Why is no real title available?) | 2004-08-11 | Paper |
Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs
Computers & Operations Research | 2002-07-30 | Paper |
The completeness of linear logic for Petri net models
Logic Journal of the IGPL | 2002-03-12 | Paper |
Synthesis of supervisors using learning algorithm of regular languages
Discrete Event Dynamic Systems | 2001-11-30 | Paper |
| scientific article; zbMATH DE number 744059 (Why is no real title available?) | 1995-10-15 | Paper |
Some complexity results on transition systems and elementary net systems
Theoretical Computer Science | 1995-04-06 | Paper |
On structural conditions for weak persistency and semilinearity of Petri nets
Theoretical Computer Science | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 14961 (Why is no real title available?) | 1992-06-25 | Paper |
