State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
From MaRDI portal
Publication:2982770
DOI10.1109/TAC.2014.2363916zbMath1360.93413MaRDI QIDQ2982770
Maria Paola Cabasino, Carla Seatzu, Francesco Basile
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Related Items
Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships, Liveness enforcement for production systems modeled by time Petri nets, Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net, Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions, State estimation in labeled time Petri net systems using observed modified state class graph, An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions, Diagnosability of fault patterns with labeled stochastic Petri nets, Performance safety enforcement in strongly connected timed event graphs, Decentralized state estimation and diagnosis of p-time labeled Petri nets systems, Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets, Design of supervisors for linear marking specifications in labeled Petri nets, Modeling, simulation, estimation and boundedness analysis of discrete event systems, Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers, State estimation of max-plus automata with unobservable events, Approximated timed reachability graphs for the robust control of discrete event systems, Performance safety enforcement in stochastic event graphs against boost and slow attacks