scholarly journals Discrete-event system abstractions for on-line logical and real-time hierarchical control

2016 ◽  
Author(s):  
Quang Ha Ngo
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Hierarchical Control ◽  
Discrete Event System ◽  
Event System ◽  
On Line

Configuration space–based discrete event system specification formalism for a smart factory with real-time flexibility

2018 ◽  
Vol 26 (3) ◽  
pp. 265-275 ◽  
Author(s):  
Dae S Chang ◽  
Sang C Park
Keyword(s):  
Real Time ◽  
Configuration Space ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Discrete Event System ◽  
Smart Factory ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Event System ◽  
Effective Description

A manufacturing system consists of various manufacturing devices, and each device has a set of tasks which are triggered by specific commands. Traditionally, simulation has been considered as an essential technology for the evaluation and analysis of manufacturing systems. Although discrete event system specification formalism has been a popular modeling tool for manufacturing systems, it has limitations in describing situations such as sudden cancelation of tasks. Proposed in this article is an extended discrete event system specification formalism for the effective description of a smart factory which requires the intelligence to handle turbulences in real-time production. The extended discrete event system specification formalism incorporates the configuration space concept, which is well-known in classical mechanics. While the conventional discrete event system specification formalism uses only the logical states set to represent the device states, the proposed formalism employs the combination of two sets: a logical states set (sequential states set) and a physical states set (configuration space of the device). As a result, the extended formalism enables the effective description of nondeterministic tasks which may occur frequently in a smart factory.

Diagnosis of Faults in Real-Time Discrete Event System

2009 ◽  
Vol 42 (8) ◽  
pp. 1557-1562 ◽  
Author(s):  
Ahmed Khoumsi ◽  
Lucien Ouédraogo
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Discrete Event System ◽  
Event System

Vector discrete-event system: A petri net approach to real time feedback policy

1999 ◽  
Vol 32 (2) ◽  
pp. 4917-4922
Author(s):  
Patrick Sarri ◽  
Addi Ait Hssain ◽  
Eric Niel
Keyword(s):  
Real Time ◽  
Petri Net ◽  
Discrete Event ◽  
Discrete Event System ◽  
System A ◽  
Event System
Sign in / Sign up

Export Citation Format

Share Document