Synthesis of state feedback controllers for parameterized discrete event systems under partial observation

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 3499-3506

  Bherer, Hans ^a   Desharnais, Jules ^a   St Denis, Richard ^b  

^a UNIVERSITÉ LAVAL   (Canada)

^b UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; PARAMETER ESTIMATION; PARAMETRIC DEVICES; PROBLEM SOLVING; STATE FEEDBACK;

CONTROL SPECIFICATIONS; PARAMETERIZED DISCRETE EVENT SYSTEMS; STATE SPACE;

FEEDBACK CONTROL;

EID: 33847191734     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582704     Document Type: Conference Paper

References (25)

1. P. J. G. Ramadge and W. M. Wonham, "Modular feedback logic for discrete event systems," SIAM Journal on Control and Optimization, vol. 25, no. 5, pp. 1202-1218, 1987.
2. S.-L. Chung, S. Lafortune, and F. Lin, "Limited lookahead policies in supervisory control of discrete event systems," IEEE Transactions on Automatic Control, vol. 37, no. 12, pp. 1921-1935, 1992.
3. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 7, no. 2, pp. 151-190, 1997.
4. G. Barrett and S. Lafortune, "Bisimulation, the supervisory control problem and strong model matching for finite state machines," Discrete Event Dynamic Systems: Theory and Applications, vol. 8, no. 4, pp. 337-429, 1998.
5. M. Makungu, M. Barbeau, and R. St-Denis, "Synthesis of controllers of processes modeled as colored Petri nets," Discrete Event Dynamic Systems: Theory and Applications, vol. 9, no. 2, pp. 147-169, 1999.
6. J. M. Eyzell and J. E. R. Cury, "Exploiting symmetry in the synthesis of supervisors for discrete event systems," IEEE Transactions on Automatic Control, vol. 46, no. 9, pp. 1500-1505, 2001.
7. H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis, "Synthesis of state feedback controllers for parameterized discrete event systems," in Proceedings of ATVA'2004, ser. Lecture Notes in Computer Science, F. Wang, Ed., vol. 3299. Springer, 2004, pp. 487-490.
8. J. H. Presser, M. Kam, and H. G. Kwatny, "Online supervisor synthesis for partially observed discrete-event systems," IEEE Transactions on Automatic Control, vol. 43, no. 11, pp. 1630-1634, 1998.
9. Y. Li and W. M. Wonham, "Controllability and observability in the state-feedback control of discrete-event systems," in Proceedings of 27th IEEE Conference on Decision and Control, New York, 1988, pp. 203-208.
10. Y. Li, "Control of vector discrete-event systems," Ph.D. dissertation, University of Toronto, 1991.
11. S. Takai and S. Kodama, "M-controllable subpredicates arising in state feedback control of discrete event systems," International Journal of Control, vol. 67, no. 4, pp. 553-566, 1997.
12. S. Takai, T. Ushio, and S. Kodama, "Static-state feedback control of discrete-event systems under partial observation," IEEE Transactions on Automatic Control, vol. 40, no. 11, pp. 1950-1954, 1995.
13. Y. Li and W. M. Wonham, "Controllability and observability in the state-feedback control of discrete-event systems," University of Toronto, System Control Group 8803, 1988.
14. W. M. Wonham, "Notes on control of discrete-event systems," University of Toronto, System Control Group ECE 1636F/1637S, revised 2003.
15. D. Gries and F. B. Schneider, A Logical Approach to Discrete Math. New-York: Springer-Verlag, 1993.
16. R. Kumar and V. K. Garg, "Extremal solutions of inequations over lattices with applications to supervisory control," Theoretical Computer Science, vol. 148, no. 1, pp. 67-92, 1995.
17. R. Kumar and M. A. Shayman, "Formulae relating controllability, observability, and co-observability," Automatica, vol. 34, no. 2, pp. 211-215, 1998.
18. B. A. Davey and H. A. Priestley, Introduction to Lattices and Order. Cambridge University Press, 1990.
19. P. C. Attie and E. A. Emerson, "Synthesis of concurrent systems with many similar processes," ACM Transactions on Programming Languages and Systems, vol. 20, no. 1, pp. 1-65, 1998.
20. J. H. Presser and M. Kam, "Supervisor synthesis for approximating maximally-allowable behaviors," in Proceedings of the 1994 Conference on Information Science and Systems, vol. 2, Princeton, 1994, pp. 740-746.
21. R. D. Brandt, V. K. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Systems & Control Letters, vol. 15, no. 2, pp. 111-117, 1990.
22. M. Frappier and R. St-Denis, "Towards a computer-aided design of reactive systems," in Computer Aided Systems Theory - EUROCAST 2001, ser. Lecture Notes in Computer Science, R. Moreno-Díaz, B. Buchberger, and J.-L. Freire, Eds., vol. 2178. Springer, 2001, pp. 421-436.
23. R. St-Denis, "Designing reactive systems: integration of abstraction techniques into a synthesis procedure," The Journal of Systems and Software, vol. 60, no. 2, pp. 103-112, 2002.
24. H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis, "Intégration d'une technique de vérification dans une procédure de synthèse de contrôleurs de systèmes paramétrés," in Modélisation des systèmes réactifs (MSR 2003), D. Méry, N. Rezg, and X. Xie, Eds. Lavoisier, 2003, pp. 553-566.
25. A. Pnueli, S. Ruah, and L. Zuck, "Automatic deductive verification with invisible invariants," in Tools and Algorithms for the Construction and Analysis of Systems, ser. Lecture Notes in Computer Science, T. Margaria and W. Yi, Eds., vol. 2031. Springer, 2001, pp. 82-97.