检索结果-内蒙古大学图书馆

作者： Böling, Jari M. Seborg, Dale E. Hespanha, João P. Process Control Laboratory Åbo Akademi University Finland Department of Chemical Engineering University of California Santa Barbara United States Department of Electrical and Computer Engineering University of California Santa Barbara United States

ISBN: (纸本)008045108X

A multi-model PID controller is developed and evaluated in a simulation study for a nonlinear pH neutralization process. The performance and robustness characteristics of the multi-model controller are compared to those for conventional PID controllers and an alternative "multi-model interpolation" controller. Copyright © 2005 IFAC.

关键词： Three term control systems

来源：评论

学校读者我要写书评

暂无评论

Abstraction and counterexample-guided refinement in model checking of hybrid systems

引用

International Journal of Foundations of computer Science 2003年第4期14卷 583-604页

作者： Clarke, Edmund Fehnker, Ansgar Han, Zhi Krogh, Bruce Ouaknine, Joël Stursberg, Olaf Theobald, Michael Computer Science Department Carnegie Mellon University Pittsburgh PA 15213 United States Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA 15213 United States Process Control Lab (CT-AST) University of Dortmund 44221 Dortmund Germany

Hybrid dynamic systems include both continuous and discrete state variables. Properties of hybrid systems, which have an infinite state space, can often be verified using ordinary model checking together with a finite-state abstraction. Model checking can be inconclusive, however, in which case the abstraction must be refined. This paper presents a new procedure to perform this refinement operation for abstractions of hybrid systems. Following an approach originally developed for finite-state systems [11, 25], the refinement procedure constructs a new abstraction that eliminates a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires the computation of sets of reachable states in the continuous state space. We show how such reachability computations with varying degrees of complexity can be used to refine hybrid system abstractions efficiently. Examples illustrate our counterexample-guided refinement procedure. Experimental results for a prototype implementation indicate significant advantages over existing methods. © 2003 World Scientific Publishing Company.

关键词： Abstraction hybrid systems infinite-state systems model checking refinement verification

来源：评论

学校读者我要写书评

暂无评论

A Unified Software and Hardware Distributed Approach for the CAM/CIM Environment with the Occam/Transputer Model

引用

IFAC Proceedings Volumes 1987年第5期20卷 33-38页

作者： Ch. Tassakos K.W. Plessmann Department of Computer Application and Process Control of Aachen Technical University Steinhcichstr 54A 5100 Aachen FRG

The active involvement of the computer in the manufacturing process and the control of production is the basis for computer-aided manufacturing (CAM). Technological development has opened the way to more flexible shoofloor automation. The key for the successful introduction of the computer integrated manufacturing concepts (CIM) is the ability to react fast and flexible to all new demands from the market side. In this paper we discuss a method based on the OCCAM/Transputer parallel approach to deal with at least a part of the complex demands on the structure and operation of the manufacturing environment. We use the concept of decomposing a complex system into a number of sub-systems which react with each other. The whole system is decomposed twice: horizontally into a number of functionally equivalent subparts and vertically into various levels of abstraction, all within the unified OCCAM model. The result is a hierarchical net structure which consists of local intelligent islands at various logical levels, which autonomously work in parallel and interact with the components of the adjacent logical levels. Subject area: 4.1 Digital computer control Systems, 8.1 Automatic control in Manufacturing.

关键词： Hardware Software Microcomputers System Design Specification OCCAM 2 and Transputer Distributed control Parallel processing FMS/CAM control System

来源：评论

学校读者我要写书评

暂无评论

Discrete event model structure identification using process mining

Discrete event model structure identification using process ...

引用

31st IASTED International Conference on Modelling, Identification, and control, MIC 2011

作者： Werner-Stark, Agnes Gerzson, Miklós Hangos, Katalin M. Department of Electrical Engineering and Information Systems University of Pannonia Egyetemstr. 10 Veszprém Hungary Process Control Research Group Computer and Automation Research Institute HAS Budapest Hungary

ISBN: (纸本)9780889868632

A novel structure identification procedure for discrete event systems described by Petri nets are proposed in this paper for model-based diagnostic purposes that utilize the notions and tools of process mining. The identification of the structurally different discrete event system models describing a system in its normal and/or faulty modes was used for model-based isolation of the considered faulty modes. From the available process mining techniques that allow for the automatic construction of process models in Petri net form based on event logs, the genetic algorithm-based structure identification procedure has been found to be most capable of identifying the characteristic structural elements of the faulty models. The proposed procedures are illustrated on a simple example of an operated parking gate automaton with two faulty modes.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Functional inequalities characterizing the frank family of copulas

Functional inequalities characterizing the frank family of c...

引用

作者： De Meyer, Hans De Baets, Bernard Department of Applied Mathematics and Computer Science Ghent University B-9000 Gent Belgium Department of Applied Mathematics Biometrics and Process Control Ghent University B-9000 Gent Belgium

ISBN: (纸本)9783642147456

Given a random vector with components that are pairwisely coupled by means of a same commutative copula C, we analyze the transitivity of the reciprocal relation obtained from the pairwise comparison of these components. The transitivity of this reciprocal relation can be elegantly described within the cycle-transitivity framework if the commutative copula C satisfies a countably infinite family of (functional) inequalities. Each functional inequality uniquely characterizes the Frank family of copulas. Finally, we highlight the transitivity results for a random vector whose coupling structure is captured by an extended Frank m-copula. © 2010 Springer-Verlag Berlin Heidelberg.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Robust Decentralized control of Interconnected Nonlinear Systems Subject to Uncertainties and Disturbances via Generalized Extended State Observers 34

Robust Decentralized Control of Interconnected Nonlinear Sys...

引用

第三十四届中国控制会议

作者： ZHANG Chuanlin YANG ning HE Shuaipeng JIA Ruting Shanghai Engineering Research Center of Intelligent Management and Control for Power Process College of Automation EngineeringShanghai University of Electric Power Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education Southeast University Electrical and Computer Engineering Department California State University

ISBN: (纸本)9789881563897

This paper studies the problem of robust decentralized control for a class of large-scale interconnected systems subject to uncertainties and disturbances via a generalized active disturbance rejection control method. First, a novel extended state observer(ESO) is constructed separately for each subsystem with less dependence of the precise system information and structure. Second, an explicit formula of the decentralized active disturbance rejection control(DADRC) law is presented by utilizing the output feedback domination approach. It is shown that by a delicate analysis procedure, the closed-loop system can be rendered semi-globally asymptotically stable only using decentralized output feedback anti-disturbance controller. Numerical simulations show the efficiency of the proposed method.

关键词： output feedback control global stabilization disturbance rejection control extended state observer

来源：评论

学校读者我要写书评

暂无评论

Optimizing Thermo-Electric Generation with Quasi-Z-Source Converter in Energy Harvesting for Wearable Devices 3

Optimizing Thermo-Electric Generation with Quasi-Z-Source Co...

引用

3rd International Conference on Mechatronics and Automation Technology, ICMAT 2024

作者： Lotfy, Mostafa Wageh Hussein, Aziza I. Dept. of Process Control Technology Faculty of Technology and Education Beni-Suef University Beni-Suef Egypt Electrical and Computer Engineering Department College of Engineering Effat University Jeddah Saudi Arabia

ISBN: (纸本)9781643685649

Recent advances in semiconductors industry and microelectronics have created new opportunities for integrating various technologies in energy harvesting projects. These advancements have simplified the process of capturing energy from different sources, such as thermal energy, and converting it into electrical power. Thermo-Electric Generators (TEGs) are commonly used in many applications such as wearable devices. However Thermo-Electric Generators produce very low output voltages, which is insufficient for most low-power electronic circuits to operate. Therefore, a boost converter is essential to step up the voltage output from the TEG to a usable level. In this paper, a DC-DC converter with a high performance in terms of voltage gain is implemented. The proposed quasi-Z-source (q-ZSC) DC-DC converter not only offers high voltage gain but also several significant advantages. The proposed q-ZSC is capable of both boosting and regulating the voltage output efficiently, even under variable input conditions, making it highly suitable for low-power energy harvesting systems such as Thermo-Electric Generators. The design is simulated using MATLAB Simulink software, focusing on integrated circuits, with a strong emphasis on optimizing the circuit's efficiency. This work underscores critical factors in improving energy harvesting circuits, enhancing their performance and effectiveness in low-power applications for wearable technology. © 2024 The Authors.

关键词： DC generator motors

来源：评论

学校读者我要写书评

暂无评论

On Robust Stability of Limit Cycles for Hybrid Systems with Multiple Jumps

On Robust Stability of Limit Cycles for Hybrid Systems with ...

引用

作者： Lou, Xuyang Li, Yuchun Sanfelice, Ricardo G. Key Laboratory of Advanced Process Control for Light Industry Ministry of Education Jiangnan University Wuxi214122 China Department of Computer Engineering University of California Santa CruzCA95064 United States

In this paper, we address stability and robustness properties of hybrid limit cycles for a class of hybrid systems with multiple jumps in one period. The main results entail equivalent characterizations of stability of hybrid limit cycles for hybrid systems. The hybrid limit cycles may have multiple jumps in one period and the jumps are allowed to occur on sets. Conditions guaranteeing robustness of hybrid limit cycles are also presented. © 2015, IFAC (International Federation of Automatic control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic modeling and model analysis of a large industrial synchronous generator

Dynamic modeling and model analysis of a large industrial sy...

引用

作者： Fodor, Attila Magyar, Attila Hangos, Katalin M. Department of Electrical Engineering and Information Systems University of Pannonia 8200 Veszprém Hungary Process Control Research Group Computer and Automation Research Institute HAS Budapest Hungary

ISBN: (纸本)9788070438657

A simple dynamic model of an industrial size synchronous generator operating in a nuclear power plant is developed in this paper based on first engineering principles. The constructed state-space model consists of a nonlinear state equation and a bi-linear output equation. It has been shown that the model is locally asymptotically stable with parameters obtained from the literature for a similar generator. The effect of load disturbances on the partially controlled generator has been analyzed by simulation using a traditional PI controller. It has been found that the controlled system is stable and can follow the set-point changes in the effective power well. The disturbance rejection of the controller is also satisfactory.

关键词： Disturbance rejection

来源：评论

学校读者我要写书评

暂无评论

Quadratic stability of process systems in generalized Lotka-Volterra form 6

Quadratic stability of process systems in generalized Lotka-...

引用

6th IFAC Symposium on Nonlinear control Systems, NOLCOS 2004

作者： Magyar, A. Szederkényi, G. Hangos, K.M. Process Control Research Group Systems and Control Laboratory Computer and Automation Research Institute HAS P.O. Box 63 BudapestH-1518 Hungary Department of Computer Science University of Veszprém Egyetem u. 10 VeszpremH-8200 Hungary

The global and local stability of process systems in generalized Lotka-Volterra form is studied in this paper using entropy-like and quadratic Lyapunov function candidates. The global stability check for LV models is performed by solving an LMI for a diagonal positive semi-definite matrix using singular perturbation technique. It is shown that a quadratic Lyapunov function can also be determined by solving linear matrix inequalities (LMIs). In addition, the quadratic stability neighborhood is convex in the space of the quasi-monomials and can be estimated by computing its comer points using LMIs. Furthermore, it is proved that quadratic stability with a diagonal weighting matrix enables to construct adissipative-Hamiltonian description of the system. The developed methods are illustrated on the model of a continuously stirred tank reactor with a nonlinear reaction system. Copyright © 2004 IFAC.

关键词： Linear matrix inequalities

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：