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 (16)
Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ 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 ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ 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 ⋮ State estimation of max-plus automata with unobservable events ⋮ Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships ⋮ 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 ⋮ Approximated timed reachability graphs for the robust control of discrete event systems
This page was built for publication: State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions