期刊文献+
共找到951篇文章
< 1 2 48 >
每页显示 20 50 100
Angular Position Controller and Its Design Model Verification for the Electro-Hydraulic Servo Control System 被引量:1
1
作者 KARAM M. Elbayomy 《Computer Aided Drafting,Design and Manufacturing》 2007年第1期60-65,共6页
The angular position controller is system (EHSAS) to control the output of the rotary applied to electro-hydraulic servo actuator actuator. It works as a compensator based on the frequency response of the EHSAS. Its... The angular position controller is system (EHSAS) to control the output of the rotary applied to electro-hydraulic servo actuator actuator. It works as a compensator based on the frequency response of the EHSAS. Its design model is verified on the state-space model of EHSAS by using simulation program SIMULINK. Real data used to test the system. Simulation results give a good agreement for the controller and also for the state-space model. 展开更多
关键词 angular position controller electro-hydraulic servo control system design model state-space model SIMULINK
在线阅读 下载PDF
Controller design of uncertain nonlinear systems based on T-S fuzzy model 被引量:1
2
作者 Songtao ZHANG Shizhen BAI 《控制理论与应用(英文版)》 EI 2009年第2期139-143,共5页
A robust control for uncertain nonlinear systems based on T-S fuzzy model is discussed in this paper. First, a T-S fuzzy system is adopted to model the uncertain nonlinear systems. Then, for the system with input vari... A robust control for uncertain nonlinear systems based on T-S fuzzy model is discussed in this paper. First, a T-S fuzzy system is adopted to model the uncertain nonlinear systems. Then, for the system with input variables adopting standard fuzzy partitions, the efficient maximal overlapped-rules group (EMORG) is presented, and a new sufficient condition to check the stability of T-S fuzzy system with uncertainty is derived, which is expressed in terms of Linear Matrix Inequalities. The derived stability condition, which only requires a local common positive definite matrix in each EMORG, can reduce the conservatism and difficulty in existing stability conditions. Finally, a simulation example shows the proposed approach is effective. 展开更多
关键词 controller design Uncertain nonlinear systems T-S fuzzy model
在线阅读 下载PDF
Discrete Event Net Based Modeling and Control System Design for Real-Time Concurrent Control of Multiple Robot Systems
3
作者 Gen’ichi Yasuda 《Intelligent Control and Automation》 2012年第2期132-139,共8页
This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structure... This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structures and their accompanying rules. With the net models, the hierarchical and distributed control system is designed for an assembly task. Synchronization commands allow coordination of the movements of the robots. The net models make concurrency of the movements of the robots transparent to users. The net based machine controller executes robot motion control through the communication with the external robot controller using the command/response concept. Sensory signals indicating the change of state of robots are used to trigger or initiate tasks. Simultaneous movement of the robots is obtained by creating different background threads running in parallel under Windows OS. The multilevel hierarchical control system can be consistently constructed using net models. 展开更多
关键词 MULTIPLE Robot SYSTEMS Concurrent control control SYSTEM design NET models Discrete Event SYSTEMS
暂未订购
Cumulative logit model in the analysis of endometrial cancer under a matched pair case-control design
4
作者 Shyam S. Ganguly 《Open Journal of Epidemiology》 2013年第4期153-159,共7页
Background: Binary as well as polytomous logistic models are widely used for estimating odds ratios when the exposure of prime interest assumes unordered multiple levels under matched pairs case-control design. In our... Background: Binary as well as polytomous logistic models are widely used for estimating odds ratios when the exposure of prime interest assumes unordered multiple levels under matched pairs case-control design. In our previous studies, we have shown that the use of a polytomous logistic model for estimating cumulative odds ratios when the outcome (response) variable is ordinal (in addition to being polytomous) under matched pairs case-control design. The cumulative odds ratios were estimated based on separate fitting of the model at each of the cutpoint level as compared to less than equal to that level. In this paper we propose an alternative method of estimating the cumulative odds ratios and reanalyze the Los Angeles Endometrial Cancer data in the context of dose levels of conjugated oestrogen exposure and development of endometrial cancer under the matched pair case-control design. Methods: In the present study, the cumulative logit model is fitted using a single multinomial logit model for the data. For this, the full maximum likelihood estimation procedure is adopted. A test for equality of the cumulative odds ratios across the exposure levels is proposed. Results: The analysis revealed that there is a strong evidence of risk for developing endometrial cancer due to oestrogen exposure above each of the three dose level as compared to less than equal to that level. The estimated values at the three cutpoint levels were found to be 6.17, 3.60 and 5.16 respectively. Conclusions: The odds of developing endometrial cancer are very high for the users of any amount of oestrogen, even if it is the least dose, as compared to the non-users. 展开更多
关键词 Logistic model Matched PAIRS CASE-control design Odds Ratio ORDINAL Response Regression ANALYSIS
暂未订购
Research on Mechanisms of Steam Breakthrough and Profile Control Design for Steam Soaking Well 被引量:5
5
作者 Liu Huiqing Zhang Hongling +2 位作者 Wang Shulin Wang Han Bao Shucheng 《Petroleum Science》 SCIE CAS CSCD 2006年第3期51-55,共5页
Scaled physical model tests for steam breakthrough were conducted based on the analysis of mechanisms and influence factors of steam breakthrough. Physical simulation results showed that at the initial steam breakthro... Scaled physical model tests for steam breakthrough were conducted based on the analysis of mechanisms and influence factors of steam breakthrough. Physical simulation results showed that at the initial steam breakthrough, preferential flow channels were formed in narrow sand packs and most residual oil left in these channels was immobile. This shortened the steam breakthrough time of follow-up steam flooding and decreased the increment of oil recovery efficiency. Steam breakthrough occurred easily for a smaller producer-injector spacing, and a bigger difference in physical properties between fluids and rock. Steam breakthrough is more likely to occur at a larger formation permeability (k), greater steam displacement velocity (u) and smaller producer-injector spacing (L). Steam breakthrough time is a function of the parameter group (uk/L), i.e. tb=3.2151 (uk/L)^-0.5142. A non piston-like displacement model was built based on steam breakthrough observation for a steam stimulated well in the Jinglou Oilfield, Henan Oilfield Company. The steam volume swept in different directions could be obtained from inter-well permeability capacity and breakthrough angle, and the steam swept pore volume (SSPV) was also determined. Numerical simulation showed that steam sweep efficiency reached its peak value when a slug of profile control agent (slug size 10%-15% SSPV) was set at one half of the inter-well spacing. Field test with 12.5% SSPV of profile control agents in the Jinglou Oilfield achieved success in sealing breakthrough channels and good production performance of adjacent producers. 展开更多
关键词 Heavy oil steam breakthrough scaled physical model profile control optimization design
原文传递
Robust Control Design of Wheeled Inverted Pendulum Assistant Robot 被引量:2
6
作者 Magdi S.Mahmoud Mohammad T.Nasir 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2017年第4期628-638,共11页
This paper examines the design concept and mobile control strategy of the human assistant robot I-PENTAR(inverted pendulum type assistant robot). The motion equation is derived considering the non-holonomic constraint... This paper examines the design concept and mobile control strategy of the human assistant robot I-PENTAR(inverted pendulum type assistant robot). The motion equation is derived considering the non-holonomic constraint of the twowheeled mobile robot. Different optimal control approaches are applied to a linearized model of I-PENTAR. These include linear quadratic regulator(LQR), linear quadratic Gaussian control(LQG), H_2 control and H_∞ control. Simulation is performed for all the approaches yielding good performance results. 展开更多
关键词 I-PENTAR robot linear quadratic regulator(LQR) control design model predictive control(MPC) observerbased feedback control robust H_∞ control
在线阅读 下载PDF
U-model Enhanced Dynamic Control of a Heavy Oil Pyrolysis/Cracking Furnace 被引量:1
7
作者 Quanmin Zhu Dongya Zhao +1 位作者 Shuzhan Zhang Pritesh Narayan 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2018年第2期577-586,共10页
This paper proposes a case study in the control of a heavy oil pyrolysis/cracking furnace with a newly extended U-model based pole placement controller(U-PPC). The major work of the paper includes: 1) establishing a c... This paper proposes a case study in the control of a heavy oil pyrolysis/cracking furnace with a newly extended U-model based pole placement controller(U-PPC). The major work of the paper includes: 1) establishing a control oriented nonlinear dynamic model with Naphtha cracking and thermal dynamics; 2) analysing a U-model(i.e., control oriented prototype) representation of various popular process model sets; 3)designing the new U-PPC to enhance the control performance in pole placement and stabilisation; 4) taking computational bench tests to demonstrate the control system design and performance with a user-friendly step by step procedure. 展开更多
关键词 Index Terms-Computational experiments heavy oil crackingfurnace Kumar molecular dynamics model for Naphtha crack-ing pole placement controller stabilising controller U-model U-model enhanced controller design.
在线阅读 下载PDF
Parameter Identification and Controller Design for the Velocity Loop in Motion Control Systems
8
作者 Reimund Neugebauer Stefan Hofmann +1 位作者 Arvid Hellmich Holger Schlegel 《Intelligent Control and Automation》 2011年第3期251-257,共7页
Today the controller commissioning of industrial used servo drives is usually realized in the frequency domain with the open-loop frequency response. In contrast to that the cascaded system of position loop, velocity ... Today the controller commissioning of industrial used servo drives is usually realized in the frequency domain with the open-loop frequency response. In contrast to that the cascaded system of position loop, velocity loop and current loop, which is standard in industrial motion controllers, is described in literature by using parametric models. Several tuning rules in the time domain are applicable on the basis of these parametric descriptions. In order to benefit from the variety of tuning rules an identification method in the time domain is required. The paper presents a method for the identification of plant parameters in the time domain. The approach is based on the auto relay feedback experiment by ?str?m/ H?gglund and a modified technique of gradual pole compensation. The paper presents the theoretical description as well as the implementtation as an automatic application in the motion control system SIMOTION. The identification results as well as the achievable performance on a test rig with a PI velocity controller will be presented. 展开更多
关键词 Identification PARAMETRIC modelS controlLER design MOTION control
暂未订购
Model Reduction Methods for High-Rise Buildings with Active Mass Damper Control Systems
9
作者 Jun Teng Hou-Bing Xing Cheng-Yin Liu 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2013年第6期37-45,共9页
To improve the performance of an active mass damper control system,the controller should be designed based on a reduced-order model. An improved method based on balanced truncation method was proposed to reduce the di... To improve the performance of an active mass damper control system,the controller should be designed based on a reduced-order model. An improved method based on balanced truncation method was proposed to reduce the dimension of high-rise buildings,and was compared with other widely used reduction methods by using a framework with ten floors. This optimized method has improvement of reduction process and choice of the order. Based on the reduced-order model obtained by the improved method and pole-assignment algorithm,a controller was designed. Finally,a comparative analysis of structural responses,transfer functions,and poles was conducted on an actual high-rise building. The results show the effectiveness of the improved method. 展开更多
关键词 high-rise building active mass damper model reduction controller designCLC number:TU352 Document code:AArticle ID:1005-9113(2013)06-0037-09
在线阅读 下载PDF
ICPA-LQR优化的两轮平衡机器人自稳定与轨迹跟踪PID控制器设计
10
作者 黄鹤 李文龙 +3 位作者 杨澜 王会峰 高涛 陈婷 《哈尔滨工业大学学报》 北大核心 2026年第2期198-210,共13页
针对现有两轮平衡机器人线性二次型调节器(LQR)的权重系数需要手动选取的缺陷,提出了一种利用改进的食肉植物算法(ICPA)优化LQR权重系数的方法,实现了两轮平衡机器人的自稳定与高精度轨迹跟踪。首先,利用拉格朗日方程法构建了两轮平衡... 针对现有两轮平衡机器人线性二次型调节器(LQR)的权重系数需要手动选取的缺陷,提出了一种利用改进的食肉植物算法(ICPA)优化LQR权重系数的方法,实现了两轮平衡机器人的自稳定与高精度轨迹跟踪。首先,利用拉格朗日方程法构建了两轮平衡机器人系统动力学方程,采用LQR优化PID控制策略保证其最优控制力;其次,在食肉植物算法(CPA)成长过程中引入自适应捕捉系数,平衡食肉植物和猎物的成长关系,提升了前期全局探索和后期局部寻优能力;然后,在CPA繁殖过程中设计干扰因子,扩大搜索空间,进一步提升全局寻优能力;最后,基于EA代价函数,利用ICPA对LQR控制器的权重系数进行寻优,并在MATLAB/Simulink环境中建立两轮平衡机器人控制策略模型。实验结果表明,提出的ICPA-LQR优化的PID控制器,相较于食肉植物算法、麻雀搜索算法、飞蛾扑火算法和改进粒子群算法优化的控制器,动态响应速度更快、抗干扰能力更强、整体性能更好。在扰动情况下,控制两轮平衡机器人跟踪复杂轨迹时,倾角动态偏差小于0.05 rad、横纵坐标的偏差均小于0.2 m、转向角偏差小于0.2 rad、车轮位置角偏差小于3 rad,可以在保持动态平衡的前提下精确跟踪给定的参考轨迹,具有较强的泛化能力。 展开更多
关键词 控制器设计 两轮平衡机器人 动力学建模 改进食肉植物算法 轨迹跟踪
在线阅读 下载PDF
风电机组试验平台五自由度电液伺服控制系统设计
11
作者 王甲 张永明 +1 位作者 陈国初 祝慧林 《轴承》 北大核心 2026年第1期50-57,共8页
风电轴承试验平台电液伺服控制系统通常采用PLC,DSP或成熟的信号采集卡与运动控制卡作为电控系统的核心,当需要控制的液压缸数量较多时会存在液压缸之间协同控制比较困难的问题。提出了一种基于Zynq的电液伺服加载控制系统:采用MKZ801F... 风电轴承试验平台电液伺服控制系统通常采用PLC,DSP或成熟的信号采集卡与运动控制卡作为电控系统的核心,当需要控制的液压缸数量较多时会存在液压缸之间协同控制比较困难的问题。提出了一种基于Zynq的电液伺服加载控制系统:采用MKZ801F.14型伺服阀放大器并设计了基于DAC71408芯片的多通道模数转换单元进行CSDM631型射流管电液伺服阀的驱动,解决了六轴同步驱动控制的问题;采用Block Design的方式设计控制系统,对多通道同步数据采集、多通道驱动信号同步发生单元进行了IP核设计;通过AMESim与Simulink联合仿真验证后,采用基于模型设计的方法进行自动代码生成并设计了API接口以配合多通道模数/数模单元的IP核,实现了复杂控制算法以及载荷模型的快速部署验证。试验结果表明,基于Zynq的电液伺服控制系统能够满足风电轴承试验平台5个自由度的电控要求。 展开更多
关键词 滚动轴承 风力发电机组 伺服控制系统 模型设计 多通道 数模转换
在线阅读 下载PDF
面向异形结构的共形点阵变密度调控设计方法
12
作者 罗玮 冯少军 +3 位作者 郝鹏 霍泽凯 高勇 焦世坤 《应用数学和力学》 北大核心 2026年第1期1-14,共14页
针对异形承载结构中存在的共形点阵建模填充复杂、大规模单胞导致设计变量激增、优化困难的问题,提出了一种基于函数描述的共形点阵变密度调控设计方法.通过发展基于网格变形的共形点阵参数化建模方法,可实现异形结构的点阵快速填充;进... 针对异形承载结构中存在的共形点阵建模填充复杂、大规模单胞导致设计变量激增、优化困难的问题,提出了一种基于函数描述的共形点阵变密度调控设计方法.通过发展基于网格变形的共形点阵参数化建模方法,可实现异形结构的点阵快速填充;进一步提出了基于分段三次Hermite插值多项式的点阵单胞尺寸调控方法和基于代理模型的点阵杆径调控方法,可实现点阵的精细调控和设计变量降维;在此基础上,建立了基于自适应更新动态代理模型的点阵结构优化设计框架,实现了点阵调控参数的快速优化设计.通过两个工程算例开展了算例验证,包括火箭有效载荷适配器应变能优化、飞行器异形承载舱段结构屈曲优化,综合计算结果表明了所提方法对于不同问题的有效性. 展开更多
关键词 异形结构点阵填充 共形点阵建模 变密度调控设计 代理模型优化
在线阅读 下载PDF
深地井巷软弱破碎围岩失效机理与稳定性控制技术研究
13
作者 肖磊 孙思赞 +6 位作者 龙向前 王光才 张发宇 杜佳辉 邵宗煌 董文麒 申岳龙 《有色金属(矿山部分)》 2026年第1期64-76,共13页
针对深部开采中高应力软弱破碎围岩稳定性控制的重大技术难题,本研究以云南某埋深达1500 m的铅锌矿巷道工程为研究对象,通过现场监测与FLAC3D数值模拟相结合的方法,系统揭示了深地井巷围岩的失效机理。研究确认了高地应力挤压变形、结... 针对深部开采中高应力软弱破碎围岩稳定性控制的重大技术难题,本研究以云南某埋深达1500 m的铅锌矿巷道工程为研究对象,通过现场监测与FLAC3D数值模拟相结合的方法,系统揭示了深地井巷围岩的失效机理。研究确认了高地应力挤压变形、结构面控制的块体失稳、节理裂隙主导的顶板楔形体冒落和软岩持续流变大变形等多种典型破坏模式。结果表明,巷道塑性区深度(0.86~2.85 m)受断面尺寸、地应力水平及地层特性的显著影响,其中最大主应力方向与节理面夹角是控制非对称变形的关键因素。针对管缝式锚杆在破碎围岩中因节理分布与蠕变效应导致的长期锚固力衰减问题,提出“分级协同支护”技术体系:对高应力硬岩段采用“螺纹钢树脂锚杆+钢筋网+喷射混凝土”主动支护;软弱破碎段采用“管缝式锚杆+钢拱架+反底拱”复合支护,并辅以长锚索强化关键结构面。创新性提出动态设计原则,强调支护参数需结合实时监测数据与围岩响应动态优化。工程实践验证该技术可有效控制围岩变形,为深部资源安全开采提供了理论依据与关键技术路径。 展开更多
关键词 软弱破碎围岩 数值模拟 分级支护 稳定性控制 动态设计
在线阅读 下载PDF
A Time-Domain Electromagnetic Transmitter with Great Power and Large Current by Using a Closed-Loop Phase Shifting Control Strategy 被引量:2
14
作者 HUANG Jiangbo FU Wei +1 位作者 FU Zhihong HE Renqi 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2018年第5期447-453,共7页
A time-domain electromagnetic transmitter(TDET) with great power and large current was designed by using a closed-loop phase shifting control strategy. A clamping voltage source circuit was applied in this system to... A time-domain electromagnetic transmitter(TDET) with great power and large current was designed by using a closed-loop phase shifting control strategy. A clamping voltage source circuit was applied in this system to improve the falling edge of emission current and shorten the turn-off time. The simulated results showed that this TDET exhibited the advantages including a large current, strong capability for rapid turn-off, stably output voltage, preferably dynamic performance, a widely adjustable range in transmitting voltage, accurate measurement precision. 展开更多
关键词 time-domain electromagnetic transmitter (TDET) control strategy model design dynamic performance clampingvoltage
原文传递
Comparison of generalized engine control and MPC based on maximum principle 被引量:1
15
作者 Akira OHATA 《Control Theory and Technology》 EI CSCD 2017年第2期150-157,共8页
Automotive engine control has been continuously improved due to the strong demands from the society and the market since introducing electronic controls but not always following control theories. Therefore, it is not ... Automotive engine control has been continuously improved due to the strong demands from the society and the market since introducing electronic controls but not always following control theories. Therefore, it is not easy for researchers from academia and even engineers from the automotive industry to grasp the whole aspect of engine control. To encounter the issue, important features of engine control are extracted and generalized from the standpoint of control engineering. Comparisons of the control and model predictive control (MPC) showed an outstanding performance of the control generalized from engine controls and how to apply MPC in the framework. 展开更多
关键词 Automotive engine history of engine control control design input constraints time delay model predictive control
原文传递
Design & Reality of CAD/CAM in Laser Beam Scanning Manufacturing System
16
作者 SUN Jianjun SUN Huilai ZHAO Fangfang LIN Shuzhong QI Xiangyang School of Mechanical & Electronic Engineering,Tianjin Polytechnic University,TianJin 300160,China, 《武汉理工大学学报》 CAS CSCD 北大核心 2006年第S3期847-849,共3页
In laser beam scanning manufacturing(LSM)system the PLT file was adopted as design file.The data of de- sign file were processed by CAD software programmed.And the control model was adopted DEA control model.The DEA m... In laser beam scanning manufacturing(LSM)system the PLT file was adopted as design file.The data of de- sign file were processed by CAD software programmed.And the control model was adopted DEA control model.The DEA model was concerned with not only the distance of the two swaying mirrors,the distance between the swaying mirror and convex lens,the mirror swaying angle and the lens focal length but also the lens central height,the lens convex radius and the medium refractive in- dex.It improved the precision and reduced the error in LBM system.The application of CAD/CAM system in LSM improved the LSM manufacturing velocity and manufacturing quality. 展开更多
关键词 LSM CAD/CAM control mode DEA model design
在线阅读 下载PDF
A New Approach to Robust and Fault Tolerant Control 被引量:6
17
作者 KeminZhou 《自动化学报》 EI CSCD 北大核心 2005年第1期43-55,共13页
In this paper, we shall summarize a new approach to robust and fault tolerant control proposed recently by the author. This approach is based on a variation of all controller parametrization. This robust and fault-tol... In this paper, we shall summarize a new approach to robust and fault tolerant control proposed recently by the author. This approach is based on a variation of all controller parametrization. This robust and fault-tolerant control design consists of two parts: a nominal performance controller and a robustness controller, and works in such a way that when a component (sensor,actuator, etc.) failure is detected, the controller structure is reconfigured by adding a robustness loop to compensate the fault. We shall illustrate how this strategy works under various situations. 展开更多
关键词 强度 加强性能 设计折衷方案 容错法控制 通用内部模型控制 参数
在线阅读 下载PDF
Time-triggered State-machine Reliable Software Architecture for Micro Turbine Engine Control 被引量:2
18
作者 ZHANG Qi XU Guoqiang DING Shuiting 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2012年第6期839-845,共7页
Time-triggered (TT) embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine (FSM) design method is widely used for its high efficiency and predictable behav... Time-triggered (TT) embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine (FSM) design method is widely used for its high efficiency and predictable behavior. In this paper, the time-triggered and state-machine combination software architecture is implemented for a 25 kg thrust micro turbine engine (MTE) used for unmanned aerial vehicle (UAV) system; also model-based-design development workflow for airworthiness software directive DO-178B is utilized. Experimental results show that time-triggered state-machine software architecture and development method could shorten the system development time, reduce the system test cost and make the turbine engine easily comply with the airworthiness rules. 展开更多
关键词 airworthiness time-triggered finite-state-machine model-based-design turbine engine control
原文传递
基于大数据驱动的激光器网络相位时空同步控制研究
19
作者 何中胜 王伟 《激光杂志》 北大核心 2025年第5期178-183,共6页
激光器网络在运行过程中,常受外界环境因素的干扰,这些干扰易导致激光器的相位发生位移,进而引发数据传输的不稳定性,严重制约了激光器网络通信的质量和数据传输的可靠性。为此,提出基于大数据驱动的激光器网络相位时空同步控制方法。首... 激光器网络在运行过程中,常受外界环境因素的干扰,这些干扰易导致激光器的相位发生位移,进而引发数据传输的不稳定性,严重制约了激光器网络通信的质量和数据传输的可靠性。为此,提出基于大数据驱动的激光器网络相位时空同步控制方法。首先,构建激光器网络结构,深入分析了网络中激光器相位时空同步的特性及其影响因素。然后,以这些影响因素作为约束条件,设计相位同步控制方法。该方法的核心在于利用大数据驱动技术对控制模型中的不确定参数进行优化,从而确保相位同步的精确性和稳定性。实验结果表明,该控制方法能够精确检测相位误差,并将其降至0,极大地提升了激光器网络的通信质量和性能。 展开更多
关键词 大数据驱动方法 激光器网络 相位误差 相位时空同步 控制模型设计
原文传递
Progressive events in supervisory control and compositional verification
20
作者 Simon Ware Robi Malik 《Control Theory and Technology》 EI CSCD 2014年第3期317-329,共13页
This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives u... This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification. 展开更多
关键词 model validation in design methods controller constraints and structure Computational issues
原文传递
上一页 1 2 48 下一页 到第
使用帮助 返回顶部