Generalised projections in finite state automata and decidability of state determinacy

DOI10.1080/00207170801888837zbMath1154.93396MaRDI QIDQ3603720

No author found.

Publication date: 18 February 2009

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207170801888837

zbMATH Keywords

formal languages; discrete event systems; partial observation

Mathematics Subject Classification ID

93C83: Control/observation systems involving computers (process control, etc.)

93C65: Discrete event control/observation systems

93B07: Observability

Related Items

Optimal control of infinite horizon partially observable decision processes modelled as generators of probabilistic regular languages

Cites Work

• Unnamed Item
• On observability of discrete-event systems
• On the computation of observers in discrete-event systems
• Decentralized supervisory control of discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Diagnosability of discrete-event systems
• Optimal sensor selection for discrete-event systems with partial observation
• Language-measure-theoretic optimal control of probabilistic finite-state systems
• Signed real measure of regular languages for discrete event supervisory control
• Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis