共 50 条
- [1] A Verification Approach for Programmable Logic Controllers [J]. INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA 2016), 2016, : 314 - 319
- [2] Formal verification for analysis and design of logic controllers for reconfigurable machining systems [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (04): : 463 - 474
- [3] Logic synthesis of reconfigurable controllers [J]. 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2007, : 373 - 376
- [4] MODELING PROGRAMMABLE LOGIC CONTROLLERS FOR LOGIC VERIFICATION [J]. IEEE CONTROL SYSTEMS MAGAZINE, 1994, 14 (02): : 53 - 59
- [5] A New Reconfigurable Logic for CNC Lathe Controllers [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION, VOLS 1-7, CONFERENCE PROCEEDINGS, 2009, : 2835 - +
- [6] FORMAL REASONING IN LOGIC DESIGN OF RECONFIGURABLE CONTROLLERS [J]. 11TH IFAC/IEEE INTERNATIONAL CONFERENCE ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2012), 2012,
- [8] System verification with SCV - Logic is logic, and testing is testing [J]. DR DOBBS JOURNAL, 2005, 30 (06): : 48 - 50
- [9] Analysis and design of reconfigurable logic controllers based on signal interpreted Petri nets [J]. Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition), 2004, 34 (SUPPL.): : 101 - 107