1-6 of 6
Chengyin Yuan
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Proceedings Papers

A Formal Approach on Specification Modeling to Support Industrial PLC Program Verification

Soumen De, Nagarajan Sethuraman, Chengyin Yuan
Proc. ASME. IMECE2008, Volume 7: Emerging Technologies; Recent Advances in Engineering, 59-67, October 31–November 6, 2008
Paper No: IMECE2008-67458
https://doi.org/10.1115/IMECE2008-67458
View Paper titled, A Formal Approach on Specification Modeling to Support Industrial PLC Program Verification
Open the PDF for A Formal Approach on Specification Modeling to Support Industrial PLC Program Verification in another window
Topics: Modeling, Testing, Electrical wires, Manufacturing automation, Automotive industry, Computer software, Design, Engineers, Errors, Formal methods
Proceedings Papers

Math-Based Control Logic Development for Automotive Industrial Applications: Issues, Challenges and Solution

Chengyin Yuan, Stephan Biller, Fangming Gu, Jing Liu
Proc. ASME. IMECE2008, Volume 14: New Developments in Simulation Methods and Software for Engineering Applications, 87-94, October 31–November 6, 2008
Paper No: IMECE2008-67396
https://doi.org/10.1115/IMECE2008-67396
View Paper titled, Math-Based Control Logic Development for Automotive Industrial Applications: Issues, Challenges and Solution
Open the PDF for Math-Based Control Logic Development for Automotive Industrial Applications: Issues, Challenges and Solution in another window
Topics: Mathematics, Vehicles, Design, Automotive industry, Cycles, Formal methods, Fuels, Manufacturing engineering, Manufacturing systems, Profitability
Proceedings Papers

EMBench: An IEC61499 Based Integrated Environment for Manufacturing Systems

Chengyin Yuan, Placid Ferreira
Proc. ASME. MSEC2006, Manufacturing Science and Engineering, Parts A and B, 937-945, October 8–11, 2006
Paper No: MSEC2006-21109
https://doi.org/10.1115/MSEC2006-21109
View Paper titled, EMBench: An IEC61499 Based Integrated Environment for Manufacturing Systems
Open the PDF for EMBench: An IEC61499 Based Integrated Environment for Manufacturing Systems in another window
Topics: Manufacturing systems, Manufacturing, Simulation, Design, Graphical user interfaces, Complex systems, Computer software, Control equipment, Control systems, Cycles
Proceedings Papers

EMBench: A Rapid Prototyping Environment for Numerical Control Systems

Sachin Jain, Chengyin Yuan, Placid Ferreira
Proc. ASME. IMECE2002, Dynamic Systems and Control, 7-13, November 17–22, 2002
Paper No: IMECE2002-32031
https://doi.org/10.1115/IMECE2002-32031
View Paper titled, EMBench: A Rapid Prototyping Environment for Numerical Control Systems
Open the PDF for EMBench: A Rapid Prototyping Environment for Numerical Control Systems in another window
Topics: Control systems, Rapid prototyping, Design, Engineering simulation, Interpolation, Kinematics, Simulation, Trajectories (Physics)
Proceedings Papers

An Integrated Rapid Prototyping Environment for Reconfigurable Manufacturing Systems

Chengyin Yuan, Placid Ferreira
Proc. ASME. IMECE2003, Materials, 737-744, November 15–21, 2003
Paper No: IMECE2003-42866
https://doi.org/10.1115/IMECE2003-42866
View Paper titled, An Integrated Rapid Prototyping Environment for Reconfigurable Manufacturing Systems
Open the PDF for An Integrated Rapid Prototyping Environment for Reconfigurable Manufacturing Systems in another window
Topics: Manufacturing systems, Rapid prototyping, Manufacturing, Design, Graphical user interfaces, Cycles, Simulation
Proceedings Papers

An Integrated Environment for the Design and Control of Deadlock-Free Flexible Manufacturing Cells

Chengyin Yuan, Placid Ferreira
Proc. ASME. IMECE2004, Manufacturing Engineering and Materials Handling Engineering, 471-481, November 13–19, 2004
Paper No: IMECE2004-61213
https://doi.org/10.1115/IMECE2004-61213
View Paper titled, An Integrated Environment for the Design and Control of Deadlock-Free Flexible Manufacturing Cells
Open the PDF for An Integrated Environment for the Design and Control of Deadlock-Free Flexible Manufacturing Cells in another window
Topics: Design, Manufacturing cells, Manufacturing, Control equipment, Graphical user interfaces, Rapid prototyping, Computer software, Cycles, Databases, Flexible manufacturing systems