A class of non-deterministic specifications for supervisory control

DOI10.1016/S0947-3580(97)70063-3zbMath0889.93004MaRDI QIDQ1365652

Martin Fabian, Bengt Lennartson

Publication date: 29 June 1998

Published in: European Journal of Control (Search for Journal in Brave)

zbMATH Keywords

manufacturing systemscompletenessdiscrete event systemssupervisory control theoryobject oriented modelingnon-deterministic specification

Mathematics Subject Classification ID

Hierarchical systems (93A13) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (3)

A class of non-deterministic specifications for supervisory control ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ Supervisory Control with Complete Observations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On controllability and normality of discrete event dynamical systems
• Object-oriented programming in control system design: A survey
• A class of non-deterministic specifications for supervisory control
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
• Supervisory control of deterministic Petri nets with regular specification languages
• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

This page was built for publication: A class of non-deterministic specifications for supervisory control