In this work, different relaxations applicable to an MPC problem with binary control signals are compared. The relaxations considered are the QP relaxation, the standard SDP relaxation and an alternative equality cons...
详细信息
Due to the need in studying finite-time control problems, this paper extends the well-known concept, input-to-state stability (ISS). A new concept, called finite-time input-to-state stability (finite-time ISS), is pro...
详细信息
ISBN:
(纸本)7900719229
Due to the need in studying finite-time control problems, this paper extends the well-known concept, input-to-state stability (ISS). A new concept, called finite-time input-to-state stability (finite-time ISS), is proposed and is applied to the finite-time stability analysis of some nonlinear systems and the design of finite-time stabilizing feedback laws. In addressing finite-time stability and control, nonsmoothness occurs in system nonlinearities and controller functions, and poses a serious technical difficulty. It is found that finite-time ISS plays an important role in nonsmooth control, in the same way as the conventional ISS in the asymptotic stability analysis and stabilization.
In this paper a parametric lineal model of heading is obtained, using a remote experimentation platform for marine vehicles. This platform has an in-scale fast-ferry physical model, TF-120 which is autonomous and has ...
详细信息
In this paper a parametric lineal model of heading is obtained, using a remote experimentation platform for marine vehicles. This platform has an in-scale fast-ferry physical model, TF-120 which is autonomous and has all the elements required to emulate a real vessel. The physical model is controlled remotely from a PC using Wi-Fi communications. The tests for the data acquisition with the platform for marine vehicles were carried out in the surroundings of the Bay of Santander. The parametric model identified is used to design a PID controller for heading autopilot and a simulation of this system is performed in Simulink.
The paper presents a new method of decision tree induction based on formal concept analysis (FCA). The decision tree is derived using a concept lattice, i.e. a hierarchy of clusters provided by FCA. The idea behind is...
详细信息
The paper presents a new method of decision tree induction based on formal concept analysis (FCA). The decision tree is derived using a concept lattice, i.e. a hierarchy of clusters provided by FCA. The idea behind is to look at a concept lattice as a collection of overlapping trees. The main purpose of the paper is to explore the possibility of using FCA in the problem of decision tree induction. We present our method and provide comparisons with selected methods of decision tree induction on testing datasets.
In this work, different relaxations applicable to an MPC problem with binary control signals are compared. The relaxations considered are the QP relaxation, the standard SDP relaxation and an alternative equality cons...
详细信息
In this work, different relaxations applicable to an MPC problem with binary control signals are compared. The relaxations considered are the QP relaxation, the standard SDP relaxation and an alternative equality constrained SDP relaxation. The relaxations are related theoretically, and both the tightness of the bounds and the computational complexities are compared in numerical experiments. The result is that for long prediction horizons, the equality constrained SDP relaxation proposed in this paper provides a good trade-off between the quality of the relaxation and the computational time.
A satisfied deformable object simulation should be general, accurate, efficient and stable. Explicit, implicit and semi-implicit numerical integration methods have contributed to large performance enhancements in the ...
详细信息
Considering the large amounts of data that is nowadays produced in the biochemistry (functional genomics) it is difficult to extract the information from the measurements. There is currently also a great interest in t...
详细信息
ISBN:
(纸本)9788096956265
Considering the large amounts of data that is nowadays produced in the biochemistry (functional genomics) it is difficult to extract the information from the measurements. There is currently also a great interest in the development of novel analytical technologies for rapid screening of disease symptoms in pharmaceutical and clinical applications. Modeling and simulation can provide a useful help in understanding the relations of the measured substances and to minimize the need for measurements. The BioChem library presented here is the first free Modelica library available for mathematical modeling of biochemical processes. Three examples are shown to illustrate the library. First, a simple insulin model is presented. Then a simplified model of cholesterol together with simulations are shown. Next, a simple drug model together with parameter estimation in NONMEN are presented. The BioChem library allows for fast and end-user friendly modeling of biomedical systems. The graphical user interface provides graphics similar to that used in the description of metabolic pathways in biochemistry.
We demonstrate the feasibility to make a temperature-independent strain sensor by measuring the bandwidth of the reflected light from the tapered fiber grating (TFG). This simple and low-cost sensor approach has a con...
详细信息
We demonstrate the feasibility to make a temperature-independent strain sensor by measuring the bandwidth of the reflected light from the tapered fiber grating (TFG). This simple and low-cost sensor approach has a considerable potential, particularly application to strain sensing in the smart structures. The experimental results show that the method is suitable for distribution measurement, and it can restrain the influence of source fluctuation.
An efficient target detection algorithm for infrared sequence image with sea-sky background is presented. For the big none-Gaussian noises and the none-linear movement of the target, the algorithm is established mainl...
详细信息
An efficient target detection algorithm for infrared sequence image with sea-sky background is presented. For the big none-Gaussian noises and the none-linear movement of the target, the algorithm is established mainly on the basis of the sequential Monte Carlo (SMC) method. The algorithm uses the statistic values of the target's feature image to change the weight of the particles which are produced by Monte Carlo sampling, and the target is detected and tracked based on the control of these weights. The difference image is used as the feature image. The experimental results demonstrate the effectiveness and real-time efficient of the algorithm.
暂无评论