| 1. |
- Falkman, Petter, 1972, et al.
(författare)
-
Verification of Operation Sequences in Process Simulate by Connecting a Formal Verification Tool
- 2009
-
Ingår i: 2009 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, Christchurch, NEW ZEALAND, DEC 09-11, 2009. - 9781424447060 ; 1-3, s. 1207-1212
-
Konferensbidrag (refereegranskat)abstract
- It is very advantages to use virtual techniques for testing and developing new hardware and software systems. It is cost effective since no real machine or manufactory system is needed. It is safe since there are no real components that can be damaged. Simulation is a fast design method since the time can go faster then real time and the machine can be set to desired machine states without time consumption. Novel concepts can be tested prior to manufacturing. However, it is of greatest importance that the virtual model can be trusted so that the results of the development and tests can be directly transferred to a real system without any manual last minute changes. Testing all possible scenarios within a system by simulation is an ambiguous task and is impossible to do with todays complex systems. The present paper introduces a method for combining virtual development and simulation techniques with tools for formal verification methods. The aim is to enable the use of formal verification techniques and by doing that guaranteeing a correct system behavior.
|
|
| 2. |
- Halvarsson, Björn, et al.
(författare)
-
A New Input/Output Pairing Strategy based on Linear Quadratic Gaussian Control
- 2009
-
Ingår i: Proc. 7th IEEE International Conference on Control and Automation, Dec. 9-11, Christchurch, New Zealand. - Piscataway, NJ : IEEE. - 9781424447060 ; , s. 978-982
-
Konferensbidrag (refereegranskat)abstract
- In this paper a new input/output pairing strategy based on linear quadratic Gaussian control (LQG) is suggested. The strategy is used to compare the expected performance of decentralized control structures in some illustrative examples. The pairing suggestions are compared with the recommendations previously obtained using other interaction measures such as the Relative Gain Array (RGA). The new strategy gives suitable pairing recommendations and is easy to interpret.
|
|
| 3. |
- Kianfar, Roozbeh, 1984, et al.
(författare)
-
Automated Controller Design using Linear Quantitative Feedback Theory for Nonlinear systems
- 2009
-
Ingår i: Proc. 7th IEEE International Conference on Control and Automation, Dec. 9-11, Christchurch, New Zealand. - 9781424447060 ; 1-3, s. 1955-1961
-
Konferensbidrag (refereegranskat)abstract
- A method to design simple linear controllers for mildly nonlinear systems is presented. In order to design thedesired controller we approximate the behavior of the nonlinear system with a set of linear systems which are derived through linearizations. Classical local linearization is carried out around stationary points but in order to have a better approximation of the nonlinear system selected non-stationary points are taken into account as well. This set of linear models are consideredas an uncertainty description for a nominal plant. Qunatitative Feedback theory (QFT) may be used to guarantee specification to be fulfilled for all linear models in such an uncertainty set. Traditionally QFT design is carried out in a Nichols diagram by loop shaping of the nominal linear plant. This task highly depends on the experience of the designer and is difficult for unstable systems. In order to facilitate this task an optimization algorithm based on Genetic algorithm is used to automatically synthesize a fixed structure controller. For illustration and evaluation the method is succesfully applied to a Wiener system and a nonlinear Bioreactor benchmark problem.
|
|
| 4. |
- Kragelund, M., et al.
(författare)
-
Optimal production planning of a power plant
- 2009
-
Ingår i: 2009 IEEE International Conference on Control and Automation, ICCA 2009. - : IEEE. - 9781424447060 ; , s. 819-824
-
Konferensbidrag (refereegranskat)abstract
- This paper addresses the problem of planning the usage of actuators optimally in an economic perspective. The objective is to maximize the profit of operating a given plant during 24 hours of operation. Models of two business objectives are formulated in terms of system states and the monetary value of these objectives is established. Based on these and the cost of using the different actuators a profit function has been formulated. The optimization of the profit is formulated as an optimal control problem where the constraints include the dynamics of the plant as well as a requirement to reference tracking. A power plant is considered in this paper, where the fuel system consists of three different fuels; coal, gas, and oil.
|
|
