On the computation of observers in discrete-event systems

DOI10.1023/B:DISC.0000005010.55515.27MaRDI QIDQ1424973zbMATH OpenFDO

Authors D. Massart, Kai C. Wong, W. Murray Wonham

Publication date 15 March 2004

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/B:DISC.0000005010.55515.27

zbMATH Keywords

causal reporter mapsdiscrete-event systemsnatural projectionsobservers

Mathematics Subject Classification ID

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

Recommendations

• On the computation of natural observers in discrete-event systems
• Computing observers from observation policies in discrete-event systems
• Observability of discrete event dynamic systems
• Hierarchical control of discrete-event systems
• scientific article; zbMATH DE number 4102885

Cited in

(19)

• Stabilizing observers
• System theory for system identification.
• Computing observers from observation policies in discrete-event systems
• Compositional coordinator synthesis of extended finite automata
• Using subobservers to synthesize opacity-enforcing supervisors
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
• Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
• Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
• Generalised projections in finite state automata and decidability of state determinacy
• On the complexity of synthesizing a minimum-weighted supervisor under partial observation
• Distributed supervisory control of discrete-event systems with communication delay
• Minimal sensor activation and minimal communication in discrete-event systems
• Nonblocking check in fuzzy discrete event systems based on observation equivalence
• A language measure for partially observed discrete event systems
• On the computation of natural observers in discrete-event systems
• Overview of networked supervisory control with imperfect communication channels
• On algorithms verifying initial-and-final-state opacity: complexity, special cases, and comparison
• Hierarchical fault diagnosis for discrete-event systems under global consistency
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence

This page was built for publication: On the computation of observers in discrete-event systems

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