Observability of place/transition nets
From MaRDI portal
Publication:5267072
DOI10.1109/TAC.2002.802769zbMATH Open1364.93462OpenAlexW2155447404MaRDI QIDQ5267072FDOQ5267072
Publication date: 20 June 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2002.802769
Cited In (20)
- Supervisory control of discrete-event systems under external attacks
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Modeling, simulation, estimation and boundedness analysis of discrete event systems
- 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
- Title not available (Why is that?)
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)
