E. Kenderesi, M. Raković, M. Nikolic, M. Gnjatović, B. Borovac
{"title":"Realization of arms movements for 3D robot model and synchronization with real humanoid robot","authors":"E. Kenderesi, M. Raković, M. Nikolic, M. Gnjatović, B. Borovac","doi":"10.1109/SISY.2012.6339518","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339518","url":null,"abstract":"The paper describes the simulation software for preview of the motion of humanoid robot: either graphical in 3D environment or on the real robot (KHR-1 HV was used). Such software enable synthesis (both, online and offline) and execution of humanoid movements. Execution can be performed either on the 3D model or on the real robot. Such software brings two major advantages. First, to avoid self collision and to verify movement shape all synthesized movements can be previewed before executing on the real robot. Second, such system can be used for early stages of testing different sub-systems, for example, visual system, cognitive algorithms etc.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132992522","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}
M. Kisić, Č. Žlebič, M. Damnjanović, K. Babković, A. Menicanin, L. Zivanov
{"title":"Interference in digital circuits and some techniques for EMI suppression","authors":"M. Kisić, Č. Žlebič, M. Damnjanović, K. Babković, A. Menicanin, L. Zivanov","doi":"10.1109/SISY.2012.6339559","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339559","url":null,"abstract":"Noise generated by a logic gate in a simple digital circuit is considered in this paper. Appropriate circuit design and usage of electromagnetic interference (EMI) components are methods intended to suppress noise radiation by reducing/eliminating the noise flowing through conductive lines. Because of that, commercially available ferrite component is tested in a simple digital circuits realized on a PCB. Different configurations of digital circuit are analyzed: circuit printed on single-sided and double-sided board, with and without EMI suppressors placed on the conductive line at the input of circuit. With attention to the current distribution, the mounting position is observed for ferrite where it has significant noise effect. The measurements are obtained by digital oscilloscope TDS 2024B in the frequency range up to 200 MHz, and CTM030 Scan EM-EC magnetic probe with frequency response 2 MHz - 2 GHz which observe the waveform of the current. The measured data showed variations in noise suppressing effect depending on the design of circuit and by adding EMI suppressors.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125506421","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}
A. Stînean, S. Preitl, R. Precup, C. Dragos, M. Radac
{"title":"Hybrid fuzzy control solutions for Brushless DC drives with Variable Moment of Inertia","authors":"A. Stînean, S. Preitl, R. Precup, C. Dragos, M. Radac","doi":"10.1109/SISY.2012.6339536","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339536","url":null,"abstract":"This paper proposes four hybrid Takagi-Sugeno fuzzy controllers which consist of two hybrid PI Neuro-Fuzzy Controllers and two Adaptive Sliding Mode Fuzzy Controllers, for speed and position control of Brushless Direct Current motor (BLDC-m) drives. Simplified models of BLDC-m drives are derived and used in the new controller design; these models are characterized by second-order transfer functions with variable parameters and with or without an integral component. The proposed controllers and systematic design methodologies are briefly presented and some particular approaches are highlighted. The control structures exhibit important robustness properties proved by simulation results. The design methodologies guarantee the system stability and offer consistent performance under model uncertainties. Simulation-based comparisons illustrate the efficiency of the controllers.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125948063","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}
{"title":"Linear fuzzy space polygon based image segmentation and feature extraction","authors":"D. Obradovic, Z. Konjovic, E. Pap, Marko Jocic","doi":"10.1109/SISY.2012.6339581","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339581","url":null,"abstract":"In this paper we propose a new model and algorithm for region segmentation and feature extraction from 2D images containing imprecise regions. Region modeling is done in two phases. In the first phase a region is represented as a classical fuzzy set, and in second phase the obtained fuzzy set is approximated by a fuzzy polygon, another fuzzy set whose borders are represented as an array of fuzzy points in linear fuzzy space. Membership functions for the fuzzy set in the first phase are represented by feed forward neural network trained on the set consisting of pixels' feature vectors. The feature vector model is formed based on 2D wavelet transformation of pixel's neighborhood. Utilization of the model and algorithm is demonstrated through the example of calculating region diameter in DICOM 2D medical images.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127198299","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}
Markus Löberbauer, Reinhard Wölfinger, M. Jahn, H. Mössenböck
{"title":"Composition mechanisms classified by their contributor provision characteristics","authors":"Markus Löberbauer, Reinhard Wölfinger, M. Jahn, H. Mössenböck","doi":"10.1109/SISY.2012.6339561","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339561","url":null,"abstract":"Composition is the process, which assembles a program from components by matching the requests of host with the provisions of contributors. The way in which contributors are provided differs, depending on the used composition mechanism. This paper defines a classification of composition mechanisms and describes what provision characteristics are typical for them. This classification is preparatory work for research in testing of component-based software, where the typical defects for composition mechanisms will be investigated.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"28 11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124138954","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}
{"title":"Agent-based task assignment in multi-hop wireless sensor and robot networks improved by iMesh and auctions","authors":"B. Gasparovic, I. Mezei","doi":"10.1109/SISY.2012.6339553","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339553","url":null,"abstract":"In this article, an improvement to the existing agent-based auction aggregation protocol for the task assignment (k-aSAAP) in multi-hop wireless sensor and robot networks is proposed by applying the localized distance-sensitive information mesh based service discovery algorithm (iMesh). The agents are introduced to reduce the communication overhead and further improved by introducing the iMesh service discovery in the following way: the area monitored by sensors is divided into sectors where one static agent, having all information about the robots in that sector, is located in the center. Event information is detected by one of the sensors. That sensor then conducts the lookup process in the sensor matrix to obtain the information about nearby service providers (robots) from the iMesh structure. After the nearest service provider is found, it now forwards the information to the agent in that sector which triggers the auction searching for the robot with the lowest cost among the neighboring agents. The existing agent-based solutions and the iMesh were compared and later combined to improve the percentage of optimal assignments, the average optimal-to-closest distance ratio and to maintain low the number of exchanged messages. The performance of the protocols are shown by the simulation results which show that introducing the iMesh can improve the percentage of optimal assignments from 50 to over 90% for low values of k (number of hops), while keeping the number of average exchanged messages to around 1 per robot.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115733921","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}
M. Gnjatović, Jovica Tasevski, M. Nikolic, D. Mišković, B. Borovac, V. Delić
{"title":"Adaptive multimodal interaction with industrial robot","authors":"M. Gnjatović, Jovica Tasevski, M. Nikolic, D. Mišković, B. Borovac, V. Delić","doi":"10.1109/SISY.2012.6339538","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339538","url":null,"abstract":"This paper reports a spoken natural language dialogue system that manages the interaction between the user and the industrial robot ABB IRB 140. To the extent that the dialogue system is multimodal, it uses three communication modalities: (i) spoken language (automatic speech recognition and text-to-speech synthesis), (ii) visual recognition of the figures and determination of their positions, and (iii) typed text. To the extent that the dialogue system is adaptive, it takes the verbal and spatial contexts into account in order to adapt its dialogue behavior and to process spontaneously formulated user commands of different syntactic forms without explicit syntactic expectations. The industrial robot is slightly modified and enabled to manipulate over graphical figures, following the instructions of the dialogue system.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115288375","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}
{"title":"Using code instrumentation for creating initial impact set for software change request","authors":"Ž. Stojanov, D. Dobrilović, V. Jevtic","doi":"10.1109/SISY.2012.6339531","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339531","url":null,"abstract":"Change impact analysis is the challenging area for research because of its complexity and the fact that studying software change requests consumes the largest amount of time during software maintenance. This paper addresses the problem of creating initial impact set that will provide the basis for change impact analysis. The approach can be applied on software business applications that intensively use databases and have graphical user interface that reflects database structure. The approach to code instrumentation that enables tracking a user session on the visual forms level, and a model of initial impact set that is created based on the session trace and software architecture are presented in the paper. Real setting implementation provides the evidence that this approach could be used in the practice.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"69 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120844095","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}
{"title":"Static and dynamic properties of the pneumatic actuator with artificial muscles","authors":"M. Balara, M. Tóthová","doi":"10.1109/SISY.2012.6339483","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339483","url":null,"abstract":"The paper contains information about the function and basic properties of the actuator based on pneumatic artificial muscles. It describes the design method of control structure of such actuator and shows the nonlinear static and dynamic characteristics of this actuator. The step responses and the non-linear static and dynamic characteristics were measured by authors on the real pneumatic actuator with artificial muscles Festo MAS 20-250.","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121448543","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}
{"title":"Discovery of inductive algorithms through automated reasoning: A case study on sorting","authors":"I. Dramnesc, T. Jebelean","doi":"10.1109/SISY.2012.6339532","DOIUrl":"https://doi.org/10.1109/SISY.2012.6339532","url":null,"abstract":"By constructive proofs of the existence of the sorted version of the input list, we synthesize automatically five inductive sorting algorithms: Selection-Sort, Insertion-Sort, Quick-Sort, Merge-Sort, as well as a novel algorithm similar to Merge-Sort. Each algorithm uses certain auxiliary inductive functions, which are also automatically synthesized. The automatic proofs use natural style inferences like traditionally in the Theorema system (www.theorema.org). This case study reveals various novel proof techniques specific to the domain of lists, which are crucial for the automation of the proving process. These techniques include: goal oriented reasoning using meta-variables, several versions of induction on lists, and the use of partially unsolved goals. For increased efficiency we also use some special inference rules which are specific to certain predicates on lists, like for instance “is permutation of” (two lists have the same elements with the same number of occurrences), or “is Sorted” (a list is ordered).","PeriodicalId":207630,"journal":{"name":"2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115357621","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}