A class of non-deterministic specifications for supervisory control

DOI10.1016/S0947-3580(97)70063-3MaRDI QIDQ1365652zbMATH OpenFDO

Authors M. Fabian, Bengt Lennartson

Publication date 29 June 1998

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

zbMATH Keywords

completenesssupervisory control theorydiscrete event systemsmanufacturing systemsobject 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)

Recommendations

• scientific article; zbMATH DE number 1086786
• Discrete-event control of nondeterministic systems
• scientific article; zbMATH DE number 744043
• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 3490427 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 744041 (Why is no real title available?)
• A class of non-deterministic specifications for supervisory control
• Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
• Object-oriented programming in control system design: A survey
• On controllability and normality of discrete event dynamical systems
• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of deterministic Petri nets with regular specification languages

Cited in

(4)

• A class of non-deterministic specifications for supervisory control
• On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
• Supervisory Control with Complete Observations
• Maximally permissive controlled system synthesis for non-determinism and modal logic

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

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