首页 > 最新文献

2012 10th International Conference on Frontiers of Information Technology最新文献

英文 中文
Passivity-Based Sliding Mode Control of Neutral Singular Uncertain Systems with Time Varying Delays and Bounded Matched Disturbances 具有有界匹配扰动的中立奇异不确定系统的无源滑模控制
Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.63
S. Farooq, Abdul Qayyum Khan, M. Abid, A. A. Khattak
In this paper, we propose the Sliding Mode Control (SMC) for a class of uncertain singular Neutral Time Delay Systems (NTDS) with time varying delays. An integral type sliding manifold is selected by considering the singular matrix. Delay dependent sufficient conditions are derived in terms of Linear Matrix Inequalities (LMIs) for robust passivity of sliding mode dynamics. The system is assumed to have unmatched norm bounded uncertainties in system parameters and matched bounded external disturbances and uncertainties due to unmodeled dynamics. The regularization and removal of impulsive solutions have been considered. The problem of feedback passification of unstable systems is solved and robust controller with memory is synthesized that ensures the passivity of sliding mode dynamics. An SMC law is established that guarantees the reach ability of states to sliding surface in a finite time. The derived results are validated by a numerical example at the end.
本文提出了一类具有时变时滞的不确定奇异中立型时滞系统的滑模控制方法。考虑奇异矩阵,选择了一种积分型滑动流形。利用线性矩阵不等式导出了滑模动力学鲁棒无源性的时滞相关充分条件。假设系统参数具有不匹配的范数有界不确定性和匹配的有界外部扰动和未建模的动力学不确定性。考虑了脉冲解的正则化和去除。解决了不稳定系统的反馈钝化问题,合成了具有记忆的鲁棒控制器,保证了滑模动力学的无源性。建立了保证状态在有限时间内到达滑动面能力的SMC律。最后通过数值算例对所得结果进行了验证。
{"title":"Passivity-Based Sliding Mode Control of Neutral Singular Uncertain Systems with Time Varying Delays and Bounded Matched Disturbances","authors":"S. Farooq, Abdul Qayyum Khan, M. Abid, A. A. Khattak","doi":"10.1109/FIT.2012.63","DOIUrl":"https://doi.org/10.1109/FIT.2012.63","url":null,"abstract":"In this paper, we propose the Sliding Mode Control (SMC) for a class of uncertain singular Neutral Time Delay Systems (NTDS) with time varying delays. An integral type sliding manifold is selected by considering the singular matrix. Delay dependent sufficient conditions are derived in terms of Linear Matrix Inequalities (LMIs) for robust passivity of sliding mode dynamics. The system is assumed to have unmatched norm bounded uncertainties in system parameters and matched bounded external disturbances and uncertainties due to unmodeled dynamics. The regularization and removal of impulsive solutions have been considered. The problem of feedback passification of unstable systems is solved and robust controller with memory is synthesized that ensures the passivity of sliding mode dynamics. An SMC law is established that guarantees the reach ability of states to sliding surface in a finite time. The derived results are validated by a numerical example at the end.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131672569","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
On the Formal Semantics of MiniMaple and its Specification Language 论minimapple的形式语义及其规范语言
Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.38
M. Khan
In this paper, we give a definition of the formal (denotational) semantics of MiniMaple (a substantial subset of a widely used computer algebra system Maple with slight modifications) and its specification language. Defining the formal semantics of MiniMaple and its specification language is rather a challenging task as these support non-standard types of objects, e.g. symbols, unions and polynomials, and additional predicates and functions, e.g. runtime type tests etc. Furthermore, the specification language also supports logical and sequence quantifiers and numeric quantifiers with a logical condition (property) to quantify a filtered range of values. This semantics is defined as a pre-requisite of a verification calculus which we are currently developing. The verification conditions generated by the verification calculus must be sound w.r.t. defined formal semantics.
在本文中,我们给出了minimapple(一个广泛使用的计算机代数系统Maple的实质性子集,稍加修改)的形式(指称)语义及其规范语言的定义。定义minimapple及其规范语言的形式语义是一项相当具有挑战性的任务,因为它们支持非标准类型的对象,例如符号、联合和多项式,以及额外的谓词和函数,例如运行时类型测试等。此外,规范语言还支持逻辑和序列量词以及带有逻辑条件(属性)的数字量词,以量化经过筛选的值范围。这个语义被定义为我们目前正在开发的验证演算的先决条件。由验证演算生成的验证条件必须是可靠的w.r.t.定义的形式语义。
{"title":"On the Formal Semantics of MiniMaple and its Specification Language","authors":"M. Khan","doi":"10.1109/FIT.2012.38","DOIUrl":"https://doi.org/10.1109/FIT.2012.38","url":null,"abstract":"In this paper, we give a definition of the formal (denotational) semantics of MiniMaple (a substantial subset of a widely used computer algebra system Maple with slight modifications) and its specification language. Defining the formal semantics of MiniMaple and its specification language is rather a challenging task as these support non-standard types of objects, e.g. symbols, unions and polynomials, and additional predicates and functions, e.g. runtime type tests etc. Furthermore, the specification language also supports logical and sequence quantifiers and numeric quantifiers with a logical condition (property) to quantify a filtered range of values. This semantics is defined as a pre-requisite of a verification calculus which we are currently developing. The verification conditions generated by the verification calculus must be sound w.r.t. defined formal semantics.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129961787","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
Packet Handling and Quality Shaping for Real-Time Services in Futuristic Internet 面向未来互联网实时服务的数据包处理和质量塑造
L. A. Rønningen, Ameen Chilwan
Distributed Media Plays (DMP) is a futuristic architecture for the Internet. It is specifically designed keeping in mind that a number of futuristic Internet services have real-time constraints, particularly the end-to-end delay has to be less than 20 ms. These constraints need to be fulfilled by the network and the current RTP/UDP/IP protocol stack is found to be limited in this regard. Thus an alternative network architecture is proposed and being developed with special, although compatible with IPv6, packets. The handling of these packets in DMP network is explained in this paper. The foundation of DMP system is laid on the quality requirements of the futuristic Internet services. Therefore, one of the features of DMP is that the content quality is gracefully degraded in case the network is overloaded and the traffic injection has to be reduced. This is provided by introducing a scheme for ``Quality Shaping'' which is explained in detail in this paper. Also a new ``Link Flow Control (LFC)'' functionality is introduced in DMP architecture to enhance quality control of contents, which is also explained herein. The LFC functionality helps the DMP network nodes to have an overview of the capacity bottlenecks in the network and hence adjust the traffic flow accordingly.
分布式媒体播放(DMP)是一种面向互联网的未来架构。它是专门设计的,考虑到许多未来的互联网服务具有实时限制,特别是端到端延迟必须小于20毫秒。这些约束需要由网络来满足,而当前的RTP/UDP/IP协议栈在这方面被发现是有限的。因此,一种替代的网络架构被提出并正在开发,尽管与IPv6兼容,但具有特殊的数据包。本文阐述了DMP网络中对这些数据包的处理方法。DMP系统的基础是未来互联网服务的质量要求。因此,DMP的特点之一是,在网络过载的情况下,可以优雅地降低内容质量,减少流量注入。这是通过引入一种“质量成形”方案来实现的,本文对此进行了详细的说明。此外,在DMP架构中引入了新的“链接流控制(LFC)”功能,以加强内容的质量控制,本文也对此进行了说明。LFC功能可以帮助DMP网络节点了解网络中的容量瓶颈,从而相应地调整流量流。
{"title":"Packet Handling and Quality Shaping for Real-Time Services in Futuristic Internet","authors":"L. A. Rønningen, Ameen Chilwan","doi":"10.1109/FIT.2012.9","DOIUrl":"https://doi.org/10.1109/FIT.2012.9","url":null,"abstract":"Distributed Media Plays (DMP) is a futuristic architecture for the Internet. It is specifically designed keeping in mind that a number of futuristic Internet services have real-time constraints, particularly the end-to-end delay has to be less than 20 ms. These constraints need to be fulfilled by the network and the current RTP/UDP/IP protocol stack is found to be limited in this regard. Thus an alternative network architecture is proposed and being developed with special, although compatible with IPv6, packets. The handling of these packets in DMP network is explained in this paper. The foundation of DMP system is laid on the quality requirements of the futuristic Internet services. Therefore, one of the features of DMP is that the content quality is gracefully degraded in case the network is overloaded and the traffic injection has to be reduced. This is provided by introducing a scheme for ``Quality Shaping'' which is explained in detail in this paper. Also a new ``Link Flow Control (LFC)'' functionality is introduced in DMP architecture to enhance quality control of contents, which is also explained herein. The LFC functionality helps the DMP network nodes to have an overview of the capacity bottlenecks in the network and hence adjust the traffic flow accordingly.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132989815","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
Low Complexity Bidirectional Equalization of Doubly Selective Channel Using BEM 基于边界元法的低复杂度双选择信道双向均衡
Pub Date : 2012-12-01 DOI: 10.1109/FIT.2012.49
M. Javed, Hamza Dar, Maaz Iftikhar, M. Qaisrani
Low complexity equalization of doubly selective channels is motivated for real time processing of received signals to establish duplex communications. Bi-directional equalization can improve the bit error rate performance. Bi-directional equalizer performs two equalizations, one on received block of information and other on its time reversed version. This can result in an increased complexity. The time varying nature of the doubly selective channel is also a cause for concern, from the perspective of computational complexity. Several low complexity equalization techniques for doubly selective channels have been reported in the literature. This work studies low complexity bi-directional equalization of doubly selective channels. The proposed scheme of bi-directional equalization offers low computational complexity in comparison with existing low complexity approaches of equalization of doubly dispersive channel.
双选择信道的低复杂度均衡是实时处理接收信号以建立双工通信的动机。双向均衡可以提高误码率性能。双向均衡器执行两个均衡,一个对接收到的信息块,另一个对其时间反转版本。这可能导致复杂性的增加。从计算复杂性的角度来看,双选择信道的时变性质也是一个值得关注的问题。文献中已经报道了几种用于双选择性信道的低复杂度均衡技术。本文研究了双选择信道的低复杂度双向均衡。与现有的低复杂度双色散信道均衡方法相比,本文提出的双向均衡方案具有较低的计算复杂度。
{"title":"Low Complexity Bidirectional Equalization of Doubly Selective Channel Using BEM","authors":"M. Javed, Hamza Dar, Maaz Iftikhar, M. Qaisrani","doi":"10.1109/FIT.2012.49","DOIUrl":"https://doi.org/10.1109/FIT.2012.49","url":null,"abstract":"Low complexity equalization of doubly selective channels is motivated for real time processing of received signals to establish duplex communications. Bi-directional equalization can improve the bit error rate performance. Bi-directional equalizer performs two equalizations, one on received block of information and other on its time reversed version. This can result in an increased complexity. The time varying nature of the doubly selective channel is also a cause for concern, from the perspective of computational complexity. Several low complexity equalization techniques for doubly selective channels have been reported in the literature. This work studies low complexity bi-directional equalization of doubly selective channels. The proposed scheme of bi-directional equalization offers low computational complexity in comparison with existing low complexity approaches of equalization of doubly dispersive channel.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122160279","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
Regional System Identification and Computer Based Switchable Control of a Nonlinear Hot Air Blower System 非线性热风系统的区域系统辨识与计算机切换控制
Pub Date : 2012-06-22 DOI: 10.1109/FIT.2012.26
I. Hussain, M. Riaz, M. Rehan, Shakeel Ahmed
This paper describes the design and implementation of linear controllers with a switching condition for a nonlinear hot air blower system (HABS) process trainer PT326. The system is interfaced with a computer through a USB based data acquisition module and interfacing circuitry. A calibration equation is implemented through computer in order to convert the amplified output of the sensor to temperature. Overall plant is nonlinear, therefore, system identification is performed in three different regions depending upon the plant input. For these three regions, three linear controllers are designed with closed-loop system having small rise time, settling time and overshoot. Switching of controllers is based on regions defined by plant input. In order to avoid the effect of discontinuity, due to switching of linear controllers, parameters of all linear controllers are taken closer to each other. Finally, discretized controllers along with switching condition are implemented for the plant through computer and practical results are demonstrated.
本文介绍了非线性热鼓风机系统(HABS)过程训练器PT326的带开关条件线性控制器的设计与实现。该系统通过基于USB的数据采集模块和接口电路与计算机接口。为了将传感器的放大输出转换为温度,通过计算机实现了校准方程。整个系统是非线性的,因此,系统识别是在三个不同的区域进行的,这取决于系统输入。针对这三个区域,设计了三个线性控制器,具有小上升时间、小稳定时间和小超调量的闭环系统。控制器的切换是基于由植物输入定义的区域。为了避免由于线性控制器的切换而产生的不连续影响,所有线性控制器的参数都取得更接近。最后,通过计算机实现了带有开关条件的离散控制器,并对实际结果进行了验证。
{"title":"Regional System Identification and Computer Based Switchable Control of a Nonlinear Hot Air Blower System","authors":"I. Hussain, M. Riaz, M. Rehan, Shakeel Ahmed","doi":"10.1109/FIT.2012.26","DOIUrl":"https://doi.org/10.1109/FIT.2012.26","url":null,"abstract":"This paper describes the design and implementation of linear controllers with a switching condition for a nonlinear hot air blower system (HABS) process trainer PT326. The system is interfaced with a computer through a USB based data acquisition module and interfacing circuitry. A calibration equation is implemented through computer in order to convert the amplified output of the sensor to temperature. Overall plant is nonlinear, therefore, system identification is performed in three different regions depending upon the plant input. For these three regions, three linear controllers are designed with closed-loop system having small rise time, settling time and overshoot. Switching of controllers is based on regions defined by plant input. In order to avoid the effect of discontinuity, due to switching of linear controllers, parameters of all linear controllers are taken closer to each other. Finally, discretized controllers along with switching condition are implemented for the plant through computer and practical results are demonstrated.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"27 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125106277","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
期刊
2012 10th International Conference on Frontiers of Information Technology
全部 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