Modal specifications for the control theory of discrete event systems

DOI10.1007/S10626-006-0008-6zbMATH Open1116.93037OpenAlexW1974141623MaRDI QIDQ884763FDOQ884763

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

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

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)

Cites Work

• Title not available (Why is that?)
• Results on the propositional \(\mu\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Games for synthesis of controllers with partial observation.
• Title not available (Why is that?)
• Mathematical Foundations of Computer Science 2003
• Rudiments of \(\mu\)-calculus
• Title not available (Why is that?)
• A decidable class of problems for control under partial observation

Cited In (14)

• Natural projection as partial model checking
• Enforcing opacity of regular predicates on modal transition systems
• CONCUR 2005 – Concurrency Theory
• Title not available (Why is that?)
• Modal event-clock specifications for timed component-based design
• Refinement modal logic
• Multi-model approach to discrete events systems: application to operating mode management
• Generating conditions for preserving the properties of controlled discrete event systems
• 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

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)