scientific article; zbMATH DE number 6936858

MaRDI QIDQ5375247zbMATH OpenFDO

Authors Kuize Zhang, Ting Liu, Daizhan Cheng

Publication date 14 September 2018

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Observability (93B07) Discrete event control/observation systems (93C65)

Cited in

(8)

• Synthesis for observability of logical control networks
• On detectability of labeled Petri nets and finite automata
• scientific article; zbMATH DE number 4201644 (Why is no real title available?)
• Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
• Critical Observability for Automata and Petri Nets
• Observability for Pair Pattern Calculi
• A survey on observability of Boolean control networks
• On clock interval automata for a class of time PNs

This page was built for publication:

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