Observability of place/transition nets

DOI10.1109/TAC.2002.802769zbMath1364.93462OpenAlexW2155447404MaRDI QIDQ5267072

Alessandro Giua, Carla Seatzu

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

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07)

Related Items

Modeling, simulation, estimation and boundedness analysis of discrete event systems, Supervision based on place invariants: a survey, Decentralized observability of discrete event systems with synchronizations, Supervisory control of discrete-event systems under external attacks, Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers, On detectability of labeled Petri nets and finite automata, State estimation in labeled time Petri net systems using observed modified state class graph, State Estimation and Fault Detection Using Petri Nets, Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications, 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, State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions, State estimation of max-plus automata with unobservable events, Analysis of strong and strong periodic detectability of bounded labeled Petri nets, Detectability of labeled weighted automata over monoids