Ning Ran

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Noninterference analysis of bounded Petri nets using basis reachability graph IEEE Transactions on Automatic Control	2025-01-21	Paper
Codiagnosability Enforcement in Labeled Petri Nets IEEE Transactions on Automatic Control	2023-09-26	Paper
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets IEEE Transactions on Automatic Control	2023-09-24	Paper
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection IEEE Transactions on Automatic Control	2019-07-18	Paper
Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions IMA Journal of Mathematical Control and Information	2018-09-27	Paper
Codiagnosability Analysis of Bounded Petri Nets IEEE Transactions on Automatic Control	2018-06-27	Paper
Fault diagnosis for discrete event systems modeled by bounded Petri nets Asian Journal of Control	2017-10-02	Paper
Comments on “Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis” IEEE Transactions on Automatic Control	2017-07-27	Paper

Research outcomes over time

This page was built for person: Ning Ran