Amanote Research
Register
Sign 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. Komenda
J.H. van Schuppen
B. Gaudin
H. Marchand
Publisher
IEEE
Related search
Supervisory Control of Modular Systems With Global Specification Languages
Automatica
Control
Systems Engineering
Electrical
Electronic Engineering
PSPACE-completeness of Modular Supervisory Control Problems*
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
On Nonconflicting Languages That Arise in Supervisory Control of Discrete Event Systems
Systems and Control Letters
Control
Systems Engineering
Mechanical Engineering
Electronic Engineering
Electrical
Computer Science
Specification Languages for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Specification of Process Algebras
Theoretical Computer Science
Computer Science
Theoretical Computer Science
General Specification Testing With Locally Misspecified Models
Econometric Theory
Economics
Econometrics
Social Sciences
Modular Reasoning for Actor Specification Diagrams
Supervisory Control of Switching Control Systems
Supervisory Control Strategy Development