Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)最新文献

筛选
英文 中文
Multiresolutional semiotic systems 多分辨率符号系统
A. Meystel
{"title":"Multiresolutional semiotic systems","authors":"A. Meystel","doi":"10.1109/ISIC.1999.796654","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796654","url":null,"abstract":"It turns out that intelligent systems cannot be completely and consistently described without reference to semiotics. Semiotics is a discipline that focuses upon maintenance of the systems of signs and symbols so that they could convey the intended meaning. Semiotics differs from mathematics and mathematical logic by its close attention to the operation of symbol grounding. Semiotics conducts this operation not only in the beginning and in the end of the problem solving process but at all stages of it. An important property of semiotic closure holds in the intelligent system as the paradigm for verification of consistency of its functioning. If a symbol demonstrates any changes in interpretation, this is recorded, and the required transformations continue under shifted interpretation. This paper outlines the set of theoretical premises required for constructing a pragmatically complete, logically consistent, and mathematically formalized semiotic system for interpretation and control.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130300713","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}
引用次数: 2
FMS job-shop scheduling under disruptions with consideration of time and sequence deviation 考虑时间和顺序偏差的FMS作业车间调度问题
Li Zhu, Y. Soh
{"title":"FMS job-shop scheduling under disruptions with consideration of time and sequence deviation","authors":"Li Zhu, Y. Soh","doi":"10.1109/ISIC.1999.796644","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796644","url":null,"abstract":"In this paper, we present a two-stage procedure off-line scheduling algorithm based on the Lagrangian relaxation method to maintain minimum mean weighted flow time for solving FMS job shop problems. On the other hand, uncertainties in the production environment inevitably result in deviations from the initial schedules. Five types of disruptions are considered in the case of rescheduling with an objective of maximum stability. Regarding the stability (time and sequence deviation) and efficiency (makespan), the simulation results of both short time and long time machine breakdown are illustrated for discussion.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123345597","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}
引用次数: 2
Comparison of relational methods and attribute-based methods for data mining in intelligent systems 智能系统数据挖掘中关系方法与基于属性方法的比较
Boris Kovalerchuk, E. Vityaev
{"title":"Comparison of relational methods and attribute-based methods for data mining in intelligent systems","authors":"Boris Kovalerchuk, E. Vityaev","doi":"10.1109/ISIC.1999.796648","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796648","url":null,"abstract":"Most of the data mining methods in real-world intelligent systems are attribute-based machine learning methods such as neural networks, nearest neighbors and decision trees. They are relatively simple, efficient, and can handle noisy data. However, these methods have two strong limitations: (1) a limited form of expressing the background knowledge and (2) the lack of relations other than \"object-attribute\" makes the concept description language inappropriate for some applications. Relational hybrid data mining methods based on first-order logic were developed to meet these challenges. In the paper they are compared with neural networks and other benchmark methods. The comparison shows several advantages of relational methods.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130131234","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}
引用次数: 2
Symbol systems in constructed complex systems 构造复杂系统中的符号系统
C. Landauer, K. Bellman
{"title":"Symbol systems in constructed complex systems","authors":"C. Landauer, K. Bellman","doi":"10.1109/ISIC.1999.796653","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796653","url":null,"abstract":"This paper is about a particular technical problem in the study of autonomy in constructed complex systems: how can a computing system decide that it needs a new symbol system to re-express all of its own processes? We have shown earlier that a constructed complex system will need to change its symbol system, by proving two theorems that limit what it can do with a fixed symbol system. To change that phenomenon, we need construction mechanisms that can themselves be changed and elaborated. In this paper, we show how a constructed complex system can decide that it needs to change its symbol system, and how it can do it. We think that if we can change the construction mechanisms, then we have another way to escape the trap of creeping rigidity: we can elaborate the units out from underneath the existing structures. This brings us directly to computational semiotics, which is the study of the treatment and use of symbols in computing systems. This paper is primarily intended to stimulate discussion and further research in these areas.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130265568","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}
引用次数: 12
Automatic creation of both the topology and parameters for a robust controller by means of genetic programming 基于遗传规划的鲁棒控制器拓扑和参数的自动生成
J. Koza, O. Stiffelman
{"title":"Automatic creation of both the topology and parameters for a robust controller by means of genetic programming","authors":"J. Koza, O. Stiffelman","doi":"10.1109/ISIC.1999.796679","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796679","url":null,"abstract":"The paper describes a general automated method for synthesizing the design of both the topology and parameter values for controllers. The automated method automatically makes decisions concerning the total number of processing blocks to be employed in the controller, the type of each block, the topological interconnections between the blocks, the values of all parameters for the blocks, and the existence, if any, of internal feedback between the blocks of the overall controller. Incorporation of time-domain, frequency-domain, and other constraints on the control or state variables (often analytically intractable using conventional methods) can be readily accommodated. The automatic method described in the paper (genetic programming) is applied to a problem of synthesizing the design of a robust controller for a plant with a second-order lag. A textbook PID compensator preceded by a lowpass pre-filter delivers credible performance on this problem. However, the automatically created controller employs a second derivative processing block (in addition to proportional, integrative, and derivative blocks and a pre-filter). It is better than twice as effective as the textbook controller as measured by the integral of the time-weighted absolute error, has only two-thirds of the rise time in response to the reference (command) input, and is 10 times better in terms of suppressing the effects of disturbance at the plant input.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134341091","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}
引用次数: 19
A new method for modular supervision of timed discrete event systems 时间离散事件系统的模块化监督新方法
Tan-Jan Ho
{"title":"A new method for modular supervision of timed discrete event systems","authors":"Tan-Jan Ho","doi":"10.1109/ISIC.1999.796637","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796637","url":null,"abstract":"It is known that modular synthesis for discrete event systems can render better design flexibility than centralized synthesis. This paper extends the author's previous centralized method (1997) to a new method for modular supervision of timed discrete event systems (TDES). Control problems are expressed in terms of forbidden conditions on the base state space of TDES. For tackling such control problems, the proposed modular method, like the centralized method, treats a tick event standing for the passage of a clock tick as an abstract entity in the implementation of control policies. As a result, the implementation of control synthesis can be accomplished without recourse to the construction of exact event trajectories of TDES which may result in state explosion. As such, the proposed method is quite often efficient by trading off an optimal solution for a simpler appropriate solution. The design approach is applied to a modular supervisory control of a simplified model of a manufacturing system with three robots.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128331416","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}
引用次数: 1
Controller synthesis for hybrid systems with linear vector fields 线性向量场混合系统的控制器综合
P. Manon, C. Valentin-Roubinet
{"title":"Controller synthesis for hybrid systems with linear vector fields","authors":"P. Manon, C. Valentin-Roubinet","doi":"10.1109/ISIC.1999.796623","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796623","url":null,"abstract":"Presents a method which can synthesize a trajectory to drive a hybrid system with linear vector fields from an initial state to a final state. All the possible states and evolutions of the process are modeled by a hybrid automata. Then a controllability analysis is carried out in state-space with geometric calculus and a controller which fulfils the specifications is synthesized.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127504873","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}
引用次数: 12
ICa: middleware for intelligent control ICa:智能控制中间件
R. Sanz, J. Clavijo, A. de Antonio, M. Segarra
{"title":"ICa: middleware for intelligent control","authors":"R. Sanz, J. Clavijo, A. de Antonio, M. Segarra","doi":"10.1109/ISIC.1999.796686","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796686","url":null,"abstract":"The effective development of intelligent process controllers of high complexity relies deeply on integration issues. CORBA technology offers a good infrastructure for complex controller integration and deployment. Integrability of heterogeneous technologies (like neural networks or expert systems), distributed nature of large plant controllers, modularized designs or construction and deployment are addressed effectively by means of distributed object computing. We show our developments in this area of integration middleware for intelligent process control. They are mostly related with the developments done in the ESPRIT DIXIT Project.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126355396","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}
引用次数: 7
How piecewise affine neural networks can generate a stable nonlinear control 分段仿射神经网络如何产生稳定的非线性控制
Charles-Albert Lehalle, R. Azencott
{"title":"How piecewise affine neural networks can generate a stable nonlinear control","authors":"Charles-Albert Lehalle, R. Azencott","doi":"10.1109/ISIC.1999.796624","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796624","url":null,"abstract":"Deals with the difficulty of designing an artificial neural network to control a nonlinear dynamical system. It is known that controlling a dynamical system that is not exactly modelled is difficult. The capabilities of artificial neural networks in the area of nonlinear control have been explored for instance by Jagannarthan (1998) and Sontag (1997). We have shown (1998) that piecewise affine perceptrons (PAP), a subclass of perceptrons, can be initialized to control a given nonlinear system. Besides they have the same useful properties as classical perceptrons: the universal approximation property and the generalization property. Here we give stability results for nonlinear systems controlled by PAPs. The stability results given are obtained by constructing piecewise quadratic Lyapunov functions. The paper first establishes a result about PAP that is used to adapt a result about stability of piecewise affine continuous-time systems, then a similar result is obtained for discrete-time ones, after that a methodology to tune PAP for control of nonlinear systems is given and finally this is illustrated by an example: the control of an engine combustion model by a PAP.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128148608","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}
引用次数: 1
Mechanisms underlying the evolution of robust nonlinear control in biology 生物学中鲁棒非线性控制进化的机制
H. Bolouri
{"title":"Mechanisms underlying the evolution of robust nonlinear control in biology","authors":"H. Bolouri","doi":"10.1109/ISIC.1999.796695","DOIUrl":"https://doi.org/10.1109/ISIC.1999.796695","url":null,"abstract":"A number of papers have highlighted remarkably high levels of robustness in the biochemical processes that control cellular function. This robustness is achieved in spite of the 'inexact' and highly stochastic nature of molecular interactions. Averaging, thresholding, resynchronization, and feedback are used extensively in biological systems to achieve robustness. How did incremental evolutionary changes lead to such sophisticated control algorithms? Can these principles be abstracted and used to artificially evolve robust nonlinear control in engineered systems? We present an analysis of the mechanisms underlying biological evolution and offer a model of molecular evolution as incremental model building and optimization.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114677369","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}
引用次数: 1
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信