Amanote Research

Amanote Research

    RegisterSign In

Modular Supervisory Control With General Indecomposable Specification Languages

doi 10.1109/cdc.2005.1582700
Full Text
Open PDF
Abstract

Available in full text

Date

Unknown

Authors
J. KomendaJ.H. van SchuppenB. GaudinH. Marchand
Publisher

IEEE


Related search

Supervisory Control of Modular Systems With Global Specification Languages

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2008English

PSPACE-completeness of Modular Supervisory Control Problems*

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

On Nonconflicting Languages That Arise in Supervisory Control of Discrete Event Systems

Systems and Control Letters
ControlSystems EngineeringMechanical EngineeringElectronic EngineeringElectricalComputer Science
1991English

Specification Languages for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

Modular Specification of Process Algebras

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1993English

General Specification Testing With Locally Misspecified Models

Econometric Theory
EconomicsEconometricsSocial Sciences
2010English

Modular Reasoning for Actor Specification Diagrams

1999English

Supervisory Control of Switching Control Systems

2006English

Supervisory Control Strategy Development

2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy