The purpose of this paper is to give an overview of a cost-efficient integrated CACSD environment MaTX/RtMaTX. The software supports not only the analysis of controlsystems, and the design of controllers, but also th...
详细信息
The purpose of this paper is to give an overview of a cost-efficient integrated CACSD environment MaTX/RtMaTX. The software supports not only the analysis of controlsystems, and the design of controllers, but also the real-time implementation of controllers. MaTX/RtMaTX is distributed as a free software and is used in many universities and several companies mainly in Japan. This session focuses on the applications in some fields, such as robot motion control, visual simulation, mathematical modeling with symbolic manipulation, economics, and education in control engineering.
An account is given on the application of real-time simulation tools and how automation techniques can be used during the development process of modern automotive electronic control units (ECUs) to effectively meet th...
详细信息
An account is given on the application of real-time simulation tools and how automation techniques can be used during the development process of modern automotive electronic control units (ECUs) to effectively meet the demands placed by the increasing complexity of the software and the resulting intricate ECU tests. Focus is on hardware-in-the-loop (HIL) simulation along with Test Automation (TA) tools.
In this paper we present a canonical representation for truncated space unfalsified control. We show how it specializes to controller unfalsification and adaptive control problems. Moreover, we propose it to solve sys...
详细信息
In this paper we present a canonical representation for truncated space unfalsified control. We show how it specializes to controller unfalsification and adaptive control problems. Moreover, we propose it to solve system identification problems. In addition, we analyze in detail the core issues of the truncated space unfalsified control theory, give a computational algorithm and practical considerations for its implementation.
This paper presents a formal methodology for the design, implementation and validation of reactive systems. The methodology has been applied to the design of a Flight Management systems (FMS) for a model helicopter in...
详细信息
This paper presents a formal methodology for the design, implementation and validation of reactive systems. The methodology has been applied to the design of a Flight Management systems (FMS) for a model helicopter in the BEAR project. POLIS, a design tool developed at the University of California at Berkeley, is extensively used. The automation of the design problem and the validation techniques provided by this tool allow to shorten prototyping time and to prove the correctness of the properties of the system. Automatic code generation guarantees error free implementation, which is fundamental in safety critical applications. Simulation of the entire design is performed using Ptolemy a hierarchical heterogeneous simulation environment.
In this paper we link the discrete-time periodic eigenvalue problem with two point boundary value problems over the same interval. This gives a new formulation of periodic eigenvalue problems which also leads to a new...
详细信息
In this paper we link the discrete-time periodic eigenvalue problem with two point boundary value problems over the same interval. This gives a new formulation of periodic eigenvalue problems which also leads to a new and more economical scheme for computing periodic eigenvalues.
We discuss the numerical solution of linear quadratic optimal control problems for descriptor systems. The classical solution approach for these problems requires the computation of deflating subspaces of structured p...
详细信息
We discuss the numerical solution of linear quadratic optimal control problems for descriptor systems. The classical solution approach for these problems requires the computation of deflating subspaces of structured pencils. We extend the recently developed methods for Hamiltonian matrices to the general case of embedded pencils as they arise in descriptor systems.
The paper demonstrates the utility of a model-based recurrent neural network (MBRNN) in fault diagnosis. The MBRNN can be formatted according to a state-space model. Therefore, it can use model-based fault detection a...
详细信息
The paper demonstrates the utility of a model-based recurrent neural network (MBRNN) in fault diagnosis. The MBRNN can be formatted according to a state-space model. Therefore, it can use model-based fault detection and isolation (FDI) solutions as a starting point, and improve them via training by adapting them to plant nonlinearities. In this paper, the application of MBRNN to the ifac Benchmark Problem is explored and its performance is compared with `black box' neural network solutions. For this problem, the MBRNN is formulated according to the Eigen-Structure Assignment (ESA) residual generator. The results indicate that the MBRNN provides better results than `black box' neural networks, and that with training it improves the results from the ESA residual generator.
The application of modern systems theory has opened the way for solving complicated measuring problems. Thus, variables which are not directly measurable can be reconstructed from easily measurable variables by using ...
详细信息
The application of modern systems theory has opened the way for solving complicated measuring problems. Thus, variables which are not directly measurable can be reconstructed from easily measurable variables by using Kalman filtering. The center temperature of a slab in a reheat furnace which is not directly measurable can be estimated from the measured surface temperature of the observed slab. Improved estimation of slab center temperatures would be valuable as part of a computercontrolsystem for a steel reheat furnace.
An analysis and design method, referred to as ICAD, well suited for aerospace controldesign tasks is outlined. Embodied in a CACSD package, ICAD directly addresses the relevant issues of continuity, simplicity, trans...
详细信息
An analysis and design method, referred to as ICAD, well suited for aerospace controldesign tasks is outlined. Embodied in a CACSD package, ICAD directly addresses the relevant issues of continuity, simplicity, transparency and flexibility in the modern aerospace MIMO context. Software requirements arising from ICAD are discussed, in particular, the model building and computational aspects. Some facets of the implementation within the CACSD package are illustrated and described.
Robust controlsystem analysis and design is based on an uncertainty description, called a linear fractional transformation (LFT), which separates the uncertain (or varying) part of the system from the nominal system....
详细信息
Robust controlsystem analysis and design is based on an uncertainty description, called a linear fractional transformation (LFT), which separates the uncertain (or varying) part of the system from the nominal system. system uncertainties to be represented in LFT form include both parametric and non-parametric uncertainties for many practical problems. LFT formulation for these 'mixed uncertainty' systems involves: formulation of a linear parameter varying (LPV) model, construction of a low-order parametric LFT model, and validation of a mixed uncertainty model with respect to measurement data. This paper presents an F-16 aircraft example problem that illustrates the development of a validated mixed uncertainty model for this vehicle.
暂无评论