{"title":"A formalization of real-time system using modal logic","authors":"T. Suzuki, T. Zanma, M. Ishida","doi":"10.1109/SICE.2002.1195345","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195345","url":null,"abstract":"Traffic control systems are typical examples of hybrid systems as both continuous and discrete variables, such as the number of cars, their speeds and traffic signals, are involved in the system. For the modeling of hybrid systems, there exist various approaches based on the discrete event system theory, which utilizes, for example, timed automaton, Petri net and so forth. The traffic control system can often be regarded as the system controlled by a logic-based controller. In addition, if the control specifications are also given by logical expressions, it may not be difficult to modify the existing logic-based controller. In this paper, the traffic control system consisting of two crossings is taken as an example, one of the modeling methods using modal logic is proposed, and its applicability to control is considered.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"263 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116486381","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":"An identification method with direct acquisition of reduced order model from a step response","authors":"M. Kosaka, H. Uda, H. Shibata","doi":"10.1109/SICE.2002.1195362","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195362","url":null,"abstract":"In this paper, we discuss the meaning of the intermediate parameters introduced by the deterministic off-line identification method, which is performed by using input and output data with a constant steady state output response. It is shown that the intermediate parameters are the coefficients of the polynomial that is derived by the Taylor expansion of the plant around s=0.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114741899","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":"Comparison measurement of water triple point cells for uncertainty evaluation","authors":"I. Kishimoto, K. Sato, K. Koizumi, M. Arai","doi":"10.1109/SICE.2002.1195565","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195565","url":null,"abstract":"Comparison measurement was performed on some triple point of water (TPW) cells, including national standard TPW cells. The purpose is to reassess the uncertainty source of realized temperatures of the TPW cells. The results showed the largest difference among them is represented as 0.036 /spl plusmn/ 0.035 mK with the coverage factor k = 2.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124092306","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":"Development and evaluation of the tin point in the ITS-90","authors":"K. Sato, J. Tamba, I. Kishimoto, M. Arai","doi":"10.1109/SICE.2002.1195319","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195319","url":null,"abstract":"The freezing point of tin, one of the temperature fixed-points defined in the ITS-90, is newly developed and evaluated. The temperature stability of the furnace is within /spl plusmn/1.5 mK for 24 hours and temperature distribution is within 2 mK over 20 cm. To realize a stable plateau after a large amount of supercooling, the air blow cooling method is introduced instead of the conventional method. The temperature during the plateaus decreases only 0.3 mK for 8 hours and a good repeatability within /spl plusmn/0.026 mK is obtained in ten measurements.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127877675","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":"Measuring and analysis system of liquid using multi-sensors","authors":"Katsuhiro Jomatsu, K. Watanabe","doi":"10.1109/SICE.2002.1195329","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195329","url":null,"abstract":"Quality control has progressed remarkably in the processes of the food industry, and various analyzers are employed. This paper describes how to identify the liquid flowing in the pipeline by multisensor fusion method. Here, we present a method that employs three different sensors to identify and discriminate the various liquid and different densities.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126241307","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":"Ubiquitous information infrastructure for rescue","authors":"H. Asama, D. Kurabayashi, K. Noda","doi":"10.1109/SICE.2002.1195277","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195277","url":null,"abstract":"In this paper, we propose an information infrastructure for the victim search system in rescue activity. We have developed an intelligent data carrier (IDC) system that enables one to provide the environment with information storage, sensing, and processing functionality. Each IDC unit has its own CPU, memory and radio communication module. We have incorporated the auditory functionality into IDC units and applied them to rescue activity support. IDC units attached in buildings are activated by broadcast of wake-up signal, and then they repeat calling to victims and recording their answers independently. Rescue parties perform effectively by seeking records of victims in IDC units.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126265988","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":"Neuro stabilizing control based on Lyapunov method for power system","authors":"N. Hirata, A. Ishigame, H. Nishigaito","doi":"10.1109/SICE.2002.1195616","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195616","url":null,"abstract":"This paper develops a nonlinear stabilizing method for power systems. As one such method, we consider neuro stabilizing control based on the Lyapunov method. In this method, we improve particle swarm optimization to reduce the probability of the population of solutions entrapped into local optima. We also reconstruct the Lyapunov function to satisfy Lyapunov stability conditions easily.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126320421","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":"Liquid distinction by capacitive measurement using non-contact simultaneous two-point measurement method","authors":"T. Soejima, K. Shida","doi":"10.1109/SICE.2002.1195472","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195472","url":null,"abstract":"We propose the noncontact liquid distinction by a capacitive measurement sensor with two-layer electrodes structure. Three kinds of liquids, distilled water, sulfuric acid and hydrochloric acid, are distinguished by the change rate of two data obtained with only one time simultaneous measurement of the propose sensor.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"PP 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126449772","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":"System identification via data of finite wordlengths","authors":"A. Okao, M. Ikeda, R. Takahashi","doi":"10.1109/SICE.2002.1196534","DOIUrl":"https://doi.org/10.1109/SICE.2002.1196534","url":null,"abstract":"For system identification of continuous-time plants, we commonly use digital data converted from analog signals. Since digital variables are of finite wordlengths, they contain quantization errors. Such errors may deteriorate identification accuracy significantly, especially in the case of mechanical systems where large movement and precise positioning are required. To overcome this problem, the present paper proposes to estimate the quantization errors and thus true analog sampled signals to improve identification accuracy. Estimation of quantization errors and system identification are carried out simultaneously.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128163850","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":"Intelligent buildings and intelligent agents - a human-centered framework for building controls","authors":"Zhengchun Mo","doi":"10.1109/SICE.2002.1195613","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195613","url":null,"abstract":"There has been increasing interest in applying agent technology to intelligent building controls. Scenarios in current research do not fit commercial buildings, in which both building operators and occupants can participate in operation decisions. Although personal control systems have been available to commercial buildings, individual differences in comfort requirements have not been fully addressed in control strategies. For most commercial buildings, control decisions are still based on generalized human requirements. This paper presents an agent-based control framework that accounts for individual differences and mitigates potential requirement conflicts.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125463033","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}