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 automatic reconfiguration problem of untimed discrete-event systems. In particular, we first solve the timed centralized reconfiguration problem using a specific timed eligibility set. Then, we study the identity between the solutions to an arbitrary timed centralized reconfiguration problem and its corresponding decentralized version. It turns out that the solutions to both cases are identical to each other. So, the solution obtained by the proposed theory is interestingly invariant to systematic distributions.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
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…
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…
SchedulingAutomatic 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…
Technical Report: Directed Controller Synthesis of Discrete Event Systems
This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. The DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic …