The following pages link to Zhiwu Li (Q340679):
Displaying 20 items.
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems (Q6496167) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
- Identification of labeled Petri nets from finite automata (Q6544578) (← links)
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)
- Complete inference via knowledge Petri nets and resolution rules (Q6564892) (← links)
- Nonlinear cascade control based on an integral separated disturbance observer of proportional poppet valve (Q6577246) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)
- Opacity enforcement in discrete event systems using differential privacy (Q6629243) (← links)
- State estimation for constant-time labeled automata under dense time (Q6632510) (← links)
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)
- An extremum timed extended reachability graph for temporal analysis of time Petri nets (Q6645150) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)
- Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints (Q6659262) (← links)
- A joint diagnoser approach for diagnosability of discrete event systems under attack (Q6664820) (← links)
- Estimation and prevention of actuator enablement attacks in discrete-event systems under supervisory control (Q6667913) (← links)
- On the existence of nonblocking bounded supervisors for discrete-event systems (Q6668042) (← links)
- Concealability analysis for current-state opacity enforcement via editing functions (Q6668250) (← links)
- Event concealment and concealability enforcement in discrete event systems under partial observation (Q6668255) (← links)
- Verification of state-based timed opacity for constant-time labeled automata (Q6668306) (← links)
