A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic

Medientyp: E-Artikel
Titel: A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic
Beteiligte: Dong, Weijie; Yin, Xiang; Li, Shaoyuan
Erschienen: Institute of Electrical and Electronics Engineers (IEEE), 2024
Erschienen in: IEEE Transactions on Automatic Control
Sprache: Nicht zu entscheiden
DOI: 10.1109/tac.2023.3266021
ISSN: 0018-9286; 1558-2523; 2334-3303
Schlagwörter: Electrical and Electronic Engineering ; Computer Science Applications ; Control and Systems Engineering
Entstehung:
Anmerkungen:

Nur in Feld suchen: