Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
type: Item
instance of: scholarly article
title: Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
zbMATH Open document ID: 1242.93074
author: Gabriel Kalyon
author: Tristan Le Gall
author: H. Marchand
author: Thierry Massart
published in: Discrete Event Dynamic Systems
publication date: 2012-07-10T00:00:00Z
full work available at URL: KLMM10b.pdf
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93B52
zbMATH DE Number: 6054192
zbMATH Keywords: symbolic transition systems
zbMATH Keywords: controller synthesis
zbMATH Keywords: partial observation
zbMATH Keywords: abstract interpretation
describes a project that uses: UMDES
describes a project that uses: Fixpoint
describes a project that uses: Apron
MaRDI profile type: Publication
OpenAlex ID: W2045602111
cites work: Supervisory control of a rapid thermal multiprocessor
cites work: Formulas for calculating supremal controllable and normal sublanguages
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Introduction to Discrete Event Systems
cites work: Algorithms for Omega-Regular Games with Imperfect Information
cites work: Hybrid Systems: Computation and Control
cites work: Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.
cites work: Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Predicates and predicate transformers for supervisory control of discrete event dynamical systems
cites work: Q4536596
cites work: On observability of discrete-event systems
cites work: A first step towards adaptive control for linear systems in max algebra
cites work: Q4205072
cites work: Modular Feedback Logic for Discrete Event Systems
cites work: The complexity of two-player games of incomplete information
cites work: Characterization of all M-controllable subpredicates of a given predicate
cites work: Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Effective Control Synthesis for Partially Observed Discrete-Event Systems
cites work: Modular supervisory control of discrete-event systems
cites work: Solvability of centralized supervisory control under partial observation
DOI: 10.1007/S10626-011-0101-3
description: scientific article; zbMATH DE number 6054192