Modelling and analysis of a class of production processes with quality-checking

Guohui Tian,Changyou Liu,Xinhe Xu
DOI: https://doi.org/10.1016/S1474-6670(17)56822-6
1999-01-01
IFAC Proceedings Volumes
Abstract:Abstract In this paper, the production processes with quality-checking are considered as a class of nondeterministic Discrete Event Dynamic Systems (DEDS) where point probability distributions are assumed, and studied in a generalized temporal logic framework. Based on the temporal model(TM), the reachability and qualitative properties of the TM are analyzed, and the synthesis problem of TMs is also discussed. The plant, controller, and the desired closed system behavior are specified in temporal logic formulas, and the problem is verified that the specifications of the desired closed loop system behavior can be deduced from the descriptions of the plant and the controller.
What problem does this paper attempt to address?