Supervisory Control of Modular Systems With Global Specification Languages

Automatica - United Kingdom
doi 10.1016/j.automatica.2007.09.004
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Modular Supervisory Control With General Indecomposable Specification Languages

English

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

Systems and Control Letters
ControlSystems EngineeringMechanical EngineeringElectronic EngineeringElectricalComputer Science
1991English

PSPACE-completeness of Modular Supervisory Control Problems*

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

Specification Languages for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

Supervisory Control of Switching Control Systems

2006English

Modular Specification of Hybrid Systems in Charon

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Supervisory Control of Concurrent Discrete-Event Systems

International Journal of Control
ControlSystems EngineeringComputer Science Applications
1991English

Safety in Supervisory Control for Critical Systems

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2013English

Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy