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)

Full work available at URL https://doi.org/10.1016/S0947-3580(97)70063-3

zbMATH Keywords

completenessdiscrete event systemsmanufacturing systemsnon-deterministic specificationobject oriented modelingsupervisory control theory

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)

Review text

The authors show how a certain type of non-deterministic specification for discrete event systems can be used in the framework of supervisory control theory. A discrete event system will be regarded as a user-resource system, with a set of resources shared by a set of users. The users are seen as a specification on the behavior of the system. The sharing of the resources is modeled by interleaving the users, which results in a certain kind of nondeterministic specification, with a single initial-state and possibly multiple identically labeled transitions from one and the same state. It is shown that the supervisory control theory still holds in this context, with a slight modification of the definition of supervisor completeness.

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

• A class of non-deterministic specifications for supervisory control
• 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?)
• 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 a Class of Discrete Event Processes
• Supervisory control of deterministic Petri nets with regular specification languages
• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models

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
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Supervisory Control with Complete Observations

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)