Online minimization of sensor activation for supervisory control. (English) Zbl 1372.93006
Summary: In supervisory control, the objective of observation is to guarantee a correct control decision. To observe an event occurrence, an associated sensing device must be activated, which incurs a cost. In this paper, an online algorithm is developed to minimize sensor activation while ensuring that the collected information is sufficient. In previous work, it was determined that observation problems can be reduced to distinguishing certain pairs of states. Now, this is extended by taking into account future system evolution. Applying the extended result, the online algorithm only needs to look one step ahead and remember the current state estimate.
MSC:
| 93A13 | Hierarchical systems |
| 93C65 | Discrete event control/observation systems |
| 93B07 | Observability |
Software:
UMDESReferences:
| [1] | Cassandras, Christos G.; Lafortune, Stephane, Introduction to discrete event systems (2009), Springer Science & Business Media · Zbl 1165.93001 |
| [2] | Cassez, Franck; Tripakis, Stavros, Fault diagnosis with static and dynamic observers, Fundamenta Informaticae, 88, 4, 497-540 (2008) · Zbl 1167.68011 |
| [3] | Cieslak, Randy; Desclaux, C.; Fawaz, Ayman S.; Varaiya, Pravin, Supervisory control of discrete-event processes with partial observations, IEEE Transactions on Automatic Control, 33, 3, 249-260 (1988) · Zbl 0639.93041 |
| [4] | Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut, Counterexample-guided abstraction refinement for symbolic model checking, Journal of the ACM, 50, 5, 752-794 (2003) · Zbl 1325.68145 |
| [5] | Dallal, Eric; Lafortune, Stephane, On most permissive observers in dynamic sensor activation problems, IEEE Transactions on Automatic Control, 59, 4, 966-981 (2014) · Zbl 1360.93421 |
| [6] | Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dynamic Systems, 10, 1-2, 33-86 (2000) · Zbl 0959.93039 |
| [7] | Haji-Valizadeh, Alireza; Loparo, Kenneth A., Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems, IEEE Transactions on Automatic Control, 41, 11, 1579-1593 (1996) · Zbl 0868.93030 |
| [8] | Jiang, Shengbing; Huang, Zhongdong; Chandra, Vigyan; Kumar, Ratnesh, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, 46, 8, 1318-1321 (2001) · Zbl 1008.93053 |
| [9] | Jiang, Shengbing; Kumar, Ratnesh, Failure diagnosis of discrete-event systems with linear-time temporal logic specifications, IEEE Transactions on Automatic Control, 49, 6, 934-945 (2004) · Zbl 1365.93294 |
| [10] | Jiang, Shengbing; Kumar, Ratnesh; Garcia, Humberto E., Optimal sensor selection for discrete-event systems with partial observation, IEEE Transactions on Automatic Control, 48, 3, 369-381 (2003) · Zbl 1364.93472 |
| [11] | Lin, Feng, Diagnosability of discrete event systems and its applications, Discrete Event Dynamic Systems, 4, 2, 197-212 (1994) · Zbl 0800.93030 |
| [12] | Lin, Feng; Wonham, W. Murray, On observability of discrete-event systems, Information Sciences, 44, 3, 173-198 (1988) · Zbl 0644.93008 |
| [13] | Moreira, Marcos V.; Jesus, Thiago C.; Basilio, Joao C., Polynomial time verification of decentralized diagnosability of discrete event systems, IEEE Transactions on Automatic Control, 56, 7, 1679-1684 (2011) · Zbl 1368.93384 |
| [14] | Qiu, Wenbin; Kumar, Ratnesh, Decentralized failure diagnosis of discrete event systems, IEEE Transactions on Systems, Man & Cybernetics, Part A (Systems & Humans), 36, 2, 384-395 (2006) |
| [15] | Ricker, S. Laurie; Rudie, Karen, Incorporating communication and knowledge into decentralized discrete-event systems, (Proceedings of the 38th IEEE conference on decision and control, vol. 2 (1999), IEEE), 1326-1332 · Zbl 0988.93055 |
| [16] | Rudie, Karen; Wonham, Murray W., Think globally, act locally: Decentralized supervisory control, IEEE Transactions on Automatic Control, 37, 11, 1692-1708 (1992) · Zbl 0778.93002 |
| [17] | Sampath, Meera; Sengupta, Raja; Lafortune, StCphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, 40, 9, 1555-1575 (1995) · Zbl 0839.93072 |
| [18] | Shu, Shaolong; Huang, Zhiqiang; Lin, Feng, Online sensor activation for detectability of discrete event systems, IEEE Transactions on Automation Science and Engineering, 10, 2, 457-461 (2013) |
| [19] | Shu, Shaolong; Lin, Feng, Detectability of discrete event systems with dynamic event observation, Systems & Control Letters, 59, 1, 9-17 (2010) · Zbl 1186.93045 |
| [20] | Thorsley, David; Teneketzis, Demosthenis, Active acquisition of information for diagnosis and supervisory control of discrete event systems, Discrete Event Dynamic Systems, 17, 4, 531-583 (2007) · Zbl 1125.93322 |
| [21] | Tsitsiklis, John N., On the control of discrete-event dynamical systems, Mathematics of Control, Signals, and Systems, 2, 2, 95-107 (1989) · Zbl 0677.93045 |
| [22] | Wang, Weilin; Lafortune, Stéphane; Lin, Feng, An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions, Systems & Control Letters, 56, 9, 656-661 (2007) · Zbl 1155.93387 |
| [23] | Wang, Weilin; Lafortune, Stéphane; Lin, Feng, Minimization of communication of event occurrences in acyclic discrete event systems, IEEE Transactions on Automatic Control, 53, 9, 2197-2202 (2008) · Zbl 1367.93377 |
| [24] | Wang, Weilin; Lafortune, Stéphane; Lin, Feng, On the minimization of communication in networked systems with a central station, Discrete Event Dynamic Systems, 18, 3, 415-443 (2008) · Zbl 1176.90093 |
| [25] | Wang, Weilin; Lafortune, Stéphane; Lin, Feng; Girard, Anouck R., An online algorithm for minimal sensor activation in discrete event systems, (Proceedings of the 48th IEEE conference on decision and control (2009), IEEE), 2242-2247 |
| [26] | Wang, Weilin; Lafortune, Stéphane; Girard, Anouck R.; Lin, Feng, Optimal sensor activation for diagnosing discrete event systems, Automatica, 46, 7, 1165-1175 (2010) · Zbl 1194.93140 |
| [27] | Wang, Weilin; Lafortune, Stéphane; Lin, Feng; Girard, Anouck R., Minimization of dynamic sensor activation in discrete event systems for the purpose of control, IEEE Transactions on Automatic Control, 55, 11, 2447-2461 (2010) · Zbl 1368.93393 |
| [28] | Wang, Weilin; Girard, Anouck R.; Lafortune, Stéphane; Lin, Feng, On codiagnosability and coobservability with dynamic observations, IEEE Transactions on Automatic Control, 56, 7, 1551-1566 (2011) · Zbl 1368.93392 |
| [29] | Yoo, Tae-Sic; Lafortune, Stéphane, Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control, 47, 9, 1491-1495 (2002) · Zbl 1364.93176 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
