scientific article; zbMATH DE number 978524

zbMATH Open0862.90067MaRDI QIDQ4332704FDOQ4332704

Authors: Mohsen A. Jafari 

Publication date: 25 May 1997

Title of this publication is not available (Why is that?)

Recommendations

• Synthesis of logical controllers and discrete-event systems supervisory control theory
• Grafcet: behavioural issues and control synthesis
• Supervisory Control with Complete Observations
• Supervisory control of discrete event systems
• Formal specification and synthesis of procedural controllers for process systems

zbMATH Keywords

manufacturing systemssupervisory controller

Mathematics Subject Classification ID

Stochastic network models in operations research (90B15) Production models (90B30)

Cited In (9)

• Synthesis of control implementation for discrete manufacturing systems
• Synthesis of logical controllers and discrete-event systems supervisory control theory
• Supervisory controller synthesis and implementation for safety PLCs
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• Formal specification method for systems automation
• Application of supervisory control theory to theme park vehicles
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Specification governor for fault tolerant control of large-scale manufacturing systems
• Practical automation specification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332704)