Mathematical Foundations of Computer Science 2003

DOI10.1007/B11836MaRDI QIDQ5431352zbMATH OpenOpenAlexFDO

Authors Stéphane Riedweg, Sophie Pinchinat

Publication date 7 December 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11836

Mathematics Subject Classification ID

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

Recommendations

• Quantitative verification and control via the mu-calculus.
• Games for synthesis of controllers with partial observation.
• Nondeterministic controllers of nondeterministic processes
• scientific article; zbMATH DE number 2163041
• Model checking the quantitative \(\mu \)-calculus on linear hybrid systems

Cited in

(9)

• A decidable class of problems for control under partial observation
• Games for synthesis of controllers with partial observation.
• Supervisory control and reactive synthesis: a comparative introduction
• Natural projection as partial model checking
• Refinement modal logic
• scientific article; zbMATH DE number 7577569 (Why is no real title available?)
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Quantitative verification and control via the mu-calculus.
• Modal specifications for the control theory of discrete event systems

This page was built for publication: Mathematical Foundations of Computer Science 2003

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