Observability of place/transition nets

Cited in

(20)

Modeling, simulation, estimation and boundedness analysis of discrete event systems
scientific article; zbMATH DE number 6027053 (Why is no real title available?)
State estimation of max-plus automata with unobservable events
Observability for Pair Pattern Calculi
Critical Observability for Automata and Petri Nets
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
Supervisory control of discrete-event systems under external attacks
Detectability of labeled weighted automata over monoids
State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
State Estimation and Fault Detection Using Petri Nets
On detectability of labeled Petri nets and finite automata
State estimation in labeled time Petri net systems using observed modified state class graph
Decentralized observability of discrete event systems with synchronizations
scientific article; zbMATH DE number 1799527 (Why is no real title available?)
scientific article; zbMATH DE number 3917724 (Why is no real title available?)
Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
Supervision based on place invariants: a survey
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

This page was built for publication: Observability of place/transition nets

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