Timed Discrete-Event Systems are Synchronous Product Structures
Timed discrete-event systems (TDES), which is a modelling formalism proposed by Brandin and Wonham, can be used for modelling scheduling and production planning problems. This paper aims to show that TDES are essentially synchronous product structures. The proof is constructive in the sense that a generalized synchronous product rule is provided to generate a TDES from the activity automaton and the timer automata (that is, the syntactic description of the TDES) after some model transformation. We then also explain how the generalized synchronous product operation can be reduced into the standard synchronous product operation and how to reduce the number of (refined) events introduced in the model transformation. Thus, any software that can compute synchronous products can be used to compute a TDES from its activity automaton and its timer automata, after the model transformation.
Code (0)
등록된 구현이 없습니다.
Tasks
SchedulingSimilar Papers 제목 키워드 기반
Reconfigurable Timed Discrete-Event Systems
In this paper, we present the first general solution to the automatic reconfiguration problem of timed discrete-event systems. We extend the recursive forcible backtracking approach which had been already solved the auto…
Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
This paper is about the state estimation of timed probabilistic discrete event systems. The main contribution is to propose general procedures for developing state estimation approaches based on artificial neural network…
State EstimationBounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems
Recently an automaton property of quantitative nonblockingness was proposed in supervisory control of untimed discrete-event systems (DES), which quantifies the standard nonblocking property by capturing the practical re…
Automatic Reconfiguration of Untimed Discrete-Event Systems
This work introduces a general formulation of the reconfiguration problem for untimed discrete-event systems (DES), which can be treated directly by supervisory control theory (SCT). To model the reconfiguration requirem…
A Novel Anomaly Detection Algorithm for Hybrid Production Systems based on Deep Learning and Timed Automata
Performing anomaly detection in hybrid systems is a challenging task since it requires analysis of timing behavior and mutual dependencies of both discrete and continuous signals. Typically, it requires modeling system b…
Anomaly Detection