Designing real‐time systems using imprecise discrete‐event system specifications

2020 ◽  
Vol 50 (8) ◽  
pp. 1327-1344
Author(s):  
Gabriel Wainer ◽  
Mohammad Moallemi
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Discrete Event System ◽  
Real Time Systems ◽  
Event System ◽  
Time Systems

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
Sign in / Sign up

Export Citation Format

Share Document