Chengyin Yuan - Concepedia

Author

Chengyin Yuan

General Motors (United States)

Also Known As

Chengyin Yuan

Publications

378

Citations

H-Index

Concepts

All Affiliations

General Motors (United States)Chalmers University of Technology University of Michigan

About

Chengyin Yuan is an author at General Motors (United States) specializing in engineering, systems engineering, and automation.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	312
2	Computer Engineering	8	8	216
3	Social Sciences	3	3	136
4	Computer Science	3	3	82
5	Business	2	2	55

Chengyin Yuan

Publications

327

Citations

H-Index

Page 1

	Year	Citations
Sequence Planning for Integrated Product, Process and Automation Design Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, IEEE Transactions on Automation Science and Engineering EngineeringIndustrial EngineeringSocial SciencesAutomated ManufacturingSystems Engineering	2010	79
From Hardware-in-the-Loop to Hybrid Process Simulation: An Ontology for the Implementation Phase of a Manufacturing System William S. Harrison, Dawn M. Tilbury, Chengyin Yuan IEEE Transactions on Automation Science and Engineering EngineeringIndustrial EngineeringDigital ManufacturingComputer ArchitectureManufacturing System Setup	2011	40
Embedding detailed robot energy optimization into high-level scheduling Alberto Vergnano, Carl Thorstensson, Bengt Lennartson, Robotic SystemsEngineeringEnergy EfficiencyRobotic Manufacturing SystemsScheduling Model	2010	38
Formal Specification and Verification of Industrial Control Logic Components Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, IEEE Transactions on Automation Science and Engineering EngineeringVerificationSoftware SystemsSystem-level DesignFormal Verification	2009	36
Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs Fangming Gu, William S. Harrison, Dawn M. Tilbury, Manufacturing Automation ControlEngineeringDigital ManufacturingAutomated ManufacturingController Verification	2007	28
Sequence Planning Using Multiple and Coordinated Sequences of Operations Kristofer Bengtsson, Patrik Bergagård, Carl Thorstensson, IEEE Transactions on Automation Science and Engineering Sequential BehaviorEngineeringIndustrial EngineeringSequence DesignAutomated Manufacturing	2012	27
A formal specification language for PLC-based control logic Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, EngineeringVerificationModel Checking ToolsSoftware EngineeringIndustrial Control System	2010	19
The Origin of Operations: Interactions Between the Product and the Manufacturing Automation Control System Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan IFAC Proceedings Volumes Industrial DesignTechnologyEngineeringProduction TechnologyIndustrial Engineering	2009	17
Towards Industrial Formal Specification of Programmable Safety Systems Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan, IEEE Transactions on Control Systems Technology EngineeringVerificationSafety ScienceSoftware AnalysisFormal Verification	2011	16
Interleukin-9 production by type 2 innate lymphoid cells induces Paneth cell metaplasia and small intestinal remodeling Chengyin Yuan, Aditya Rayasam, Alison Moe, Nature Communications	2023	15

Page 1