Maximally permissive controlled system synthesis for non-determinism and modal logic
type: Item
instance of: scholarly article
title: Maximally permissive controlled system synthesis for non-determinism and modal logic
zbMATH Open document ID: 1356.93030
author: A. C. van Hulst
author: Wan Fokkink
author: Michel A. Reniers
published in: Discrete Event Dynamic Systems
publication date: 2017-03-03T00:00:00Z
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 93B05
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 93C95
zbMATH DE Number: 6691736
zbMATH Keywords: controlled system synthesis
zbMATH Keywords: modal logic
zbMATH Keywords: non-determinism
zbMATH Keywords: maximal permissiveness
zbMATH Keywords: controllability
zbMATH Keywords: partial bisimulation
Wikidata QID: Q59519582
describes a project that uses: Coq
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: s10626-016-0231-8
OpenAlex ID: W2522848592
cites work: On modal \(\mu \)-calculus and Gödel-Löb logic
cites work: Q3086918
cites work: Games for synthesis of controllers with partial observation.
cites work: Q3404131
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Q4789449
cites work: Introduction to Discrete Event Systems
cites work: A linear-time model-checking algorithm for the alternation-free modal mu- calculus
cites work: A class of non-deterministic specifications for supervisory control
cites work: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Maximally Permissive Controlled System Synthesis for Modal Logic
cites work: Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
cites work: Q4536385
cites work: Q4536596
cites work: Q3141897
cites work: Q4552484
cites work: Mathematical Foundations of Computer Science 2003
cites work: Q4205072
cites work: Q2999201
cites work: Q4782021
DBLP publication ID: journals/deds/HulstRF17
DOI: 10.1007/S10626-016-0231-8
description: scientific article; zbMATH DE number 6691736