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