Automated synthesis of Ladder automation circuits based on state-diagrams

Manesis, Stamatis; Akantziotis, K.

doi:10.1016/j.advengsoft.2004.11.002

Cited by 34 publications

(21 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Production systems typically consist of simultaneously operating machines, which are controlled by PLCs, currently the most suitable and widely employed industrial control technology (Jang et al 1997, Rullan 1997, David 1998, Chuang et al 1999, IEC 2003, Manesis and Akantziotis 2005. A PLC emulates the behaviour of an electric ladder diagram.…”

Section: Introductionmentioning

confidence: 99%

“…In the first group, various software tools have been developed for the verification of PLCbased systems via the use of timed automata, such as UPPAAL2k, KRONOS, Supremica and HyTech, mainly for programs written in a statement list language, also termed Boolean (Manesis and Akantziotis 2005). Such software tools verify PLC programs to a certain extent; however, they remain limited.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Plant model generation for PLC simulation

Park

Kwak

Wang

et al. 2009

International Journal of Production Research

View full text Add to dashboard Cite

This paper reports an automated procedure for constructing a plant model for PLC simulation. Since PLC programs contain only the control logic without information on the plant model, it is necessary to build the corresponding plant model to perform the simulation. Conventionally, a plant model for PLC simulation has been constructed manually, which requires much effort and indepth knowledge of the simulation. As a remedy for this problem, we propose an automated procedure for generating a plant model from the symbol table of a PLC program. To do so, we propose a naming rule for PLC symbols so that the symbol names include sufficient information on the plant model. By analysing such symbol names, we extract a plant model automatically. The proposed methodology has been implemented and test runs performed.

show abstract

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

Plant model generation for PLC simulation

Park

Kwak

Wang

et al. 2009

International Journal of Production Research

View full text Add to dashboard Cite

show abstract

“…In the area of automatic ladder logic generation method, there exist mainly three approaches as follows: First approach is Petri net-based (Peng & Zhou (2004), Lee et al (2004), Frey & Minas (2001), Taholakian & Hales (1997)). Second approach is finite state machine-based (Jack (2007), Manesis & Akantziotis (2005), Sacha (2005), Liu & Darabi, (2002)). Last approach is flow chart-like-based (Jack (2007), Hajarnavis & Young (2005)).…”

Section: Related Workmentioning

confidence: 99%

Object-Oriented Modeling, Simulation and Automatic Generation of PLC Ladder Logic

Han¹

2010

Programmable Logic Controller

View full text Add to dashboard Cite

“…Local Modular approach is used because systems of greater complexity that have a big amount of machines (and then, events) usually can be modelled as many concurrently interacting and simpler subsystems. Matko, 2002;Queiroz & Cury, 2002;Chandra et al, 2003;Hasdemir et al, 2004;Manesis & Akantziotis, 2005;Vieira et al, 2006, Morgenstern & Schneider, 2007Noorbakhsh & Afzalian 2007a&b;Afzalian et al, 2008;Hasdemir et al, 2008;Noorbakhsh, 2008;Silva et al, 2008;Leal et al, 2009;Possan & Leal, 2009;Uzam et al, 2009). In most of these works the monolithic approach (Ramadge & Wonham, 1989) for the supervisors' synthesis is used, in which a single and usually large supervisor is computed to control the entire plant.…”

Section: Introductionmentioning

confidence: 99%