A general technique for the PLC-Based implementation of RW supervisors with time delay functions
暂无分享,去创建一个
[1] D. Gouyon *,et al. Pragmatic approach for modular control synthesis and implementation , 2004 .
[2] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[3] S. Manesis,et al. Automated synthesis of Ladder automation circuits based on state-diagrams , 2005, Adv. Eng. Softw..
[4] Beno Benhabib,et al. Application of discrete-event-system theory to flexible manufacturing , 1996 .
[5] José Eduardo Ribeiro Cury,et al. A Model for PLC Implementation of Supervisory Control of Discrete Event Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
[6] Murat Uzam,et al. The real-time supervisory control of an experimental manufacturing system based on a hybrid method , 2009 .
[7] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[8] Beno Benhabib,et al. An implementation methodology for the supervisory control of flexible manufacturing workcells , 1997 .
[9] Thomas A. Henzinger,et al. A Determinizable Class of Timed Automata , 1994, CAV.
[10] A. RAMIREZ-SERRANO,et al. Moore Automata for the Supervisory Control of Robotic Manufacturing Workcells , 2000, Auton. Robots.
[11] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[12] B.A. Brandin,et al. The real-time supervisory control of an experimental manufacturing cell , 1996, IEEE Trans. Robotics Autom..
[13] W. Wonham,et al. Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..
[14] Shigemasa Takai,et al. A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[15] Murat Uzam,et al. Timed transition automata and their ladder logic implementation , 2009, 2009 XXII International Symposium on Information, Communication and Automation Technologies.
[16] Thomas A. Henzinger,et al. Event-Clock Automata: A Determinizable Class of Timed Automata , 1999, Theor. Comput. Sci..
[17] Hassane Alla,et al. Discrete, continuous, and hybrid Petri Nets , 2004 .
[18] Kwang-Hyun Cho,et al. Supervisory control of real-time discrete event systems under bounded time constraints , 2004 .
[19] Murat Uzam,et al. A new approach for the ladder logic implementation of Ramadge-Wonham supervisors , 2009, 2009 XXII International Symposium on Information, Communication and Automation Technologies.
[20] Salman Kurtulan,et al. An implementation methodology for supervisory control theory , 2008 .
[21] M.H. de Queiroz,et al. Synthesis and implementation of local modular supervisory control for a manufacturing cell , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
[22] P. Gohari,et al. Implementing supervisory control maps with PLC , 2007, 2007 American Control Conference.
[23] Murat Uzam,et al. The concept of postponed event in timed discrete event systems and its PLC implementation , 2010, 2010 IEEE International Conference on Systems, Man and Cybernetics.
[24] Beno Benhabib,et al. A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation , 2002, J. Intell. Manuf..
[25] Jing Liu,et al. Ladder logic implementation of Ramadge-Wonham supervisory controller , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
[26] Martin Fabian,et al. PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[27] Patricia Bouyer,et al. Are Timed Automata Updatable? , 2000, CAV.