2012 IEEE International Conference on Industrial Technology最新文献_第4页

Model based testing using an Extended Context Free Grammar 使用扩展上下文无关语法的基于模型的测试

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6210015

M. Mahesh, P. Murthy

引用次数: 0

Control strategy for photovoltaic-wind Hybrid System using Sliding Mode Control and Linear Parameter Varying feedback 基于滑模控制和线性变参数反馈的光伏-风力混合系统控制策略

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6209939

L. Croci, A. Martinez, P. Coirault, G. Champenois

引用次数: 7

A customizable and ARINC 653 quasi-compliant hypervisor 一个可定制的和ARINC 653准兼容的管理程序

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6209928

A. Tavares, A. Carvalho, P. Rodrigues, Paulo Garcia, T. Gomes, J. Cabral, P. Cardoso, S. Montenegro, M. Ekpanyapong

{"title":"A customizable and ARINC 653 quasi-compliant hypervisor","authors":"A. Tavares, A. Carvalho, P. Rodrigues, Paulo Garcia, T. Gomes, J. Cabral, P. Cardoso, S. Montenegro, M. Ekpanyapong","doi":"10.1109/ICIT.2012.6209928","DOIUrl":"https://doi.org/10.1109/ICIT.2012.6209928","url":null,"abstract":"This paper presents a novel hypervisor, developed for aerospace applications using an object oriented approach that embodies time and space partitioning (TSP) on a PowerPC (PPC) core embedded in a FPGA, for the NetworkCentric core avionics [1] - an architecture of cooperating components and managed by a real-time operating system, to implement dependable computing and targeting simplicity. To support Integrated Modular Architecture (IMA) [2] partitioned software architectures, the proposed hypervisor adapted to the aerospace application domain the Popek and Goldberg's [3] fidelity, efficiency and resource control virtualization requirements, and extends them with additional ones like timing determinism, reactivity and improved dependability. A distinctive feature of this hypervisor is its I/O device virtualization approach that guarantees real-time performance and small trusted computing base. The object oriented approach will be particularly useful to customize key components of the hypervisor (with different granularity levels) such as partition scheduling and the communications manager using generative programming techniques (Aspect Oriented Programming (AOP) and template meta-programming).","PeriodicalId":365141,"journal":{"name":"2012 IEEE International Conference on Industrial Technology","volume":"23 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131958975","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}

引用次数: 11

State space generation for Petri nets-based GALS systems 基于Petri网的GALS系统状态空间生成

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6210007

F. Moutinho, L. Gomes

{"title":"State space generation for Petri nets-based GALS systems","authors":"F. Moutinho, L. Gomes","doi":"10.1109/ICIT.2012.6210007","DOIUrl":"https://doi.org/10.1109/ICIT.2012.6210007","url":null,"abstract":"This paper presents a tool that automatically generates state spaces of Globally-Asynchronous Locally-Synchronous (GALS) systems modeled through a non-autonomous Petri net class. The underlying class is the Input-Output Place-Transition Petri net (IOPT-nets) class extended with asynchronous channels and time domains. IOPT-nets benefits from an existing tool chain framework, which supports the development of automation and embedded systems, from the specification to implementation (through automatic code generation) in hardware and software platforms. The tool presented in this paper extends the existing tool chain framework, to support the verification of GALS systems. With the generated state space is possible to check the properties of each component of the GALS system and their interactions, allowing the verification of behavioral proprieties of the entire GALS system. The Petri net model of the GALS system is represented in PNML format and translated into a C program, assuring a good execution performance of the tool, even when handling large models (due to the compilation approach). The tool creates and saves the associated state space in an hierarchical XML file, which can be used to support its visualization and proprieties analysis through queries.","PeriodicalId":365141,"journal":{"name":"2012 IEEE International Conference on Industrial Technology","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130941172","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

Periodic output feedback based discrete-time sliding mode control for multivariable systems 基于周期输出反馈的多变量系统离散滑模控制

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6210052

P. S. Lal Priya, B. Bandyopadhyay

引用次数: 8

Automatic tuning of PID type-III control loops via the symmetrical optimum criterion 通过对称最优准则实现PID iii型控制回路的自动整定

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6210050

K. Papadopoulos, E. N. Papastefanaki, N. Margaris

{"title":"Automatic tuning of PID type-III control loops via the symmetrical optimum criterion","authors":"K. Papadopoulos, E. N. Papastefanaki, N. Margaris","doi":"10.1109/ICIT.2012.6210050","DOIUrl":"https://doi.org/10.1109/ICIT.2012.6210050","url":null,"abstract":"The Symmetrical Optimum criterion is extended for the design of PID-type-III control loops. Main advantage of type-III control loops (compared to type-I,~II) is their ability to track fast reference signals since they eliminate higher order errors at steady state (zero steady state position, velocity and acceleration error.) Type-III control loops are characterized by the presence of three pure integrators in the open loop transfer function. The proposed PID control law consists of analytical expressions that can be applied to process models consisting of n poles plus time delay d. The application of the the proposed control law to a large class of processes (model with known transfer function) shows that regardless of the process complexity, the overshoot of the step response of the final closed-loop control system exhibits a certain level. This feature results effortlessly to the automatic tuning of the PID controller's parameters since by exploiting the analytical expressions of the proposed PID control law, controller parameters are tuned such, so that the step response of the control loop exhibits the specific overshoot. For applying the proposed method, an open loop experiment of the process is necessary for starting up the algorithm. The proposed tuning technique assumes that access to the states is impossible as it frequently happens in many industry applications. Simulation results are presented, verifying the current approach.","PeriodicalId":365141,"journal":{"name":"2012 IEEE International Conference on Industrial Technology","volume":"27 9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126064877","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}

引用次数: 4

A network reliability oriented event detection scheme for Wireless Sensors and Actors Networks 一种面向网络可靠性的无线传感器和行动者网络事件检测方案

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6209964

S. Dima, C. Antonopoulos, J. Gialelis, S. Koubias

引用次数: 8

An alternative PI controller design approach for PWM-regulated ac/dc three-phase converters 一种用于pwm调节的交流/直流三相变换器的PI控制器设计方法

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6210060

I. C. Konstantakopoulos, M. K. Bourdoulis, A. Alexandridis

引用次数: 6

Safety monitoring system for a manufacturing workstation using Web Service Technologies 基于Web服务技术的制造工作站安全监控系统

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6210035

P. Karipireddy, A. Vidales, J. Jokinen, J. Lastra

引用次数: 1

A new CAVLC algorithm for higher bit compression by introducing the concept of Position Coding of the coefficients in H.264/AVC 通过引入H.264/AVC中系数位置编码的概念，提出了一种新的CAVLC算法来实现更高的位压缩

2012 IEEE International Conference on Industrial Technology Pub Date : 2012-03-19 DOI: 10.1109/ICIT.2012.6209925

A. Acharyya, S. Kothari, J. Reeve

引用次数: 4