In this work the normality property of specification languages for discrete-event systems under partial observation is investigated in a modular context for large-scale systems-modelling. This is related to work on co...
详细信息
In this work the normality property of specification languages for discrete-event systems under partial observation is investigated in a modular context for large-scale systems-modelling. This is related to work on controllability done previously in a similar context by R. Wenck and J. H. Richter (2004). The problem of preserving normality under master-slave (biased synchronous composition, BSC) and strict composition (strict product composition, SPC) operations is defined, and sufficient conditions for preserving normality under application of these operators are provided.
This paper presents the object-oriented platform-based design process for embedded real-time systems (SEEP). More specifically, it includes a case study to highlight the main design steps proposed by SEEP. Details reg...
详细信息
This paper presents the object-oriented platform-based design process for embedded real-time systems (SEEP). More specifically, it includes a case study to highlight the main design steps proposed by SEEP. Details regarding embedded system modeling and its transition to the programming level are presented. Moreover, it describes the embedded system generation and provides data obtained from the hardware synthesis and the application execution. Moreover, it discusses how projects can be optimized according to requirements priorities. It finishes by highlighting the main advantage of SEEP in comparison to other existing methodologies for embedded systems design
In this paper, we aim at developing a System-on-Chip, SoC, which can capture image as well as produce vehicle lane map at the same time. We adopt Peak-Finding based lane detection algorithm that can achieve high recog...
详细信息
Using a communication network, such as an IP network, in the control loop is increasingly becoming the norm. This process of network-based control (NBC) has a potentially profound impact in areas such as: teleoperatio...
详细信息
Using a communication network, such as an IP network, in the control loop is increasingly becoming the norm. This process of network-based control (NBC) has a potentially profound impact in areas such as: teleoperation, healthcare, military applications, and manufacturing. However, limitations arise as the communication network introduces delay that often degrades or destabilizes the control system. Four methods have been investigated that alleviate the IP network delays to provide stable real-time control. This paper presents the four methodologies, while the companion paper presents a case study on a DC motor with a networked proportional-integral (PI) speed controller with various network delays and noise levels. The four methodologies are gain scheduling middleware (GSM), optimal stochastic methodology, queuing methodology, and robust control methodology. Simulation results show that NBC combined with these techniques can successfully maintain system stability, allowing control of real-time applications.
This paper is concerned with the adaptive slidingmode control of a class of nonlinear systems in nonlinear parametric-pure-feedback form with mismatched uncertainties. Backstepping design procedure is applied, which l...
详细信息
This paper is concerned with the adaptive slidingmode control of a class of nonlinear systems in nonlinear parametric-pure-feedback form with mismatched uncertainties. Backstepping design procedure is applied, which leads to a new adaptive sliding-mode control. Gaussian radial-basis-function networks are used to approximate the unknown system dynamics. A new growing scheme of the Gaussian networks is proposed. The networks start with a loose structure in order to reduce the computational effort. More nodes are added to the networks progressively in order to improve the transient behaviour. With ideal sliding mode, asymptotic stability is reached. The performance of the control scheme is illustrated by simulation studies.
Internet congestion control system is considered as a closed-loop feedback system with time-delay. A proportional-integral-differential (PID) controller is then established as active queue management (AQM) scheme to a...
详细信息
Internet congestion control system is considered as a closed-loop feedback system with time-delay. A proportional-integral-differential (PID) controller is then established as active queue management (AQM) scheme to adjust the congestion marked possibility at the links in Internet, whose parameters is auto-tuned by applying the minimization of an integral criterion for adapting the change of the network system. The simulations show that the new AQM scheme can control the size of the queue in the buffer to an expected length and has the robustness for the loading perturbation and the parameter change in the network.
We propose a gain scheduler middleware (GSM) module, for use in IP network-based control applications. The network traffic estimator (NTE) module of GSM must provide good estimation of the real-time network delay in o...
详细信息
We propose a gain scheduler middleware (GSM) module, for use in IP network-based control applications. The network traffic estimator (NTE) module of GSM must provide good estimation of the real-time network delay in order for the overall IP network-based control to provide satisfactory results. In this paper, we demonstrate the advantages of the NTE module vs. non-delay estimation control. Five delay estimation models are introduced and compared by using three typical network delay datasets. A network-based control of an unmanned ground vehicle (UGV) path-tracking problem is used to illustrate the performance of the NTE model. Simulation results show that the generalized exponential model outperforms the other models on the three criteria, including the UGV tracking error, travelling time and the computation time of the estimation model.
An Unmanned Aerial Vehicle (UAV) formation in a leader-follower structure, where the UAVs are flying a common trajectory determined by a route planner hosted on the leader is considered. The path description is compre...
详细信息
This paper provides a two-dimensional frequency analysis technique for robust controllers of large-scale multiple array paper machine cross-directional (CD) processes with structured model uncertainty. For such spatia...
详细信息
This paper provides a two-dimensional frequency analysis technique for robust controllers of large-scale multiple array paper machine cross-directional (CD) processes with structured model uncertainty. For such spatially-distributed dynamical systems, the process model and its realistic structured uncertainty are assumed to be linear, spatially-invariant, and time-invariant. These large-scale MIMO systems are rectangular circulant matrix blocks that can be conveniently transformed into a family of small dimension transfer functions in the two-dimensional frequency domain. This significantly simplifies the controller design and gives a better physical insight about the realistic structured uncertainty problem. Given a linear feedback controller, we can easily derive the robust stability condition for the closed-loop CD system in the two-dimensional frequency domain.
A contour extraction algorithm for a moving target is proposed. This algorithm consists of three steps. Firstly, motion segmentation is applied respectively to infrared and visible image sequences to get an initial co...
详细信息
A contour extraction algorithm for a moving target is proposed. This algorithm consists of three steps. Firstly, motion segmentation is applied respectively to infrared and visible image sequences to get an initial contour of a moving target. Secondly, a dynamic contour is applied to make the initial contour converge to the target's contour. Finally, two novel image fusions are applied. The first fusion minimizes L2 norm's square of the difference of control point vectors in two modal images without image registration. The second fusion is realized by the modified differential coupling with image registration. Contrasting detection experiments indicate the second fusion is better. Meanwhile, a fast iteration algorithm of dynamic contour based on the Newmark method is devised. A contrasting experiment indicates its iteration time for stable convergence decreases by 21.01% compared with the Wilson-θ method.
暂无评论