A decidable class of problems for control under partial observation

DOI10.1016/J.IPL.2005.04.011MaRDI QIDQ1041809zbMATH OpenOpenAlexFDO

Authors Sophie Pinchinat, Stéphane Riedweg

Publication date 4 December 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2005.04.011

zbMATH Keywords

optimal controlformal methodstemporal logicspecification languagesupervisiondiscrete-events systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Cites work

• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 1759605 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• An automata theoretic decision procedure for the propositional mu- calculus
• An automata-theoretic approach to branching-time model checking
• Games for synthesis of controllers with partial observation.
• Mathematical Foundations of Computer Science 2003
• On observability of discrete-event systems
• Results on the propositional \(\mu\)-calculus
• Rudiments of \(\mu\)-calculus
• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
• Supervision of Infinite Behavior of Discrete-Event Systems
• The undecidability of the domino problem
• “Sometimes” and “not never” revisited

Cited in

(3)

• A general notion of uniform strategies
• Compositional construction of most general controllers
• Modal specifications for the control theory of discrete event systems

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: A decidable class of problems for control under partial observation

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