Mathematical Foundations of Computer Science 2003

DOI10.1007/b11836zbMath1124.68388OpenAlexW2495578842MaRDI QIDQ5431352

Sophie Pinchinat, Stéphane Riedweg

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

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

Related Items (7)

Modal specifications for the control theory of discrete event systems ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Natural projection as partial model checking ⋮ Refinement modal logic ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ Unnamed Item ⋮ A decidable class of problems for control under partial observation

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