Applying supervisory control theory to discrete event systems modeled by object oriented principles

2002 ◽  
Author(s):  
M. Fabian ◽  
B. Lennartson
Keyword(s):  
Control Theory ◽  
Supervisory Control ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Object Oriented ◽  
Supervisory Control Theory ◽  
Event Systems

scholarly journals PCF-based formalization of the parallel composition of automata

2019 ◽  
Author(s):  
A. Davydov ◽  
A. Larionov ◽  
N. Nagul
Keyword(s):  
Control Theory ◽  
Theorem Proving ◽  
Supervisory Control ◽  
Essential Role ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Parallel Composition ◽  
Automatic Theorem Proving ◽  
Supervisory Control Theory ◽  
Automatic Theorem

The paper demonstrates how the automatic theorem proving technique of the PCF calculus is applied to construct parallel composition of automata. Parallel composition plays an essential role in the supervisory control theory at different stages of systems and supervisors design. Improved formalization of discrete event systems as positively-constructed formulas along with auxiliary predicates, serving for accessibility of the automaton checking, simplify parallel composition construction.

scholarly journals Towards probabilistic intrusion detection in supervisory control of discrete event systems

2020 ◽  
Vol 53 (2) ◽  
pp. 1776-1782
Author(s):  
Rômulo Meira-Góes ◽  
Christoforos Keroglou ◽  
Stéphane Lafortune
Keyword(s):  
Intrusion Detection ◽  
Supervisory Control ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems
Sign in / Sign up

Export Citation Format

Share Document