Manufacturing cell supervisory control-a timed discrete event system approach

2003 ◽  
Author(s):  
B.A. Brandin ◽  
W.M. Wonham ◽  
B. Benhabib
Keyword(s):  
Supervisory Control ◽  
System Approach ◽  
Discrete Event ◽  
Discrete Event System ◽  
Manufacturing Cell ◽  
Event System ◽  
Timed Discrete Event System

scholarly journals Logic inference based construction of a supervisor for a discrete event system

2020 ◽  
Author(s):  
A. Davydov ◽  
A. Larionov ◽  
N. Nagul
Keyword(s):  
Supervisory Control ◽  
Discrete Event Systems ◽  
Autonomous Underwater Vehicle ◽  
Discrete Event ◽  
Discrete Event System ◽  
General View ◽  
Logical Inference ◽  
Event System ◽  
Logic Inference ◽  
Operational Modes

The paper provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory control theory. The approach proposes a representation of automata-based discrete event system as a positively constructed formula and implementation of the calculus of positively constructed formulas. The stages of a supervisor construction are illustrated with a simplified model of an autonomous underwater vehicle operational modes switching. The supremal controllable sublanguage of the specification and the supervisor are constructed.

Sign in / Sign up

Export Citation Format

Share Document