A coalgebraic approach to supervisory control of partially observed Mealy automata

DOI10.1007/978-3-642-22944-2_18zbMATH Open1343.93056OpenAlexW39900594MaRDI QIDQ3090873FDOQ3090873

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

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

zbMATH Keywords

coalgebradiscrete event systemssupervisory control

Mathematics Subject Classification ID

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

Cited In (4)

• Control of discrete-event systems with partial observations using coalgebra and coinduction
• Title not available (Why is that?)
• 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)