PSPACE-completeness of Modular Supervisory Control Problems*

Discrete Event Dynamic Systems: Theory and Applications - Netherlands
doi 10.1007/s10626-004-6210-5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Modular Supervisory Control With General Indecomposable Specification Languages

English

Supervisory Control of Modular Systems With Global Specification Languages

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2008English

Modular Completeness for Communication Closed Layers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Supervisory Control of Switching Control Systems

2006English

Supervisory Control Strategy Development

2007English

Supervisory Control and Data Acquisition

International Journal of Computer Applications
2014English

Multi-Supervisory Control and Data Display

International Journal of Computer Applications
2010English

Supervisory Control Using Variable Lookahead Policies

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
1994English

On the Completeness Condition in Nonparametric Instrumental Problems

Econometric Theory
EconomicsEconometricsSocial Sciences
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy