scientific article; zbMATH DE number 6936874

MaRDI QIDQ5375267zbMATH OpenFDO

Authors Xiang Yin

Publication date 14 September 2018

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(10)

• Deciding detectability for labeled Petri nets
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
• Design of supervisors for linear marking specifications in labeled Petri nets
• Approximate predictability of pseudo-metric systems
• On detectability of labeled Petri nets and finite automata
• Marking diagnosability verification in labeled Petri nets
• Probabilistic Marking Estimation in Labeled Petri Nets
• Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
• Prognosability verification and enforcement in labeled Petri nets under observation delays and intermittent losses

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5375267)