State-based opacity of real-time automata

DOI10.4230/OASICS.AUTOMATA.2021.12MaRDI QIDQ6587272zbMATH OpenFDO

Authors Kuize Zhang

Publication date 13 August 2024

Full work available at URL https://doi.org/10.4230/OASICS.AUTOMATA.2021.12

zbMATH Keywords

observerreal-time automatonstate-based opacityverification

Mathematics Subject Classification ID

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

Recommendations

• State-based opacity of labeled real-time automata
• Decidability of the initial-state opacity of real-time automata
• Strong current-state and initial-state opacity of discrete-event systems
• Comparing the notions of opacity for discrete-event systems
• Verifying weak and strong \(k\)-step opacity in discrete-event systems

Cited in

(5)

• State-based opacity of labeled real-time automata
• On the verification of detectability for timed discrete event systems
• State estimation for constant-time labeled automata under dense time
• New insights into opacity verification in timed discrete-event systems
• Observer design and opacity verification for a class of timed automata

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)