Modal specifications for the control theory of discrete event systems

DOI10.1007/S10626-006-0008-6MaRDI QIDQ884763zbMATH OpenOpenAlexFDO

Authors 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\)-calculusReactive systemsControl theoryConjunctive \(\nu\)-calculusLogicsMaximally permissive solutionsModal specifications

Mathematics Subject Classification ID

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

Recommendations

• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• Supervisory control of discrete event systems
• CONCUR 2005 – Concurrency Theory
• Games for synthesis of controllers with partial observation.
• scientific article; zbMATH DE number 4158510

Cites work

• scientific article; zbMATH DE number 4158510 (Why is no real title available?)
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 1956650 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• scientific article; zbMATH DE number 781092 (Why is no real title available?)
• A decidable class of problems for control under partial observation
• Games for synthesis of controllers with partial observation.
• Mathematical Foundations of Computer Science 2003
• Results on the propositional \(\mu\)-calculus
• Rudiments of \(\mu\)-calculus

Cited in

(14)

• Natural projection as partial model checking
• Enforcing opacity of regular predicates on modal transition systems
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 7215288 (Why is no real title available?)
• Modal event-clock specifications for timed component-based design
• Refinement modal logic
• Generating conditions for preserving the properties of controlled discrete event systems
• Multi-model approach to discrete events systems: application to operating mode management
• Extending modal transition systems with structured labels
• Parametrized automata simulation and application to service composition
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Optimal modular control of discrete event systems with distinguishers and approximations
• Modular control of discrete-event systems using similarity
• Compositionality for quantitative specifications

Describes a project that uses

Uses Software

• UMDES

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

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