Modal specifications for the control theory of discrete event systems

DOI10.1007/s10626-006-0008-6zbMath1116.93037OpenAlexW1974141623MaRDI QIDQ884763

Guillaume Feuillade, Sophie Pinchinat

Publication date: 7 June 2007

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-006-0008-6

zbMATH Keywords

\(\mu\)-calculusControl theoryReactive systemsConjunctive \(\nu\)-calculusLogicsMaximally permissive solutionsModal specifications

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Logic in computer science (03B70)

Related Items (9)

Extending modal transition systems with structured labels ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Modal event-clock specifications for timed component-based design ⋮ Natural projection as partial model checking ⋮ Refinement modal logic ⋮ Parametrized automata simulation and application to service composition ⋮ Compositionality for quantitative specifications ⋮ Unnamed Item ⋮ Enforcing opacity of regular predicates on modal transition systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• A decidable class of problems for control under partial observation
• Games for synthesis of controllers with partial observation.
• Mathematical Foundations of Computer Science 2003
• Rudiments of \(\mu\)-calculus

This page was built for publication: Modal specifications for the control theory of discrete event systems