| Publication | Date of Publication | Type |
|---|
Efficient optimal deadlock control of flexible manufacturing systems
IET Control Theory & Applications | 2025-10-08 | Paper |
Multistep sensor attackability in cyber-physical systems
IEEE Transactions on Automatic Control | 2025-07-14 | Paper |
Value approximator-based learning model predictive control for iterative tasks
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
Information Sciences | 2024-12-16 | Paper |
Synergy-incorporated Bayesian Petri net: a method for mining ``and/or'' relation and synergy effect with application in probabilistic reasoning
Information Sciences | 2024-08-30 | Paper |
Deadlock and blockage control of automated manufacturing systems with an unreliable resource
Asian Journal of Control | 2024-06-27 | Paper |
Toward explicit control between exploration and exploitation in evolutionary algorithms: a case study of differential evolution
Information Sciences | 2023-10-19 | Paper |
A Weighted Fidelity and Regularization-Based Method for Mixed or Unknown Noise Removal From Images on Graphs
IEEE Transactions on Image Processing | 2022-09-16 | Paper |
Stochastic stability of Markovian jump linear systems over networks with random quantization density and time delay
Physica A | 2022-07-01 | Paper |
A colored traveling salesman problem with varying city colors
Discrete Dynamics in Nature and Society | 2022-01-07 | Paper |
Inference approach based on Petri nets
Information Sciences | 2021-12-02 | Paper |
Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems
Information Sciences | 2021-03-31 | Paper |
| Supervisory Control and Scheduling of Resource Allocation Systems | 2021-03-03 | Paper |
Robust deadlock control of automated manufacturing systems with multiple unreliable resources
Information Sciences | 2020-10-07 | Paper |
Deadlock and liveness characterization for a class of generalized Petri nets
Information Sciences | 2020-07-16 | Paper |
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
Information Sciences | 2020-02-07 | Paper |
Structural Controller for Logical Expression of Linear Constraints on Petri Nets
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
Information Sciences | 2019-12-13 | Paper |
Model checking Petri nets with MSVL
Information Sciences | 2019-12-13 | Paper |
Incorporation of Structural Tensor and Driving Force Into Log-Demons for Large-Deformation Image Registration
IEEE Transactions on Image Processing | 2019-10-28 | Paper |
Design of regulatory traffic light control systems with synchronized timed Petri nets
Asian Journal of Control | 2018-07-12 | Paper |
Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
Asian Journal of Control | 2018-07-12 | Paper |
Deadlock characterization and control of flexible assembly systems with Petri nets
Automatica | 2018-01-23 | Paper |
A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR
IEEE Transactions on Automatic Control | 2017-11-10 | Paper |
Approximately Optimal Computing Budget Allocation for Selection of the Best and Worst Designs
IEEE Transactions on Automatic Control | 2017-09-21 | Paper |
Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Distributed Winner-Take-All in Dynamic Networks
IEEE Transactions on Automatic Control | 2017-06-08 | Paper |
Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
Asian Journal of Control | 2016-03-02 | Paper |
Synthesis of Petri net supervisors for FMS via redundant constraint elimination
Automatica | 2015-12-22 | Paper |
Macro liveness graph and liveness of -independent unbounded nets
Science China Information Sciences | 2015-11-20 | Paper |
| scientific article; zbMATH DE number 6453366 (Why is no real title available?) | 2015-06-29 | Paper |
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Automatica | 2015-06-25 | Paper |
Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
Automatica | 2014-10-20 | Paper |
Erratum to ``Liveness of an extended S\(^{3}\)PR '' [Automatica 46 (2010) 1008-1018]
Automatica | 2012-08-27 | Paper |
Liveness of an extended S\(^{3}\)PR
Automatica | 2010-06-17 | Paper |
Modeling and monitoring of E-commerce workflows
Information Sciences | 2009-03-24 | Paper |
Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
Advanced Textbooks in Control and Signal Processing | 2007-11-01 | Paper |
Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
OR Spectrum | 2007-08-20 | Paper |
A multi-level approach for network design of integrated supply chains
International Journal of Production Research | 2006-07-13 | Paper |
Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design
International Journal of Production Research | 2003-01-01 | Paper |
A Petri net approach to investigating push and pull paradigms in flexible factory automated systems
International Journal of Production Research | 1999-04-27 | Paper |
| scientific article; zbMATH DE number 978513 (Why is no real title available?) | 1997-02-13 | Paper |
| scientific article; zbMATH DE number 978522 (Why is no real title available?) | 1997-02-13 | Paper |
| scientific article; zbMATH DE number 777433 (Why is no real title available?) | 1995-07-23 | Paper |
Petri net synthesis and analysis of a flexible manufacturing system cell
IEEE Transactions on Systems, Man, and Cybernetics | 1994-01-06 | Paper |
A moment generating function based approach for evaluating extended stochastic Petri Nets
IEEE Transactions on Automatic Control | 1993-08-12 | Paper |
Design and implementation of a Petri net based supervisor for a flexible manufacturing system
Automatica | 1993-01-04 | Paper |
