Codiagnosability Analysis of Bounded Petri Nets

Ning Ran, Hongye Su, Alessandro Giua, +1

IEEE Transactions on Automatic Control

An improved approach to test diagnosability of bounded petri nets

Ning Ran, Hongye Su, Shouguang Wang

IEEE/CAA Journal of Automatica Sinica

Petri NetEngineeringReachability ProblemVerificationDiagnosis +18

Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection

Ning Ran, Alessandro Giua, Carla Seatzu

IEEE Transactions on Automatic Control

Mathematical ProgrammingPetri NetEngineeringVerificationDiagnosis +23

Optimal design of home energy management strategy based on refined load model

Peiguang Wang, Zhaoyan Zhang, Lei Fu, +1

Energy

Refined Load ModelEnergy ControlEngineeringSmart GridEnergy Efficiency +9

Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets

Ning Ran, Jinyuan Hao, Carla Seatzu

IEEE Transactions on Automatic Control

Mathematical ProgrammingTotal CostPetri NetEngineeringReachability Problem +18

Codiagnosability Enforcement in Labeled Petri Nets

Ning Ran, Tingting Li, Zhou He, +1

IEEE Transactions on Automatic Control

Mathematical ProgrammingPetri NetEngineeringVerificationAutonomous Systems +14

Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets

Ning Ran, Shouguang Wang, Hongye Su, +1

Asian Journal of Control

Petri NetFault DiagnosisEngineeringReachability ProblemDiscrete Event Systems +16

K-Codiagnosability Verification of Labeled Petri Nets

Ning Ran, Jinyuan Hao, Zijian Dong, +4

IEEE Access

Petri NetEngineeringReachability ProblemSurvivable SystemDiscrete Event Systems +15

Path Planning of Multi-Type Robot Systems with Time Windows Based on Timed Colored Petri Nets

Zhou He, Ruijie Zhang, Ning Ran, +1

Applied Sciences

Petri NetEngineeringField RoboticsIntelligent SystemsMulti-type Robot System +20

Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions

Ning Ran, Tingting Li, Shouguang Wang, +1

IEEE Transactions on Automation Science and Engineering