Supervisory control based on Petri Nets (PNs) or Colored Petri Nets (CPNs) model of the plant leads to supervisors which can be PN/CPN themselves (compiled supervisors) or simply a set of logical predicates (interpret...
详细信息
Supervisory control based on Petri Nets (PNs) or Colored Petri Nets (CPNs) model of the plant leads to supervisors which can be PN/CPN themselves (compiled supervisors) or simply a set of logical predicates (interpreted supervisors). There is a lack of simulation and analysis tools that can be used in both cases and can support the development of supervisors. In this paper PNetLab is presented, a simulation and analysis tool developed by the Automatic control Group of the University of Salerno. It allows drawing of a PN/CPN model by a graphical user interface and the definition of the supervisor as a PN/CPN or as a standard C/C + + program implementing logical predicates. Functionalities to analyze the closed-loop model with all kinds of supervisors (PN/CPN/logical predicates) are available (token game and coverability tree) as well as standard functionalities when both the plant and the controller are PNs (P-invariants, T-invariants, minimal siphons and traps computation). In addition, PNetLab includes management of time (plant modelled by timed PNs/CPNs) and conflict management so as to permit testing of scheduling strategies together with the supervisor as required in performance optimization problems. Finally, the tool's simulation engine can be linked from an external program allowing look-ahead supervisory techniques. The tool is available free of charge for interested readers. (c) 2006 Elsevier Ltd. All rights reserved.
This paper presents a Rapid controller Prototyping system based on Matlab, Simulink and the Real-Time-Workshop toolbox. Executable code is automatically generated for Linux RTAI, a hard real-time extension of the Linu...
详细信息
This paper presents a Rapid controller Prototyping system based on Matlab, Simulink and the Real-Time-Workshop toolbox. Executable code is automatically generated for Linux RTAI, a hard real-time extension of the Linux Operating system. The generated code runs as a normal user space hard real-time application on a standard personal computer with the RTAI extension of the Linux Operating system. This environment can be used to quickly implement real-time controllers. Moreover, standard hardware allows the use of rapid prototyping techniques not only during development activities but also during system operation. A didactic and an industrial application are presented which demonstrate the capabilities and the performance of the environment. (c) 2004 Elsevier Ltd. All rights reserved.
Two robust controller structures are presented. The first is a multivariable proportional-integral output feedback pole assignment controller and the second is a robust servomechanism scheme. These two structures affe...
详细信息
Two robust controller structures are presented. The first is a multivariable proportional-integral output feedback pole assignment controller and the second is a robust servomechanism scheme. These two structures affect the process in quite different ways and therefore can be combined to give more robust control than each controller separately. The mentioned structure was used for combustion control, which represents a multivariable and nonlinear problem with time delay. The simulation results of a closed-loop controlsystem are presented and discussed. The whole procedure of designing robust multivariable control was supported with the corresponding computer-aided control system design tools.
A new controller synthesis algorithm for use with linear unstable plants is developed. The procedure is based on a factorisation theory. It involves determination of a desired transfer function followed by a two layer...
详细信息
A new controller synthesis algorithm for use with linear unstable plants is developed. The procedure is based on a factorisation theory. It involves determination of a desired transfer function followed by a two layer optimisation approach. The outer level non-linear optimisation layer optimises the assumed locations of the poles of the coprime factors of the plant and the coprime factors that are solutions to the Bezout identity. For a given pole locations of coprime factors, the inner layer optimisation (which is based on a previously developed factorisation procedure) is utilised to obtain a model-matching controller. The procedure is demonstrated by solving a difficult to control unstable plant, and results are compared with two other techniques previously reported in the open literature.
This report describes a dialogue-oriented software package for computer-aided engineering in control instrumentation. It comprises programmed algorithms for process identification, analysis, simulation, and controller...
详细信息
This report describes a dialogue-oriented software package for computer-aided engineering in control instrumentation. It comprises programmed algorithms for process identification, analysis, simulation, and controller design. For this package a novel architecture was developed to enable a user-friendly interactive application of algorithms. The special structure of the system supports the archiving of computed results, and it facilitates the selection of suitable methods by providing interactive aids.
A frequency domain technique for analysis of oscillations in decentralized controlsystems is proposed. controllability and observability of an oscillatory mode are evaluated by using computer graphics. Coupling funct...
详细信息
A frequency domain technique for analysis of oscillations in decentralized controlsystems is proposed. controllability and observability of an oscillatory mode are evaluated by using computer graphics. Coupling functions are used in the modal analysis of decentralized control. Remote signals are analyzed for possible applications where a critical oscillation mode is controllable in a station but observable in another station. (C) 1998 Elsevier Science Ltd. All rights reserved.
In this paper an idea is presented on how to motivate students to learn an exacting subject such as computer-aidedcontrolsystems design (CACSD). The idea is that the exam is a virtual race or competition meaning tha...
详细信息
In this paper an idea is presented on how to motivate students to learn an exacting subject such as computer-aidedcontrolsystems design (CACSD). The idea is that the exam is a virtual race or competition meaning that the students are graded according to the success achieved in the competition. The aim of the competition is set by the professor, and the students have to design a controller to achieve the best possible result they can. Four competition subjects, those used in the last four years of CACSD education at the Faculty of Electrical Engineering, University of Ljubljana, are reviewed with emphasis on the fourth one-the surf regatta. The mathematical model of the surf is then presented. In all four cases, the criterion for the competition was the shortest time. The paper concludes with the description of solutions applied by students and the faculty experiences with the course.
Most of the available methods for selection of input-output pairings for decentralized control require evaluation of all alternatives to find the optimal pairings. As the number of alternatives grows rapidly with proc...
详细信息
Most of the available methods for selection of input-output pairings for decentralized control require evaluation of all alternatives to find the optimal pairings. As the number of alternatives grows rapidly with process dimensions, pairing selection through an exhaustive search can be computationally forbidding for large-scale processes. Furthermore, the different criteria can be conflicting necessitating pairing selection in a multiobjective optimization framework. In this paper, an efficient branch and bound (BAB) method for multiobjective pairing selection is proposed. The proposed BAB method is illustrated through a biobjective pairing problem using selection criteria involving the relative gain array and the mu-interaction measure. The computational efficiency of the proposed method is demonstrated by using randomly generated matrices and the large-scale case study of cross-direction control. (C) 2010 Elsevier Ltd. All rights reserved.
The use of model-based technologies has made it imperative for the development of a feedback controlsystem to deal with many different tasks-such as: plant modeling in all its variety;model reduction to achieve a com...
详细信息
The use of model-based technologies has made it imperative for the development of a feedback controlsystem to deal with many different tasks-such as: plant modeling in all its variety;model reduction to achieve a complexity or level of abstraction suitable for the design task at hand;synthesis of control laws that vary from discrete event reactive control to continuous model predictive control, their analyses, and testing;design of the implementation;, modeling of the computational platform and its operating system;analysis of the implementation effects;software synthesis for different platforms to facilitate rapid prototyping, hardware-in-the-loop simulation, etc. Throughout these tasks, different formalisms are used that are very domain specific (e.g., tailored to electrical circuits, multibody systems, reactive control algorithms, communication protocols) and that often need to be coupled, integrated, and transformed (e.g., a block diagram control law in the continuous, domain has to be discretized and then implemented in software). Significant improvements in many aspects (performance, cost, development time) of the development process can therefore be achieved by: 1) relating and integrating these different formalisms;2) automatic derivation of different levels of modeling abstractions;and 3) rigorous and tailored design of. the different formalisms by capturing the domain (or meta) knowledge. The emerging field of computer automated multiparadigm modeling (CAMPaM), presented in this paper in the context of controlsystemdesign, aims to develop a domain-independent formal framework that leverages and unifies different activities in each of these three dimensions.
Globalization and growing new markets, as well as increasing emission and fuel consumption requirements, force the car manufacturers and their suppliers to develop new engine control strategies in shorter time periods...
详细信息
Globalization and growing new markets, as well as increasing emission and fuel consumption requirements, force the car manufacturers and their suppliers to develop new engine control strategies in shorter time periods. This can mainly be reached by development tools and an integrated hardware and software environment enabling rapid implementation and testing of advanced engine control algorithms. The structure of a rapid control prototyping (RCP) system is explained, which allows fast measurement signal evaluation, and rapid prototyping of advanced engine control algorithms. A hardware-in-the-loop simulator for diesel engine controldesign is illustrated, simulation results for a 40 tons truck are presented. Providing efficient engine models for the proposed development tools, a dynamic local linear neural network approach is explained and applied for modelling the NO, emission characteristics of a 1.9 1 direct injection diesel engine. Furthermore the application of a RCP system is exemplified by the application of combustion pressure based closed-loop ignition timing control for a SI engine. Experimental results are shown for a 1.0 1 SI engine on a dynamic engine test stand. (C) 2003 Elsevier Ltd. All rights reserved.
暂无评论