시간논리구조에서 이산사건시스템의 최적화 및 추론

Optimization and reasoning for Discrete Event System in a Temporal Logic Frameworks

  • 황형수 (원광대학교 제어계측공학과) ;
  • 정용만 (원광대학교 제어계측공학과)
  • 발행 : 1997.06.01

초록

A DEDS is a system whose states change in response to the occurence of events from a predefined event set. In this paper, we consider the optimal control and reasoning problem for Discrete Event Systems(DES) in the Temporal Logic Framework(TEL) which have been recnetly defined. The TLE is enhanced with objective functions(event cost indices) and a measurement space is alos deined. A sequence of event which drive the system form a give initial state to a given final state is generated by minimizing a cost functioin index. Our research goal is the reasoning of optimal trajectory and the design of the optimal controller for DESs. This procedure could be guided by the heuristic search methods. For the heuristic search, we suggested the Stochastic Ruler algorithm, instead of the A algorithm with difficulties as following ; the uniqueness of solutions, the computational complexity and how to select a heuristic function. This SR algorithm is used for solving the optimal problem. An example is shown to illustrate our results.

키워드

참고문헌

  1. SIAM J. Control. Optimize v.25 no.1 Supervisory control of a class of discrete event process P.J.Ramadge;W.M.Wonham
  2. IEEE Trans. on Automatic Control v.35 no.7 Observability of discrete event by systems Cuneyt M.Ozveren;Alan S.Willsky
  3. IFAC workshop on Algorithmss and architecture for real time control Specification of Intelligent controllers for discrete event system in a temporal logic framework D.Ionescu;J.Y.Lin;H.S.Hwang
  4. Journal of the KISS v.21 no.9 The Controller modeling using the temporal logic model in Discrete Event Dynamic Systems H.S.Hwang;S.C.Joo;D.Ionescu
  5. IFAC Symposium on Distributed Intelligence Systems Optimal control of a class of discrete event systems R.Sengupta;S.Lafortune
  6. Proc. 28th IEEE Conf. Decision and Control On the optimal control of discrete event systems K.M.Passino;P.J.Antsaklis
  7. 1992 American Control conference Optimization of controller design for discrete event systems in a temporal logic framework J.Y.Lin;D.Ionescu
  8. Artificial Intelligence v.23 Toward a general theory of action and time J.F.Allen
  9. Cognitive Science v.6 A temporal logic for reasoning about processes and Plans D.McDermott
  10. Principles of Artifical Intelligence N.J.Nilsson
  11. SIAM J. Control. Optimization Stochastic Discrete Optimization D.Yan;H.Mukai