String execution time for finite languages: Max is easy, min is hard

被引:22
作者
Su, Rong [1 ]
Woeginger, Gerhard [2 ]
机构
[1] Nanyang Technol Univ, Sch Elect & Elect Engn, Div Control & Instrumentat, Singapore 639798, Singapore
[2] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
关键词
Languages; Finite-state automata; (Max; plus; semiring; Heap models; Computational complexity;
D O I
10.1016/j.automatica.2011.06.024
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In performance evaluation or supervisory control, we often encounter problems of determining the maximum or minimum string execution time for a finite language when estimating the worst-case or best-case performance. It has been shown in the literature that the time complexity for computing the maximum string execution time for a finite language is polynomial with respect to the size of an automaton recognizer of that language and the dimension of the corresponding resource matrices. In this paper we provide a more efficient algorithm to compute such maximum string execution time. Then we show that it is NP-complete to determine the minimum string execution time. (C) 2011 Elsevier Ltd. All rights reserved.
引用
收藏
页码:2326 / 2329
页数:4
相关论文
共 12 条
[1]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[2]  
Cohen G., 1999, Annual Reviews in Control, V23, P207, DOI 10.1016/S1367-5788(99)00023-1
[3]   PERFORMANCE EVALUATION OF (MAX,+) AUTOMATA [J].
GAUBERT, S .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (12) :2014-2025
[4]  
Gaubert Stephane, 1998, IDEMPOTENCY, V11, P133
[5]  
Heidergott B., 2006, Princeton Series in Applied Mathematics
[6]  
Komenda J., 2008, P 9 INT WORKSH DISCR, P55
[7]   Supervisory Control of (max, plus ) Automata: A Behavioral Approach [J].
Komenda, Jan ;
Lahaye, Sebastien ;
Boimond, Jean-Louis .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (04) :525-549
[8]  
ORLIN J, 1977, P K NED AKAD A MATH, V80, P406
[9]   SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT PROCESSES [J].
RAMADGE, PJ ;
WONHAM, WM .
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (01) :206-230
[10]   The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces [J].
Su, Rong ;
van Schuppen, Jan H. ;
Rooda, Jacobus E. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (01) :105-118