Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348397
M. Seslija, B. Perunicic-Drazenovic
This paper considers the application of extrapolation techniques in finding approximate solutions of some optimization problems with constraints defined by the Robin boundary problem for the Laplace equation. When applied extrapolation techniques produce very accurate solutions of the boundary problems on relatively coarse meshes, but this paper demonstrates that this is not a real restriction when dealing with optimization problems. Producing a solution of continuous problem by polynomial extrapolation based on the low-order discrete problem solutions significantly reduces both computational time and memory. The present paper illustrates this approach using finite-difference and finite-element methods, and finally makes a brief remark about some tacit engineering assumptions regarding numerical solutions of conductive media problems by construction of equivalent resistor networks.
{"title":"Extrapolation-based approach to optimization with constraints determined by the Robin boundary problem for the Laplace equation","authors":"M. Seslija, B. Perunicic-Drazenovic","doi":"10.1109/ICAT.2009.5348397","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348397","url":null,"abstract":"This paper considers the application of extrapolation techniques in finding approximate solutions of some optimization problems with constraints defined by the Robin boundary problem for the Laplace equation. When applied extrapolation techniques produce very accurate solutions of the boundary problems on relatively coarse meshes, but this paper demonstrates that this is not a real restriction when dealing with optimization problems. Producing a solution of continuous problem by polynomial extrapolation based on the low-order discrete problem solutions significantly reduces both computational time and memory. The present paper illustrates this approach using finite-difference and finite-element methods, and finally makes a brief remark about some tacit engineering assumptions regarding numerical solutions of conductive media problems by construction of equivalent resistor networks.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134143900","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348409
E. Faldella, Primiano Tucci
Fieldbus technologies have strongly contributed to the spreading of distributed control architectures in all industrial application domains as a viable and effective alternative to conventional centralized I/O solutions. In order to promote wide acceptance by application designers, the most vendors of these technologies propose powerful tools and run-time environments, adequately supporting both off-line network configuration and on-line real-time exchange of process data over the network. The focus of available facilities, however, is merely confined to the network side. The verification of wiring correctness and proper behavior of the plant sensorial/actuation equipment still relies on error-prone and time-consuming manual work. In order to overcome such limitations, a generally-applicable methodology is presented here, aiming to drastically reduce both operator direct intervention and time needed to ascertain that, not only network devices, but also plant devices fulfill the specified application-dependent requirements. Leaving intrinsic features of actuators and sensors out of consideration, typical plant devices are abstractly modeled in terms of the elementary services they may provide and the control/feedback signals they expose to request/notify execution of individual services. Such models give precise indications about devices that do not behave as expected, promptly reporting the cause(s) of each fault and suggesting possible remedies for fault recovery. The validity of the proposed methodology has been experimentally ascertained by carrying out real-life tests on a complex automated machine with a purposely developed diagnosis tool supporting multiple fieldbus technologies.
{"title":"A model-driven approach to automated diagnosis of industrial distributed I/O systems based on fieldbus technologies","authors":"E. Faldella, Primiano Tucci","doi":"10.1109/ICAT.2009.5348409","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348409","url":null,"abstract":"Fieldbus technologies have strongly contributed to the spreading of distributed control architectures in all industrial application domains as a viable and effective alternative to conventional centralized I/O solutions. In order to promote wide acceptance by application designers, the most vendors of these technologies propose powerful tools and run-time environments, adequately supporting both off-line network configuration and on-line real-time exchange of process data over the network. The focus of available facilities, however, is merely confined to the network side. The verification of wiring correctness and proper behavior of the plant sensorial/actuation equipment still relies on error-prone and time-consuming manual work. In order to overcome such limitations, a generally-applicable methodology is presented here, aiming to drastically reduce both operator direct intervention and time needed to ascertain that, not only network devices, but also plant devices fulfill the specified application-dependent requirements. Leaving intrinsic features of actuators and sensors out of consideration, typical plant devices are abstractly modeled in terms of the elementary services they may provide and the control/feedback signals they expose to request/notify execution of individual services. Such models give precise indications about devices that do not behave as expected, promptly reporting the cause(s) of each fault and suggesting possible remedies for fault recovery. The validity of the proposed methodology has been experimentally ascertained by carrying out real-life tests on a complex automated machine with a purposely developed diagnosis tool supporting multiple fieldbus technologies.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134258099","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348450
R. Šafarič, J. Cas, G. Skorc, S. I. Protsenko
The paper presents two techniques for controlling of micro/nano robots. The first one uses so called visual servoing techniques, where the robot tip position is measured with a camera. The position of the robot tip is extracted from the live video picture, so on-line position feedback control can be established. The experimental results of 2 DOF micro robot neural network controller with resolution of 500 nm is presented. The second presented experiment will show research results of 5 DOF nano robot cell with a gripper with resolution of 62 nm. The so called adaptive bang-bang position controller will be presented. The position of each linear axis is measured by a magnetic incremental encoder. The presentation focuses to the experimental results achieved by so called interface for prevention of collision in the nano world. We use a haptic device to get filling of a touch in the nano world.
{"title":"Micro and nano robotics","authors":"R. Šafarič, J. Cas, G. Skorc, S. I. Protsenko","doi":"10.1109/ICAT.2009.5348450","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348450","url":null,"abstract":"The paper presents two techniques for controlling of micro/nano robots. The first one uses so called visual servoing techniques, where the robot tip position is measured with a camera. The position of the robot tip is extracted from the live video picture, so on-line position feedback control can be established. The experimental results of 2 DOF micro robot neural network controller with resolution of 500 nm is presented. The second presented experiment will show research results of 5 DOF nano robot cell with a gripper with resolution of 62 nm. The so called adaptive bang-bang position controller will be presented. The position of each linear axis is measured by a magnetic incremental encoder. The presentation focuses to the experimental results achieved by so called interface for prevention of collision in the nano world. We use a haptic device to get filling of a touch in the nano world.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133993264","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348445
J. Börcsök, W. Chaaban, M. Schwarz, H. Sheng, Oleksandr Sheleh, B. Batchuluun
This paper describes the implementation of an automated test tool developed in Matlabreg/Simulinkreg environment that supports model testing and software verification in model-based development of control applications. This tool based on `black box' testing strategy serves on the one hand to check the ldquosemanticrdquo or ldquofunctionalrdquo correctness (SiL: software-in-the-loop) of automatically with RTW (real time workshopreg) generated C-code for algorithms designed and modelled in Simulinkreg and on the other hand to compare the obtained results with the results of the simultaneously running model-in-the-loop test (MiL). The aim behind this tool is to develop reliable software that fulfils system requirements, assure quality and can perform satisfactorily in the intended deployment environment.
本文介绍了在matlab /Simulinkreg环境下开发的自动化测试工具的实现,该工具支持基于模型的控制应用开发中的模型测试和软件验证。该工具基于“黑盒”测试策略,一方面用于对在Simulinkreg中设计和建模的算法用RTW (real time workshopreg)自动生成的c代码进行ldquosemanticrdquo或ldqufunctionalrdquo的正确性(SiL: software-in- loop)检查,另一方面用于将得到的结果与同时运行的模型在环测试(MiL)的结果进行比较。这个工具背后的目标是开发可靠的软件,满足系统需求,保证质量,并能在预期的部署环境中令人满意地执行。
{"title":"An automated software verification tool for model-based development of embedded systems with simulink®","authors":"J. Börcsök, W. Chaaban, M. Schwarz, H. Sheng, Oleksandr Sheleh, B. Batchuluun","doi":"10.1109/ICAT.2009.5348445","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348445","url":null,"abstract":"This paper describes the implementation of an automated test tool developed in Matlabreg/Simulinkreg environment that supports model testing and software verification in model-based development of control applications. This tool based on `black box' testing strategy serves on the one hand to check the ldquosemanticrdquo or ldquofunctionalrdquo correctness (SiL: software-in-the-loop) of automatically with RTW (real time workshopreg) generated C-code for algorithms designed and modelled in Simulinkreg and on the other hand to compare the obtained results with the results of the simultaneously running model-in-the-loop test (MiL). The aim behind this tool is to develop reliable software that fulfils system requirements, assure quality and can perform satisfactorily in the intended deployment environment.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131716433","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348430
Vinay Kumar, S. Bhooshan, Ankita Sood, Rahul Shahi, S. Mendiratta
In this study we propose a new system to detect and correct red eye defect in images. The proposed system works in three phases namely face localization, eye localization and red eye removal. Face localization involves method for extracting face from the image. Eye localization locates eye in the face extracted. The red eye defect, if present, is automatically detected and corrected using a simple and straightforward approach.
{"title":"A novel technique for automated red eye detection and correction","authors":"Vinay Kumar, S. Bhooshan, Ankita Sood, Rahul Shahi, S. Mendiratta","doi":"10.1109/ICAT.2009.5348430","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348430","url":null,"abstract":"In this study we propose a new system to detect and correct red eye defect in images. The proposed system works in three phases namely face localization, eye localization and red eye removal. Face localization involves method for extracting face from the image. Eye localization locates eye in the face extracted. The red eye defect, if present, is automatically detected and corrected using a simple and straightforward approach.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116910408","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/ICAT.2009.5348455
Murat Uzam, Gökhan Gelen, Recep Dalci
In this paper, a new approach is proposed for the ladder logic code implementation of Ramadge-Wonham (RW) supervisors. The proposed method deals mainly with the assignment of actions (output signals) to the related states of RW supervisors. To-date there is no general method to solve this problem. In this paper, this task is accomplished by means of a very effective and easy to use technique. Once a RW supervisor assigned with actions is obtained, the conversion of this supervisor into ladder logic code is straight forward for PLC implementation. The effectiveness of the proposed method is demonstrated by means of a manufacturing system consisting of two machines and one buffer.
{"title":"A new approach for the ladder logic implementation of Ramadge-Wonham supervisors","authors":"Murat Uzam, Gökhan Gelen, Recep Dalci","doi":"10.1109/ICAT.2009.5348455","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348455","url":null,"abstract":"In this paper, a new approach is proposed for the ladder logic code implementation of Ramadge-Wonham (RW) supervisors. The proposed method deals mainly with the assignment of actions (output signals) to the related states of RW supervisors. To-date there is no general method to solve this problem. In this paper, this task is accomplished by means of a very effective and easy to use technique. Once a RW supervisor assigned with actions is obtained, the conversion of this supervisor into ladder logic code is straight forward for PLC implementation. The effectiveness of the proposed method is demonstrated by means of a manufacturing system consisting of two machines and one buffer.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115810071","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}