首页 > 最新文献

SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)最新文献

英文 中文
Multi-sensor data fusion and its application to industrial control 多传感器数据融合及其在工业控制中的应用
Yang Dongyong, Y. Yūzō
In this paper, a new cluster fusion control strategy based on multisensor data fusion technique is presented from a perspective of industrial control application. The MSIF system consists of n sensors, n data-fusion nodes, a data-fusion database, and a expert knowledge database. Data-fusion mechanisms, including data coordination, data-fusion method and expert knowledge database, are discussed. A modified ART-2 neural network which can process analog data is applied to realize the data-fusion machine. Details about data acquisition and process, cluster-fusion control, interpretative mechanism and executive framework are discussed.
从工业控制应用的角度出发,提出了一种基于多传感器数据融合技术的集群融合控制策略。MSIF系统由n个传感器、n个数据融合节点、数据融合数据库和专家知识库组成。讨论了数据融合机制,包括数据协调、数据融合方法和专家知识库。采用改进的ART-2神经网络对模拟数据进行处理,实现了数据融合机。详细讨论了数据采集和处理、集群融合控制、解释机制和执行框架。
{"title":"Multi-sensor data fusion and its application to industrial control","authors":"Yang Dongyong, Y. Yūzō","doi":"10.1109/SICE.2000.889682","DOIUrl":"https://doi.org/10.1109/SICE.2000.889682","url":null,"abstract":"In this paper, a new cluster fusion control strategy based on multisensor data fusion technique is presented from a perspective of industrial control application. The MSIF system consists of n sensors, n data-fusion nodes, a data-fusion database, and a expert knowledge database. Data-fusion mechanisms, including data coordination, data-fusion method and expert knowledge database, are discussed. A modified ART-2 neural network which can process analog data is applied to realize the data-fusion machine. Details about data acquisition and process, cluster-fusion control, interpretative mechanism and executive framework are discussed.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131277701","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}
引用次数: 20
Numerical simulations for 3D robot visions using parallel type neural network system 基于并行型神经网络系统的三维机器人视觉数值模拟
O.K. Mitukawa, N. Kyura, H. Gotanda
This paper describes a new calibration method in constructing 3D robot vision systems. The calibration employs two types of neural networks. It is confirmed from some simulations that the calibration procedure is very simplified.
本文介绍了一种用于构建三维机器人视觉系统的标定方法。校准采用两种类型的神经网络。仿真结果表明,该方法简化了标定过程。
{"title":"Numerical simulations for 3D robot visions using parallel type neural network system","authors":"O.K. Mitukawa, N. Kyura, H. Gotanda","doi":"10.1109/SICE.2000.889667","DOIUrl":"https://doi.org/10.1109/SICE.2000.889667","url":null,"abstract":"This paper describes a new calibration method in constructing 3D robot vision systems. The calibration employs two types of neural networks. It is confirmed from some simulations that the calibration procedure is very simplified.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115746622","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}
引用次数: 0
A frequency model of OCXO for holdover mode of DP-PLL 用于DP-PLL保持模式的OCXO频率模型
J. Hwang, D. Shin, W. Han, Y.K. Kim
A frequency model of an OCXO (ovened controlled crystal oscillator) is suggested to implement a holdover algorithm in a DP-PLL (digital processing-phase locked loop) system. This model is presented simply with second order polynomials with respect to temperature and aging of the OCXO. The model parameters are obtained from experimental data by applying the LSM (least squares method). The holdover algorithm is simulated with the identified model using another experimental data.
为了在数字处理锁相环(DP-PLL)系统中实现延迟算法,提出了一种OCXO(烤箱控制晶体振荡器)的频率模型。该模型简单地用二阶多项式表示了OCXO的温度和老化。采用最小二乘法从实验数据中得到模型参数。利用另一个实验数据,用识别出的模型对延迟算法进行了仿真。
{"title":"A frequency model of OCXO for holdover mode of DP-PLL","authors":"J. Hwang, D. Shin, W. Han, Y.K. Kim","doi":"10.1109/SICE.2000.889649","DOIUrl":"https://doi.org/10.1109/SICE.2000.889649","url":null,"abstract":"A frequency model of an OCXO (ovened controlled crystal oscillator) is suggested to implement a holdover algorithm in a DP-PLL (digital processing-phase locked loop) system. This model is presented simply with second order polynomials with respect to temperature and aging of the OCXO. The model parameters are obtained from experimental data by applying the LSM (least squares method). The holdover algorithm is simulated with the identified model using another experimental data.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129769804","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}
引用次数: 0
The notion of animals' local choice brought from an exterior of mechanical framework 动物的局部选择的概念来自机械框架的外部
S. Nomura, Y. Gunji
We studied chemotactical behavior of an amoeboid multinuclear cell, Physarum polycephalum plasmodium. We experimentally observed that the small parts within a single organism showed different reactions under rather complex situations, unless the organism has no differentiation, and some adaptable behaviors of the individual have resulted from a temporary inadequate reaction of such a local part. We then propose an idea of animal local choice as a negation of a mechanical framework which assumes definitely decided one-to-one relations between an environmental stimulus and a reaction of an animal.
我们研究了一种阿米巴样多核细胞——多头绒泡菌的化学战术行为。我们通过实验观察到,一个有机体内的小部分在相当复杂的情况下表现出不同的反应,除非生物体没有分化,个体的一些适应性行为是由于这种局部部分的暂时反应不足造成的。然后,我们提出了一种动物局部选择的想法,作为对机械框架的否定,该框架假设环境刺激和动物的反应之间存在明确的一对一关系。
{"title":"The notion of animals' local choice brought from an exterior of mechanical framework","authors":"S. Nomura, Y. Gunji","doi":"10.1109/SICE.2000.889677","DOIUrl":"https://doi.org/10.1109/SICE.2000.889677","url":null,"abstract":"We studied chemotactical behavior of an amoeboid multinuclear cell, Physarum polycephalum plasmodium. We experimentally observed that the small parts within a single organism showed different reactions under rather complex situations, unless the organism has no differentiation, and some adaptable behaviors of the individual have resulted from a temporary inadequate reaction of such a local part. We then propose an idea of animal local choice as a negation of a mechanical framework which assumes definitely decided one-to-one relations between an environmental stimulus and a reaction of an animal.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"2 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124099477","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}
引用次数: 0
QLQG/LTR control of parallel inverted pendulums 平行倒立摆的QLQG/LTR控制
D. Hong, S. Jung, J. H. Jeong, J.S. Kim, S. Han
The parallel inverted pendulum system is one of the representative mechanical systems that have inherent instability characteristics, geometrical nonlinearities and dry frictions in actuators. Hence, it is sometimes desirable to apply a nonlinear multivariable control methodology. In the paper, a nonlinear quasi-linear quadratic Gaussian with loop transfer recovery (QLQG/LTR) control is proposed and experimented with on a parallel inverted pendulum system with dry frictions, in which system parameters such as amp gains are identified using genetic algorithms, and the dry friction is approximated to a quasi-linear model by random input describing function techniques.
并联倒立摆系统是具有固有不稳定性、几何非线性和干摩擦特性的典型机械系统之一。因此,有时需要采用非线性多变量控制方法。本文提出了一种非线性准线性二次高斯带环路传递恢复(QLQG/LTR)控制方法,并在有干摩擦的并联倒立摆系统上进行了实验。该方法采用遗传算法识别系统参数如放大器增益,并采用随机输入描述函数技术将干摩擦近似为准线性模型。
{"title":"QLQG/LTR control of parallel inverted pendulums","authors":"D. Hong, S. Jung, J. H. Jeong, J.S. Kim, S. Han","doi":"10.1109/SICE.2000.889684","DOIUrl":"https://doi.org/10.1109/SICE.2000.889684","url":null,"abstract":"The parallel inverted pendulum system is one of the representative mechanical systems that have inherent instability characteristics, geometrical nonlinearities and dry frictions in actuators. Hence, it is sometimes desirable to apply a nonlinear multivariable control methodology. In the paper, a nonlinear quasi-linear quadratic Gaussian with loop transfer recovery (QLQG/LTR) control is proposed and experimented with on a parallel inverted pendulum system with dry frictions, in which system parameters such as amp gains are identified using genetic algorithms, and the dry friction is approximated to a quasi-linear model by random input describing function techniques.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132717704","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}
引用次数: 0
Real-time recognition of road traffic sign in moving scene image using new image filter 基于新型图像滤波器的道路交通标志动态图像实时识别
T. Asakura, Y. Aoyagi, O.K. Hirose
This research is concerned with a new technology for the recognition of traffic sign from a motion picture. In order to realize a real-time position recognition, the genetic algorithm (denoted by GA) with search region limits is proposed. Through experiments, it is shown that new technology is sufficiently valid on real-time recognition to objects of motion picture.
本文研究了一种从电影中识别交通标志的新技术。为了实现实时位置识别,提出了一种具有搜索区域限制的遗传算法(GA)。实验结果表明,该方法对实时识别运动图像中的物体是有效的。
{"title":"Real-time recognition of road traffic sign in moving scene image using new image filter","authors":"T. Asakura, Y. Aoyagi, O.K. Hirose","doi":"10.1109/SICE.2000.889645","DOIUrl":"https://doi.org/10.1109/SICE.2000.889645","url":null,"abstract":"This research is concerned with a new technology for the recognition of traffic sign from a motion picture. In order to realize a real-time position recognition, the genetic algorithm (denoted by GA) with search region limits is proposed. Through experiments, it is shown that new technology is sufficiently valid on real-time recognition to objects of motion picture.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134273538","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}
引用次数: 21
Bispectrum analysis for impact sound of composite materials 复合材料冲击声的双谱分析
T. Ogawa, H. Kanada, K. Mori, M. Sakata
A method to estimate the elastic moduli of a composite material by the sound that occurs at an impact on the composite material was proposed in the field of the material engineering. To estimate elastic moduli from the impact sound, we have to estimate the natural frequencies of the vibration of the material from the obtained time-series waveform. In this report, we show that the natural frequencies of the vibration of the composite material can be estimated by the bispectrum analysis more clearly than the power spectrum analysis.
在材料工程领域,提出了一种利用复合材料受到撞击时产生的声音来估计复合材料弹性模量的方法。为了从冲击声中估计弹性模量,我们必须从得到的时间序列波形中估计材料振动的固有频率。在本报告中,我们证明了双谱分析可以比功率谱分析更清楚地估计复合材料振动的固有频率。
{"title":"Bispectrum analysis for impact sound of composite materials","authors":"T. Ogawa, H. Kanada, K. Mori, M. Sakata","doi":"10.1109/SICE.2000.889648","DOIUrl":"https://doi.org/10.1109/SICE.2000.889648","url":null,"abstract":"A method to estimate the elastic moduli of a composite material by the sound that occurs at an impact on the composite material was proposed in the field of the material engineering. To estimate elastic moduli from the impact sound, we have to estimate the natural frequencies of the vibration of the material from the obtained time-series waveform. In this report, we show that the natural frequencies of the vibration of the composite material can be estimated by the bispectrum analysis more clearly than the power spectrum analysis.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114546697","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}
引用次数: 3
GMDH-type neural networks: with radial basis functions and their application to medical image recognition of the brain 基于径向基函数的gmdh型神经网络及其在脑医学图像识别中的应用
T. Kondo, A. Pandya
In this paper, the group method of data handling (GMDH)-type neural networks with radial basis functions are proposed. Such networks can automatically organize themselves by using a heuristic self-organization method. In this algorithm, the network architecture can be automatically adjusted according to the complexity of the approximated nonlinear system. The number of hidden layers and the number of neurons in the hidden layers are selected so as to minimize an error criterion defined as Akaike's information criterion (AIC). Furthermore, various types of nonlinear combinations of variables are initially generated in each layer and only the useful combinations are selected by using AIC. In this study, the GMDH-type neural networks with radial basis functions are applied to medical image recognition of the brain. It is shown that this algorithm is simple and useful in medical image recognition of the brain.
本文提出了一种具有径向基函数的数据处理(GMDH)型神经网络的分组方法。这种网络可以使用启发式自组织方法自动组织。该算法可以根据逼近非线性系统的复杂程度自动调整网络结构。选择隐藏层的数量和隐藏层中神经元的数量,以最小化定义为赤池信息准则(Akaike’s information criterion, AIC)的误差准则。此外,在每一层初始生成各种类型的变量的非线性组合,并使用AIC只选择有用的组合。本研究将基于径向基函数的gmdh型神经网络应用于脑医学图像识别。实验结果表明,该算法简单、实用,可用于医学图像的大脑识别。
{"title":"GMDH-type neural networks: with radial basis functions and their application to medical image recognition of the brain","authors":"T. Kondo, A. Pandya","doi":"10.1109/SICE.2000.889694","DOIUrl":"https://doi.org/10.1109/SICE.2000.889694","url":null,"abstract":"In this paper, the group method of data handling (GMDH)-type neural networks with radial basis functions are proposed. Such networks can automatically organize themselves by using a heuristic self-organization method. In this algorithm, the network architecture can be automatically adjusted according to the complexity of the approximated nonlinear system. The number of hidden layers and the number of neurons in the hidden layers are selected so as to minimize an error criterion defined as Akaike's information criterion (AIC). Furthermore, various types of nonlinear combinations of variables are initially generated in each layer and only the useful combinations are selected by using AIC. In this study, the GMDH-type neural networks with radial basis functions are applied to medical image recognition of the brain. It is shown that this algorithm is simple and useful in medical image recognition of the brain.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115405658","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}
引用次数: 8
A decoupling method of separable-denominator two-dimensional systems 可分分母二维系统的解耦方法
A. Kawakami
The decoupling of the systems is to let the inputs and outputs correspond one to one, by performing the state feedback or the output feedback on the given systems. In this paper, we propose a method for decoupling the separable-denominator two-dimensional systems, and, we study about the realization dimension of the dynamical feedback and the dynamical feedforward performed for decoupling.
系统的解耦是通过对给定系统执行状态反馈或输出反馈,使输入和输出一一对应。本文提出了一种可分分母二维系统的解耦方法,并研究了解耦的动态反馈和动态前馈的实现维数。
{"title":"A decoupling method of separable-denominator two-dimensional systems","authors":"A. Kawakami","doi":"10.1109/SICE.2000.889665","DOIUrl":"https://doi.org/10.1109/SICE.2000.889665","url":null,"abstract":"The decoupling of the systems is to let the inputs and outputs correspond one to one, by performing the state feedback or the output feedback on the given systems. In this paper, we propose a method for decoupling the separable-denominator two-dimensional systems, and, we study about the realization dimension of the dynamical feedback and the dynamical feedforward performed for decoupling.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123080988","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}
引用次数: 0
Development of adequate formalisms for verification of IEC 1499 distributed applications 为IEC 1499分布式应用程序的验证开发适当的形式化
V. Vyatkin, H. Hanisch
Presents an attempt to bridge the gap between theoretical successes of formal methods and their actual application in engineering of industrial automation systems. It deals with modeling and verification of distributed control systems developed according to the being developed international standard IEC1499. A new modeling formalism of Signal/Net Systems (SNS) is suggested, which is a place/transition net with usual token-flow arcs from places to transitions and vice versa, as well as with event arcs from transitions to transitions, and condition arcs from places to transitions which correspondingly force or enable transitions without passing tokens. The distinct feature of the SNS is that complex models they can be easily composed in the modular way from the component modules. This formalism is developed with particular view on the modeling of closed-loop plant/controller systems. The controller is modeled in a full deterministic and synchronous way (all the transitions fire according to the earliest firing rule) as a non-timed place/transition net while the model of plant might have spontaneous transitions and discrete-timed arcs to model time consuming processes. Verification of the controller/plant closed-loop system includes investigation of reachability problems for standalone controller and object, as well as proving safety properties for the closed-loop system.
提出了一种尝试,以弥合形式化方法的理论成功与其在工业自动化系统工程中的实际应用之间的差距。它处理了根据正在制定的国际标准IEC1499开发的分布式控制系统的建模和验证。提出了一种新的信号/网络系统(SNS)建模形式,即一个地点/转换网络,它具有从地点到转换点的通常令牌流弧,以及从转换点到转换点的事件弧,以及从地点到转换点的条件弧,这些条件弧在不传递令牌的情况下相应地强制或启用转换。SNS的显著特点是复杂的模型可以很容易地由组件模块以模块化的方式组成。这种形式体系是在对闭环装置/控制器系统建模的特殊观点下发展起来的。控制器以完全确定性和同步的方式建模(所有的过渡都按照最早的触发规则进行),作为一个非定时的地点/过渡网络,而对象模型可能具有自发过渡和离散时间弧来模拟耗时的过程。控制器/设备闭环系统的验证包括对独立控制器和对象的可达性问题的调查,以及证明闭环系统的安全特性。
{"title":"Development of adequate formalisms for verification of IEC 1499 distributed applications","authors":"V. Vyatkin, H. Hanisch","doi":"10.1109/SICE.2000.889656","DOIUrl":"https://doi.org/10.1109/SICE.2000.889656","url":null,"abstract":"Presents an attempt to bridge the gap between theoretical successes of formal methods and their actual application in engineering of industrial automation systems. It deals with modeling and verification of distributed control systems developed according to the being developed international standard IEC1499. A new modeling formalism of Signal/Net Systems (SNS) is suggested, which is a place/transition net with usual token-flow arcs from places to transitions and vice versa, as well as with event arcs from transitions to transitions, and condition arcs from places to transitions which correspondingly force or enable transitions without passing tokens. The distinct feature of the SNS is that complex models they can be easily composed in the modular way from the component modules. This formalism is developed with particular view on the modeling of closed-loop plant/controller systems. The controller is modeled in a full deterministic and synchronous way (all the transitions fire according to the earliest firing rule) as a non-timed place/transition net while the model of plant might have spontaneous transitions and discrete-timed arcs to model time consuming processes. Verification of the controller/plant closed-loop system includes investigation of reachability problems for standalone controller and object, as well as proving safety properties for the closed-loop system.","PeriodicalId":254956,"journal":{"name":"SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127405639","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}
引用次数: 5
期刊
SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1