Supervisory control of discrete event systems

Mathematical and Computer Modelling

Volumn 23, Issue 11-12, 1996, Pages 25-53

  Thistle, J G ^a  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

Control synthesis; Finite automata; Formal languages; Supervisory control

Indexed keywords

EID: 0030160815     PISSN: 08957177     EISSN: None     Source Type: Journal    
DOI: 10.1016/0895-7177(96)00063-5     Document Type: Article

References (76)

1. 1. P.J. Ramadge and W.M. Wonham, The control of discrete event systems, Proceedings of the IEEE 77 (1), 81-98 (January 1989).
2. st IEEE Conf. Decision and Control, Tucson, AZ, December 1992, pp. 3770-3777.
3. 3. P. Varaiya, Smart cars on smart roads: Problems of control, IEEE Trans. on Automatic Control 38 (2), 195-207 (February 1993).
4. 4. S. Lafortune, Modeling and analysis of transaction execution in database systems, IEEE Trans. Autom. Control 33 (5), 439-447 (May 1988).
5. 5. B.A. Brandin and F.E. Charbonnier, The supervisory control of the automated manufacturing system of the AJP, In Proc. Rensselaer's 1994 Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, (1994).
6. 6. S. Balemi, G.J. Hoffmann, P. Gyugyi, H. Wong-Toi and G.F. Franklin, Supervisory control of a rapid thermal multiprocessor, IEEE Trans. on Automatic Control 38 (7), 1040-1059 (July 1993).
7. 7. M. Lawford and W.M. Wonham, Equivalence preserving transformations for timed transition models, IEEE Trans. Autoamtic Control 40 (7), 1167-1179 (July 1995).
8. 8. W.M. Wonham, A control theory for discrete-event systems, In Advanced Computing Concepts and Techniques in Control Engineering, NATO ASI Series, Vol. F47, (Edited by M.J. Denham and A.J. Laub), pp. 129-169, Springer-Verlag, Berlin, (1988).
9. 9. W.M. Wonham, On the control of discrete-event systems, In Three Decades of Mathematical System Theory, A Collection of Surveys at the Occasion of the Fiftieth Birthday of Jan C. Willems, (Edited by H. Nijmeier and J.M. Schumacher), pp. 542-562, Springer-Verlag, Berlin, (1989).
10. 10. R. Kumar and V.K. Garg, Modeling and Control of Logical Discrete Event Systems, Kluwer International Series in Engineering and Computer Science: Discrete Event Dynamic Systems, Kluwer Academic Publishers, (1995).
11. th Int'l Conf. on Analysis and Optimization of Systems: Discrete Event Systems, Sophia-Antipolis, June 15-17, 1994, LNCIS No. 199, (Edited by G. Cohen and J.-P. Quadrat), pp. 3-15, INRIA, École des Mines de Paris, (1994).
12. 12. C.G. Cassandras, S. Lafortune and G.J. Olsder, Introduction to the modelling, control and optimization of discrete-event systems, In Trends in Control: A European Perspective, (Edited by A. Isidori), pp. 217-291, Springer-Verlag, (1995).
13. 13. R. Al-Jaar, Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets, Seminar notes, Dept. Electl., Comput. Syst. Engrg., Rensselaer Polytech. Inst., Troy, NY, (December 15, 1988).
14. 14. Z. Hao and W.M. Wonham, On the consistency of hierarchical supervision in discrete-event systems, IEEE Trans. Automatic Control 35 (10), 1125-1134 (October 1990).
15. th IEEE Conf. on Decision and Control, December 1987, pp. 247-251.
16. 16. A. Bergeron, A unified approach to control problems in discrete event processes, RAIRO Informatique Théorique 27 (6), 555-573 (1993).
17. 17. J.S. Ostroff and W.M. Wonham, A framework for real-time discrete-event control, IEEE Trans. Automatic Control 35 (4), 386-397 (1990).
18. 18. Y. Brave and M. Heymann, Control of discrete event systems modeled as hierarchical state machines, IEEE Trans. Automatic Control 38 (12), 1803-1819 (December 1993).
19. th Int'l Conf. on Analysis and Optimization of Systems, Discrete Event Systems, Sophia-Antipolis, June 15-17, 1994, (Edited by G. Cohen and J.-P. Quadrat), pp. 158-168, INRIA, École des Mines de Paris, (1994).
20. 20. P.J. Ramadge and W.M. Wonham, Modular feedback logic for discrete event systems, SIAM J. Control and Optimization 25 (5), 1202-1218 (1987).
21. 21. R. Kumar, V. Garg and S.I. Marcus, Predicates and predicate transformers for supervisory control of discrete event dynamical systems, IEEE Trans. on Automatic Control 38 (2), 232-247 (February 1993).
22. 22. K. İnan and P. Varaiya, Finitely recursive processes, In Discrete Event Systems: Models and Applications, IIASA Conference, Sopron, Hungary, Aug. 3-7, 1987, LNCIS, Vol. 103, (Edited by P. Varaiiya and A.B. Kurzhanski), pp. 1-18, Springer-Verlag, New York, (1988).
23. 23. M. Heymann, Concurrency and discrete event control, IEEE Control System Magazine 10 (4), 103-112 (June 1990).
24. 24. K. İnan, An algebraic approach to supervisory control, Mathematics of Control, Signals and Systems 5, 151-164 (1992).
25. th Int'l Conf. on Analysis and Optimization of Systems: Discrete Event Systems, Sophia-Antipolis, June 15-17, 1994, LNCIS No. 199, (Edited by G. Cohen and J.-P. Quadrat), pp. 49-58, INRIA, École des Mines de Paris, (1994).
26. 26. M. Shayman and R. Kumar, Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models, SIAM Journal on Control and Optimization 33 (2) (March 1995).
27. 27. P.J. Ramadge and W.M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control and Optimization 25 (1), 206-230 (1987).
28. 28. E. Chen and S. Lafortune, Dealing with blocking in supervisory control of discrete event systems, IEEE Trans. Autom. Control 36 (6), 724-735 (June 1991).
29. th IFAC World Congress, pp. 5-8, (1993).
30. 30. Y. Brave and M. Heymann, On optimal attraction in discrete event processes, In Proc. of 1991 European Control Conf., Grenoble, France, July 1991.
31. 31. R. Sengupta and S. Lafortune, A graph-theoretical optimal control problem for terminating discrete event processes, Discrete Event Dynamic Systems: Theory and Applications 2 (2), 139-172 (November 1992).
32. 32. R. Sengupta and S. Lafortune, A deterministic optimal control theory for discrete event systems: Formulation and existence theory, Technical Report #CGR-93-7, Control Group, College of Engineering, Univ. of Michigan, (March 1993, Revised December 1993).
33. 33. R. Kumar and V. Garg, Optimal supervisory control of discrete event dynamical systems, SIAM Journal on Control and Optimization 33 (2) (March 1995).
34. 34. W.M. Wonham and P.J. Ramadge, On the supremal controllable sublanguage of a given language, SIAM J. Control and Optimization 25 (3), 637-659 (1987).
35. 35. R.D. Brandt, V. Garg, R. Kumar, F. Lin, S.I. Marcus and W.M. Wonham, Formulas for calculating supremal controllable and normal sublanguages, System and Control Letters 15 (2), 111-117 (February 1990).
36. 36. F. Lin and W.M. Wonham, Decentralized supervisory control of discrete-event systems, Information Sciences 44, 199-224 (1988).
37. 37. R. Cieslak, C. Desclaux, A. Fawaz and P. Varaiya, Supervisory control of discrete-event processes with partial observations, IEEE Trans. Autom. Control 33 (3), 249-260 (March 1988).
38. 38. K. Rudie and W.M. Wonham, Think globally, act locally: Decentralized supervisory control, IEEE Trans. Automatic Control 37 (11), 1692-1708 (November 1992).
39. 39. Y. Willner and M. Heymann, On supervisory control of discrete-event systems, International Journal of Control 54 (5), 1143-1169 (1991).
40. 40. A. Bergeron, Sharing out control in distributed processes, Theoretical Computer Science (to appear).
41. th Ann. Allerton Conf. on Communication Control, and Computing, September 1992, pp. 614-623.
42. 42. K.C. Wong and W.M. Wonham, Hierarchical control of timed discrete-event systems, In Proceedings of Second European Control Conference, June-July 1993, pp. 509-512.
43. 43. Y. Li and W.M. Wonham, On supervisory control of real-time discrete-event systems, Information Sciences 46 (3), 159-183 (1988).
44. th IEEE Conf. on Decision and Control, December 1988, pp. 1131-1132.
45. 45. H. Wong-Toi and G. Hoffmann, The control of dense real-time discrete-event systems, Preprint (1992).
46. 46. J.S. Ostroff, Formal methods for the specification and design of real-time safety-critical systems, J. Systems and Software 18, 33-60 (April 1992).
47. st IEEE Conf. on Decision and Control, Tucson, AZ, December 1992, pp. 3357-3362.
48. st IEEE Conf. on Decision and Control, Tucson, AZ, December 1992, pp. 3357-3362.
49. 48. F. Lin and W.M. Wonham, On observability of discrete-event systems, Information Sciences 44, 173-198 (1988).
50. 49. F. Lin and W.M. Wonham, Supervisory control of timed discrete event systems under partial observations, Technical Report 9316, Systems Control Group, Dept. of Electl. and Comp. Engrg., Univ. of Toronto, Toronto, Canada, (November 1993).
51. 50. M. Heymann and F. Lin, On-line control of partially observed discrete event systems, Discrete Event Dynamical Systems: Theory and Applications 4 (3), 221-236 (July 1994).
52. th Int'l Conf. on Analysis and Optimization of Systems: Discrete Event Systems, Sophia-Antipolis, June 15-17, 1994, LNCIS No. 199, (Edited by G. Cohen and J.-P. Quadrat), pp. 16-28, INRIA, École des Mines de Paris, (1994).
53. 52. P.J.G. Ramadge, Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata, IEEE Trans. Automatic Control 34 (1), 10-19 (January 1989).
54. 53. R. Kumar, V. Garg, and S.I. Marcus, On supervisory control of sequential behaviors, IEEE Trans. Automatic Control 37 (12), 1978-1985 (December 1992).
55. 54. S. Young, D. Spanjol and V.K. Garg, Control of discrete event systems modeled with deterministic Büchi automata, In Proceedings of 1992 American Control Conference, pp. 2809-2813, (1992).
56. 55. J.G. Thistle and W.M. Wonham, Control of infinite behaviour of finite automata, SIAM J. Control and Optimization 32 (4), 1075-1097 (July 1994).
57. 56. J.G. Thistle and W.M. Wonham, Supervision of infinite behaviour of discrete-event systems, SIAM J. Control and Optimization 32 (4), 1098-1113 (July 1994).
58. 57. C.M. Özveren and A.S. Willsky, Output stabilizability of discrete-event dynamic systems, IEEE Trans. Automatic Control 36 (8), 925-935 (August 1991).
59. 58. Y. Brave and M. Heymann, Stabilization of discrete-event processes, Int. J. Control 51 (5), 1101-1117 (1990).
60. th IEEE Conf. Decision and Control, Honolulu, HI, December 1990, pp. 672-673.
61. 60. C.M. Özveren, A.S. Willsky and P.J. Antsaklis, Stability and stabilizability of discrete event dynamic systems, J. ACM 38 (3), 730-752 (July 1991).
62. 61. R. Kumar, V. Garg and S.I. Marcus, Language stability and stabilizability of discrete event dynamical systems, SIAM J. Control Optim. 31 (5), 1294-1320 (September 1993).
63. 62. Y.M. Willner and M. Heymann, Language convergence in controlled discrete-event systems, IEEE Trans. Automatic Control 40 (4), 616-627 (1995).
64. th Workshop, CSL '91, Berne, Switzerland, October 1991, Proceedings (Lecture Notes in Computer Science), Vol. 626, (Edited by E. Börger, G. Jäger, H. Kleine Büning and M.M. Richter), pp. 367-381, Springer-Verlag, Berlin, (1992).
65. 64. J.G. Thistle, On control of systems modelled as deterministic Rabin automata, Discrete Event Dynamic Systems: Theory and Applications 5, 357-381 (1995).
66. 65. W. Thomas, Automata on infinite objects, In Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, (Edited by J. van Leeuwen), pp. 134-191, Elsevier/MIT Press, (1990).
67. 66. J.F. Knight and K.M. Passino, Decidability for a temporal logic used in discrete-event system analysis, International Journal of Control 52 (6), 1489-1506 (1990).
68. 67. J.-Y. Lin and D. Ionescu, A reachability synthesis procedure for discrete event systems in a temporal logic framework, IEEE Trans. Systems, Man, and Cybernetics 24 (9), 1397-1405 (September 1994).
69. 68. K. Rudie, N. Shimkin and S.D. O'Young, Timed discrete-event systems: A manufacturing application, In Proc. 1994 Conf. on Information Sciences and Systems, Princeton, NJ, pp. 374-381.
70. 69. J.N. Tsitsiklis, On the control of discrete-event dynamical systems, Mathematics of Control, Signals and Systems 2, 95-107 (1989).
71. 70. K. Rudie and J.C. Willems, The computational complexity of decentralized discrete-event control problems, In Proceedings of Second European Control Conference, June-July 1993, pp. 2185-2190.
72. 71. W.M. Wonham and P.J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals and Systems 1, 13-30 (1988).
73. 72. Y. Li and W.M. Wonham, Control of vector discrete-event systems I - The base model, IEEE Trans. on Automatic Control 38 (8), 1214-1227 (August 1993).
74. 73. Y. Li and W.M. Wonham, Control of vector discrete-event systems II - Controller synthesis, IEEE Trans. on Automatic Control 39 (3), 512-531 (March 1994).
75. 74. Y. Li and W.M. Wonham, Concurrent vector discrete-event systems, IEEE Trans. on Automatic Control 40 (4), 628-638 (April 1995).
76. 75. S.-L. Chung, S. Lafortune and F. Lin, Limited lookahead policies in supervisory control of discrete-event systems, IEEE Trans. on Automatic Control 37 (2), 1921-1935 (1992).