Chengyin Yuan

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Manufacturing Processes

Formal Specification

Sequence Databases

Hardware Software

Top Venues

IEEE Trans Autom. Sci. Eng.

IEEE Trans. Control. Syst. Technol.

Publications

Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan, Martin Fabian
Towards Industrial Formal Specification of Programmable Safety Systems. IEEE Trans. Control. Syst. Technol. 20 (6) (2012)
Kristofer Bengtsson, Patrik Bergagard, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman
Sequence Planning Using Multiple and Coordinated Sequences of Operations. IEEE Trans Autom. Sci. Eng. 9 (2) (2012)
William S. Harrison, Dawn M. Tilbury, Chengyin Yuan
From Hardware-in-the-Loop to Hybrid Process Simulation: An Ontology for the Implementation Phase of a Manufacturing System. IEEE Trans Autom. Sci. Eng. 9 (1) (2012)
Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, Kristin Andersson, Martin Fabian, Petter Falkman, Knut Åkesson
Sequence Planning for Integrated Product, Process and Automation Design. IEEE Trans Autom. Sci. Eng. 7 (4) (2010)
Leandro G. Barajas, Stephan Biller, Fangming Gu, Chengyin Yuan
Virtual Launch & Validation of Manufacturing Automation Controls. CASE (2010)
Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman
Relations identification and visualization for sequence planning and automation design. CASE (2010)
Alberto Vergnano, Carl Thorstensson, Bengt Lennartson, Petter Falkman, Marcello Pellicciari, Chengyin Yuan, Stephan Biller, Francesco Leali
Embedding detailed robot energy optimization into high-level scheduling. CASE (2010)
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Chengyin Yuan
Formal Specification and Verification of Industrial Control Logic Components. IEEE Trans Autom. Sci. Eng. 7 (3) (2010)
Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan, Petter Falkman, Stephan Biller
Operation-oriented specification for integrated control logic development. CASE (2009)
Jing Liu, Chengyin Yuan, Fangming Gu, Stephan Biller
Functional safety certification: Practice and issues. CASE (2008)
Fangming Gu, William S. Harrison, Dawn M. Tilbury, Chengyin Yuan
Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs. CASE (2007)
Goran Cengic, Knut Åkesson, Bengt Lennartson, Chengyin Yuan, Placid Mathew Ferreira
Implementation of full synchronous composition using IEC 61499 function blocks. CASE (2005)