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