This paper addresses the feedback control design problem for a category of re-entrant manufacturing systems (RMSs) with actuator saturation. Based on the mass conservation law, a continuum model is first developed to represent the multiple-line RMSs with actuator saturation in terms of a nonlinear hyperbolic partial di...
Yi-Ge Guo, Qing Gao, Steven X. Ding et al.· IEEE Transactions on Automat...· 0 citations
This letter investigates a reach-avoid game involving two Attackers and one Defender, where the Attackers aim to maximize the number reaching the target region while the Defender seeks to minimize it. In contrast to conventional complete information formulations, we consider an information asymmetry scenario where the...
Xiang-Kai Wu, Shaolin Tan, Wei Wang et al.· 0 citations
This paper presents SequenceFI, a non-intrusive framework for temporal fault injection in microservice systems that synthesizes temporal guards from traces, reducing the need for exhaustive enumeration of temporal fault-injection configurations, while requiring no modifications to application code or serialization libr...
Yuzhen Tan, Jian Wang, Bing Li et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.