共 50 条
- [1] 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] Design of modular and hierarchical controllers for reconfigurable manufacturing systems [J]. 2006 IMACS: Multiconference on Computational Engineering in Systems Applications, Vols 1 and 2, 2006, : 1004 - 1011
- [4] Formal verification for analysis and design of reconfigurable controllers for manufacturing systems [J]. PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3533 - 3539
- [5] Components of the Design Process of Flexible and Reconfigurable Assembly Systems [J]. PROCEEDINGS OF THE 8TH SWEDISH PRODUCTION SYMPOSIUM (SPS 2018), 2018, 25 : 549 - 556
- [6] Design of part families for reconfigurable machining systems based on manufacturability feedback [J]. DESIGN METHODS FOR PERFORMANCE AND SUSTAINABILITY, 2001, : 147 - 154
- [7] Mechatronic Design of A Reconfigurable Machining Machine [J]. PROCEEDINGS OF 2008 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2008, : 136 - 141
- [9] FORMAL REASONING IN LOGIC DESIGN OF RECONFIGURABLE CONTROLLERS [J]. 11TH IFAC/IEEE INTERNATIONAL CONFERENCE ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2012), 2012,