Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints

Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio

This paper presents a novel method of synthesizing a fragment of a timed discrete event system(TDES),introducing a novel linear temporal logic(LTL), called ticked LTL${}_f$. The tick…