On verification of D-detectability for discrete event systems-Reference-Cited by-同舟云学术

On verification of D-detectability for discrete event systems

Author:

Balun Jiří,Masopust Tomáš

Funder

Ministerstvo Školství, Mládeže a Tělovýchovy

Palacky University Olomouc

Publisher

Elsevier BV

Subject

Electrical and Electronic Engineering,Control and Systems Engineering

Reference28 articles.

1. State estimation and detectability of networked discrete event systems with multi-channel communication networks;Alves,2019

2. Computational complexity – A modern approach;Arora,2009

3. On verification of strong periodic D-detectability for discrete event systems;Balun,2020

4. Languages of R-trivial monoids;Brzozowski;Journal of Computer and Systems Sciences,1980

5. Dynamical logic observers for finite automata;Caines,1988

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition;2023 9th International Conference on Control, Decision and Information Technologies (CoDIT);2023-07-03

3. A New Framework for Discrete-Event Systems;Foundations and Trends® in Systems and Control;2023