Minimization of dynamic sensor activation in discrete event systems for the purpose of control

IEEE Transactions on Automatic Control

Volumn 55, Issue 11, 2010, Pages 2447-2461

  Wang, Weilin ^a   Lafortune, Stéphane ^a   Lin, Feng ^b   Girard, Anouck R ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

^b Wayne State University   (United States)

Author keywords

Centralized control; decentralized control; discrete event systems; sensor activation; supervisory control

Indexed keywords

AUTOMATON MODEL; CENTRALIZED CONTROL; CO-OBSERVABILITY; CONTROL LAWS; DISCRETE EVENT SYSTEMS; DYNAMIC SENSOR; FEEDBACK CONTROL LAW; NUMBER OF STATE; POLYNOMIAL COMPLEXITY; SENSOR READINGS; SOLUTION SPACE; SUPERVISORY CONTROL; SUPERVISORY CONTROLLERS; SYSTEM TRAJECTORY;

FINITE AUTOMATA; INTEGRATED CONTROL; OBSERVABILITY; SENSORS;

DECENTRALIZED CONTROL;

EID: 78149236082     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2010.2046062     Document Type: Article

References (26)

1. D. Thorsley and D. Teneketzis, "Active acquisition of information for diagnosis and supervisory control of discrete event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 17, no. 4, pp. 531-586, Dec. 2007.
2. F. Cassez and S. Tripakis, "Fault diagnosis with static and dynamic observers," Fundamenta Informaticae, vol. 88, no. 4, pp. 497-540, Dec. 2008.
3. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
4. A. Haji-Valizadeh and K. A. Loparo, "Minimizing the cardinality of an event set for supervisors of discrete-event dynamical systems," IEEE Trans. Automatic Control, vol. 41, no. 11, pp. 1579-1593, Nov. 1996.
5. S. Jiang, R. Kumar, and H. Garcia, "Optimal sensor selection for discrete-event systems with partial observation," IEEE Trans. Autom. Control, vol. 48, no. 3, pp. 369-381, Mar. 2003.
6. R. Debouk, S. Lafortune, and D. Teneketzis, "On an optimization problem in sensor selection," Discrete Event Dyn. Syst.: Theory Appl., vol. 12, no. 4, pp. 417-445, Oct. 2002.
7. T.-S. Yoo and S. Lafortune, "NP-completeness of sensor selection problems arising in partially-observed discrete event systems," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1495-1499, Sep. 2002.
8. K. Rohloff, S. Khuller, and G. Kortsarz, "Approximating the minimal sensor selection for supervisory control," Discrete Event Dyn. Syst.: Theory Appl., vol. 16, no. 1, pp. 143-170, Jan. 2006.
9. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inform. Sci., vol. 44, pp. 173-198, 1988.
10. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Autom. Control, vol. AC-33, no. 3, pp. 249-260, Mar. 1988.
11. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Autom. Control, vol. 37, no. 11, pp. 1692-1708, Nov. 1992.
12. Y. Huang, K. Rudie, and F. Lin, "Decentralized control of discrete-event systems when supervisors observe particular event occurrences," IEEE Trans. Autom. Control, vol. 53, no. 1, pp. 384-388, Feb. 2008.
13. W. Wang, S. Lafortune, and F. Lin, "An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions," Syst. Control Lett., vol. 56, no. 9, pp. 656-661, Sep. 2007.
14. W. Wang, S. Lafortune, and F. Lin, "Minimization of communication of event occurrences in acyclic discrete event systems," IEEE Trans. Autom. Control, vol. 53, no. 9, pp. 2197-2202, Oct. 2008.
15. W. Wang, S. Lafortune, and F. Lin, "On the minimization of communication in networked systems with a central station," Discrete Event Dyn. Syst.: Theory Appl., vol. 18, no. 4, pp. 415-443, Sep. 2008.
16. W. Wang, "Optimization of Communication and Coverage in Classes of Distributed Systems," Ph.D. dissertation, Dept. Elect. Eng. Comp. Sci., Univ. Michigan, Ann Arbor, 2007.
17. J. H. van Schuppen, "Decentralized control with communication between controllers," in Unsolved Problems in Mathematical Systems and Control Theory, V. D. Blondel and A. Megretski, Eds. Princeton, NJ: Princeton Univ. Press, 2004, pp. 144-150.
18. R. Gibbons, A Primer in Game Theory. New York: Harvester Wheat-sheaf, 1992.
19. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event system," IEEE Trans. Autom. Control, vol. 48, no. 6, pp. 957-975, Jun. 2003.
20. P. Ramadge and W. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, Jan. 1987.
21. A. Ray, V. Phoha, and S. Phoha, Quantitative Measure for Discrete Event Supervisory Control. New York: Springer, 2005.
22. J. Esparza and K. Heljanko, Unfoldings: A Partial-Order Approach to Model Checking. New York: Springer, 2008.
23. S. Ricker and B. Caillaud, "Mind the gap: expanding communication options in decentralized discrete-event control," in Proc. 46th IEEE Conf. Decision Control, New Orleans, LA, Dec. 2007, pp. 5924-5929.
24. T.-S. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 12, no. 3, pp. 335-377, Jul. 2002.
25. T.-S. Yoo and S. Lafortune, "Decentralized supervisory control with conditional decisions: Supervisor existence," IEEE Trans. Autom. Control, vol. 49, no. 11, pp. 1886-1904, Nov. 2004.
26. R. Kumar and S. Takai, "Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems," IEEE Trans. Autom. Control, vol. 52, no. 10, pp. 1783-1794, Oct. 2007.