State feedback control of real-time discrete event systems with infinite states

References

• Afzalian, A.A., Niaki, S.A., Iravani, M.R., & Wonham, W.M. (2009). Discrete-event systems supervisory control for a dynamic flow controller. IEEE Transactions on Power Delivery, 24(1), 219–230.
   Web of Science ®Google Scholar
• Altisen, K., & Tripakis, S. (2002). Tools for controller synthesis of timed systems. In Proceedings of the 2nd Work. on Real-Time Tools. Copenhagen, Denmark: FLoC'02.
   Google Scholar
• Alur, R. (1999). Timed automata. In 11th International Conference on Computer Aided Verification, 1633, Lecture Notes in Computer Science (pp. 8–22). Berlin Heidelberg: Spring-Verlag.
   Google Scholar
• Alur, R., & Dill, D.L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.
   Web of Science ®Google Scholar
• Andersson, B., & Raravi, G. (2014). Real-time scheduling with resource sharing on heterogeneous multiprocessors. Real-Time Systems, 50, 270–314.
   Web of Science ®Google Scholar
• Asarin, E., Maler, O., & Pnueli, A. (1995). Symbolic controller synthesis for discrete and timed systems. Hybrid Systems II, LNCS 999. Berlin Heidelberg: Springer.
   Google Scholar
• Bouyer, P., Fahrenberg, U., Larsen, K.G., & Markey, N. (2011). Quantitative analysis of real-time systems using priced timed automata. Communications of the ACM, 54(9), 78–87.
   Web of Science ®Google Scholar
• Brandin, B.A., & Wonham, W.M. (1994). Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2), 329–342.
   Web of Science ®Google Scholar
• Dijkstra, E.W. (1976). A discipline of programming. Enlgewood Cliffs, NJ: Prentice-Hall.
   Google Scholar
• Finkbeiner, B., & Peter, H.-J. (2012). Template-based controller synthesis for timed systems. In 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 7214 (pp. 392–406). Berlin Heidelberg: Spring-Verlag.
   Google Scholar
• Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S.A., ...Zadok, E. (2012). Software monitoring with controllable overhead. International Journal on Software Tools for Technology Transfer, 14(3), 327–347.
   Google Scholar
• Kumar, R., & Garg, V.K. (2005). On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Transactions on Automation Science and Engineering, 2(1), 87–91.
   Google Scholar
• Kumar, R., Garg, V., & Markus, S.I. (1993). Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Transactions on Automatic Control, 38(2), 232–247.
   Web of Science ®Google Scholar
• Li, Y., & Wonham, W.M. (1988). Controllability and observability in the state-feedback control of discrete-event systems. In Proceedings of 27th Conference on Decision and Control (pp. 203–208). Austin, Texas: IEEE.
   Google Scholar
• Miremadi, S., Fei, Z., Akesson, K., & Lennartson, B. (2014). Symbolic representation and computation of timed discrete-event systems. IEEE Transactions on Automation Science and Engineering, 11(1), 6–19.
   Web of Science ®Google Scholar
• Ouedraogo, L., Khoumsi, A., & Nourelfath, M. (2010a). A new method for centralized and modular supervisory control of real-time discrete event systems. International Journal of Control, 83(1), 1–39.
   Web of Science ®Google Scholar
• Ouedraogo, L., Khoumsi, A., & Nourelfath, M. (2010b). SetExp: A method of transformation of timed automata into finite state automata. Real-Time Systems, 46, 189–250.
   Web of Science ®Google Scholar
• Park, S.-J., & Cho, K.-H. (2009). Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks. International Journal of Control, 82(2), 217–227.
   Web of Science ®Google Scholar
• Park, S.-J., & Cho, K.-H. (2011). Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets. International Journal of Control, 84(12), 2046–2057.
   Web of Science ®Google Scholar
• Ramadge, P.J., & Wonham, W.M. (1987a). Modular feedback logic for discrete event systems. SIAM Journal on Control and Optimization, 25(5), 1202–1218.
   Web of Science ®Google Scholar
• Ramadge, P.J., & Wonham, W.M. (1987b). Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25, 206–230.
   Web of Science ®Google Scholar
• Saifullah, A., Li, J., Agrawal, K., Lu, C., & Gill, C. (2013). Multi-core real-time scheduling for generalized parallel task models. Real-Time Systems, 49, 404–435.
   Web of Science ®Google Scholar
• Takai, S., Kodma, S., & Ushio, T. (1994). Decentralized state feedback control of discrete event systems. Systems & Control Letters, 22, 369–375.
   Web of Science ®Google Scholar
• Uzam, M., & Gelen, G. (2009). The real-time supervisory control of an experimental manufacturing system based on a hybrid method. Control Engineering Practice, 17(10), 1174–1189.
   Web of Science ®Google Scholar
• Wong-Toi, H., & Hoffmann, G. (1992). The control of dense real-time discrete event systems (Report No. STAN-CS-92-1411). Department of Computer Science, Standford University.
   Google Scholar