I-S detectability of partially-observed discrete event systems: a novel matrix-based method
From MaRDI portal
Publication:2687822
DOI10.1016/j.jfranklin.2022.11.023OpenAlexW4309626542MaRDI QIDQ2687822
Publication date: 7 March 2023
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jfranklin.2022.11.023
Related Items (2)
Observability of Boolean control networks with stochastic disturbances ⋮ Distributed diagnosis of discrete-event systems under dynamic event observations
Uses Software
Cites Work
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- On controllability and stabilizability of probabilistic Boolean control networks
- Optimal sensor activation for diagnosing discrete event systems
- Predictability of event occurrences in partially-observed discrete-event systems
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Supervisory control of discrete-event systems
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- Matrix approach to detectability of discrete event systems
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Introduction to Discrete Event Systems
- Observability of discrete event dynamic systems
- Towards an Abstract Internal Model Principle
- State Estimation of Multichannel Networked Discrete Event Systems
- Verification of Delay Co-Observability for Discrete Event Systems
- The Outputs Robustness of Boolean Control Networks via Pinning Control
- A Linear Representation of Dynamics of Boolean Networks
- A survey on sliding mode control for networked control systems
- Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra
- Proportional–integral-type estimator design for delayed recurrent neural networks under encoding–decoding mechanism
- Event-triggered sliding mode control for multi-agent systems subject to channel fading
- Stability of Discrete-Time Systems Under Restricted Switching via Logic Dynamical Generator and STP-Based Mergence of Hybrid States
- Detectability of Discrete Event Systems
- Distributed Recursive Filtering Over Sensor Networks With Nonlogarithmic Sensor Resolution
This page was built for publication: I-S detectability of partially-observed discrete event systems: a novel matrix-based method
