Zhiwu Li

Research areas

Research interests

Petri Nets in System Modeling, Formal Methods in Verification, Flexible and Reconfigurable Manufacturing Systems, Business Process Modeling and Analysis, Real-Time Systems Scheduling

Publications

2026 Automated insertion attacks detection in scalable discrete event systems using enhanced Petri net models 2026 Aggregated baseline load point-interval forecasting for virtual power plants in demand response programs: An adaptive decomposition and prediction system 2026 Controllability analysis of descriptor multi-agent systems with multiplex signed networks 2026 Observer design and opacity verification for a class of timed automata 2026 Verification and enforcement of strong state-based opacity for discrete-event systems