The following pages link to Zhiwu Li (Q340679):
Displaying 50 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
- (Q445934) (redirect page) (← links)
- Erratum to ``Liveness of an extended S\(^{3}\)PR '' [Automatica 46 (2010) 1008-1018] (Q445936) (← links)
- (Q497948) (redirect page) (← links)
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197) (← links)
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement (Q778456) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- A two-stage method for member selection of emergency medical service (Q887872) (← links)
- Unstable and stable galaxy models (Q926259) (← links)
- Liveness of an extended S\(^{3}\)PR (Q976266) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Model-based fault identification of discrete event systems using partially observed Petri nets (Q1716461) (← links)
- Influence minimization in linear threshold networks (Q1737600) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Bicriterion scheduling with a negotiable common due window and resource-dependent processing times (Q2004709) (← links)
- Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints (Q2053864) (← links)
- Detectability verification of probabilistic Boolean networks (Q2056383) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Time based deadlock prevention for Petri nets (Q2071966) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode (Q2096098) (← links)
- Output feedback MPC for uncertain delayed system and control of a wind tunnel system (Q2127050) (← links)
- Modular control of discrete-event systems using similarity (Q2151956) (← links)
- Observer-based output feedback robust MPC via zonotopic set-membership state estimation for LPV systems with bounded disturbances and noises (Q2198636) (← links)
- Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
- Coevolution of fairness and spite on stochastic dynamics networks (Q2234638) (← links)
- An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems (Q2314759) (← links)
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method'' [Automatica 48 (2012), 1097-1101] (Q2342522) (← links)
- A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets (Q2350777) (← links)
- Supervisor reconfiguration for deadlock prevention by resources reallocation (Q2375493) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- Robustness of deadlock control for a class of Petri nets with unreliable resources (Q2446458) (← links)
- Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems (Q2660973) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Quantile deep learning model and multi-objective opposition elite marine predator optimization algorithm for wind speed prediction (Q2692054) (← links)
- Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions (Q2789927) (← links)
- A versatile supervisor with one monitor based on macro-tokens (Q2877762) (← links)
- On the Equivalence of Observation Structures for Petri Net Generators (Q2980390) (← links)
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints (Q2982662) (← links)
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems (Q3055275) (← links)
