A coalgebraic approach to supervisory control of partially observed Mealy automata

DOI10.1007/978-3-642-22944-2_18MaRDI QIDQ3090873zbMATH OpenOpenAlexFDO

Authors Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22944-2_18

zbMATH Keywords

coalgebradiscrete event systemssupervisory control

Mathematics Subject Classification ID

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

Recommendations

• Control of discrete-event systems with partial observations using coalgebra and coinduction
• Coinduction in control of partially observed discrete-event systems
• scientific article; zbMATH DE number 1836352
• Supervisory Control with Complete Observations
• An algebraic approach to supervisory control

Cited in

(4)

• Control of discrete-event systems with partial observations using coalgebra and coinduction
• scientific article; zbMATH DE number 1836352 (Why is no real title available?)
• Coinduction in control of partially observed discrete-event systems
• Supervisory control of (max,+) automata: extensions towards applications

This page was built for publication: A coalgebraic approach to supervisory control of partially observed Mealy automata

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