Trajectory detectability of discrete-event systems
type: Item
instance of: scholarly article
title: Trajectory detectability of discrete-event systems
zbMATH Open document ID: 1408.93084
author: Xiang Yin
author: Zhaojian Li
author: Weilin Wang
published in: Systems \& Control Letters
publication date: 2019-02-27T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B07
zbMATH DE Number: 7030021
zbMATH Keywords: discrete-event systems
zbMATH Keywords: trajectory estimation
zbMATH Keywords: detectability
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.sysconle.2018.07.008
OpenAlex ID: W2885267056
cites work: Observability of discrete event dynamic systems
cites work: An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
cites work: Detectability of Discrete Event Systems
cites work: Detectability of discrete event systems with dynamic event observation
cites work: On observability of discrete-event systems
cites work: Generalized detectability for discrete event systems
cites work: Detectability in stochastic discrete event systems
cites work: Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
cites work: The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
cites work: Complexity of deciding detectability in discrete event systems
cites work: Verification complexity of a class of observational properties for modular discrete events systems
cites work: Enforcing Detectability in Controlled Discrete Event Systems
cites work: A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
cites work: Observable graphs
cites work: A polynomial algorithm for testing diagnosability of discrete-event systems
cites work: Polynomial-time verification of diagnosability of partially observed discrete-event systems
cites work: Invertibility of discrete-event dynamic systems
cites work: Introduction to Discrete Event Systems
cites work: Opacity of discrete event systems and its applications
cites work: On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
cites work: Codiagnosability and coobservability under dynamic observations: transformation and verification
cites work: Minimal sensor activation and minimal communication in discrete-event systems
cites work: Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
cites work: Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
cites work: Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
Wikidata QID: Q129435477
DOI: 10.1016/J.SYSCONLE.2018.07.008
description: scientific article; zbMATH DE number 7030021