An Efficient Algorithm for Controller Synthesis under Full Observation

DOI10.1006/JAGM.1997.0877MaRDI QIDQ4366878zbMATH OpenOpenAlexFDO

Authors Michel Barbeau, Froduald Kabanza, Richard St-Denis

Publication date 7 January 1998

Published in Journal of Algorithms (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jagm.1997.0877

zbMATH Keywords

on-line synthesis algorithm

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Recommendations

• Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
• Controller synthesis for net condition/event systems with a solution for incomplete state observation
• An algorithm for synthesis of discrete time-optimal addaptive controllers
• scientific article; zbMATH DE number 1284133

Cited in

(4)

• Minimum Attention Controller Synthesis for Omega-Regular Objectives
• scientific article; zbMATH DE number 7455737 (Why is no real title available?)
• Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
• Control of parameterized discrete event systems

This page was built for publication: An Efficient Algorithm for Controller Synthesis under Full Observation

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