( en | de | ru )

 

Disambiguierung von "Li, Zhiwu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets.

, , und . IEEE Trans. Syst. Man Cybern. Syst., 52 (12): 7628-7641 (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zhiwu Xu

Li Li

Li Li

Li Li

Li Li

 

Weitere Publikationen von Autoren mit dem selben Namen

Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems, , und . International Journal of Production Research, 50 (22): 6357--6371 (15.11.2012)ELementary siphons in a class of generalized Petri nets and their application, , , und . Advanced Mechatronic Systems (ICAMechS), 2011 International Conference on, Seite 103--108. IEEE, (August 2011)Corrections to ” Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems” Mar 13 252-265, , und . IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44 (6): 804 (Juni 2014)Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems, , und . Information Sciences, (August 2013)Multi-objective optimization of energy-efficient remanufacturing system scheduling problem with lot-streaming production mode., , , , , und . Expert Syst. Appl., 237 (Part A): 121309 (März 2024)Current-state opacity enforcement in discrete event systems under incomparable observations., , , und . Discret. Event Dyn. Syst., 28 (2): 161-182 (2018)SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time., , und . Discret. Event Dyn. Syst., 29 (4): 501-520 (2019)Data Representation Based on Interval-Sets for Anomaly Detection in Time Series., , , und . IEEE Access, (2018)Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems., , , und . IEEE Access, (2017)Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources., , , und . IEEE Access, (2020)