Jing-Yue Lin

Learn More
In this paper a temporal logic framework is introduced to the optimal control problems of discrete event systems. The temporal logic model is enhanced with the event cost function and a measurement space is also defined. The optimal controller synthesis procedure is guided by the heuristic search methods. For the heuristic search, the A* algorithm is used(More)
This paper concerns with the output feedback control for the nondeterministic discrete event systems (DES) with probabilities known. The nondeterministic DES models are introduced by using the minimax algebra to formalize the treatment of time sequences, and by using usual algebra to introduce a Markovian structure that assigns transition probabilities to(More)
Recently there has been considerable interest in the development of a control theory for discrete event dynamical systems (DEDS). Temporal logic has been applied into the control problems for DEDS in [1-2] and [5]. In this paper, we will define an event structure for describing discrete event behavior. A temporal logic model (TLM) is then built for(More)
  • 1