Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
State-based opacity of real-time automata - MaRDI portal

State-based opacity of real-time automata

From MaRDI portal

Publication:6587272

Jump to:navigation, search

DOI10.4230/OASICS.AUTOMATA.2021.12zbMATH Open1542.6809MaRDI QIDQ6587272

Kuize Zhang

Publication date: 13 August 2024

zbMATH Keywords

verification observer real-time automaton state-based opacity

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)

Related Items (2)

On the verification of detectability for timed discrete event systems ⋮ State estimation for constant-time labeled automata under dense time

This page was built for publication: State-based opacity of real-time automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587272)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6587272&oldid=40133590"