chethana h j - Profile on Academia.edu (original) (raw)
Papers by chethana h j
A detailed generic model of the control design process is introduced and discussed. It is used fo... more A detailed generic model of the control design process is introduced and discussed. It is used for surveying different formal approaches in the context of PLC programming. The survey focuses on formal methods for verification and validation (V&V). The varying works in this area are categorized using three criteria: the general approach (A) to the task (model based, constraint based or without a model), the formalism (F) (Petri net, automata, etc.,) used to state the formal description, and the method (M) (model-checking, reachability analysis, etc.,) used to analyze the properties. Based on these three criteria (A-F-M) a three letter code for V&V approaches is introduced. Some works from the multitude of V&V research are presented and categorized using this new system
Graphical Modeling of PLC-based Industrial Control Applications
Industrial process measurement and control systems (IPMCS) are used in most of the industrial sec... more Industrial process measurement and control systems (IPMCS) are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. In fact, standardization is a key goal to achieve integration in this type of applications. The international standardization efforts have lead to the definition of the IEC 1131 standard. Part 3 of this standard defines a software model for defining automation projects as well as 5 programming languages, emphasizing software reuse. The Technical Committee 6 for XML belonging to the international organization PLCopen, has defined an XML based interface for importing/exporting automation projects. This work presents a graphical modeling tool that guides the user through the definition of the IEC1131-3 automation project, as a PLC programming tool does. But, internally, it stores the information about the automation project as a XML file. From it, it is possible to extract information, export the automation project to different programming tools or to translate it to PLCopen XML format, using different XML technologies.
Placement of nodes in Wireless Sensor Network (WSNs) is often massive and random. Topology contro... more Placement of nodes in Wireless Sensor Network (WSNs) is often massive and random. Topology control algorithms focus in lowering the initial network topology, by reducing active nodes and links, thus saving resources and increasing network lifetime. Currently, most algorithms and schemes in WSNs, construct shared, core-based trees, with the sink as a root for this purpose. In this paper, we study whether trees that initiate from each source, called source-based trees, can assist in this purpose and provide, under specific circumstances, an efficient topology control solution. Simulation results show that source based trees can provide proper topology and routing control solution in WSNs, when are employed along with "resource", congestion control algorithms in WSNs.
A detailed generic model of the control design process is introduced and discussed. It is used fo... more A detailed generic model of the control design process is introduced and discussed. It is used for surveying different formal approaches in the context of PLC programming. The survey focuses on formal methods for verification and validation (V&V). The varying works in this area are categorized using three criteria: the general approach (A) to the task (model based, constraint based or without a model), the formalism (F) (Petri net, automata, etc.,) used to state the formal description, and the method (M) (model-checking, reachability analysis, etc.,) used to analyze the properties. Based on these three criteria (A-F-M) a three letter code for V&V approaches is introduced. Some works from the multitude of V&V research are presented and categorized using this new system
Graphical Modeling of PLC-based Industrial Control Applications
Industrial process measurement and control systems (IPMCS) are used in most of the industrial sec... more Industrial process measurement and control systems (IPMCS) are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. In fact, standardization is a key goal to achieve integration in this type of applications. The international standardization efforts have lead to the definition of the IEC 1131 standard. Part 3 of this standard defines a software model for defining automation projects as well as 5 programming languages, emphasizing software reuse. The Technical Committee 6 for XML belonging to the international organization PLCopen, has defined an XML based interface for importing/exporting automation projects. This work presents a graphical modeling tool that guides the user through the definition of the IEC1131-3 automation project, as a PLC programming tool does. But, internally, it stores the information about the automation project as a XML file. From it, it is possible to extract information, export the automation project to different programming tools or to translate it to PLCopen XML format, using different XML technologies.
Placement of nodes in Wireless Sensor Network (WSNs) is often massive and random. Topology contro... more Placement of nodes in Wireless Sensor Network (WSNs) is often massive and random. Topology control algorithms focus in lowering the initial network topology, by reducing active nodes and links, thus saving resources and increasing network lifetime. Currently, most algorithms and schemes in WSNs, construct shared, core-based trees, with the sink as a root for this purpose. In this paper, we study whether trees that initiate from each source, called source-based trees, can assist in this purpose and provide, under specific circumstances, an efficient topology control solution. Simulation results show that source based trees can provide proper topology and routing control solution in WSNs, when are employed along with "resource", congestion control algorithms in WSNs.