This paper describes a method to find optimal policies for stochastic dynamic systems that maximise the probability of satisfying real-time properties. The method consists of two phases. In the first phase, a coarse a...
详细信息
ISBN:
(纸本)9781509007561
This paper describes a method to find optimal policies for stochastic dynamic systems that maximise the probability of satisfying real-time properties. The method consists of two phases. In the first phase, a coarse abstraction of the original system is created. In each region of the abstraction, a sampling-based algorithm is utilised to compute local policies that allow the system to move between regions. Then, in the second phase, the selection of a policy in each region is obtained by solving a reachability problem on the Cartesian product between the abstraction and a timed automaton representing a real-time specification given as a metric interval temporal logic formula. In contrast to current methods that require a fine abstraction, the proposed method achieves computational tractability by modelling the coarse abstraction of the system as a bounded-parameter Markov decision process (BMDP). Moreover, once the BMDP is created, this can be reused for new specifications assuming the same stochastic system and workspace. The method is demonstrated with an autonomous driving example.
Dynamic networks are structured interconnections of dynamical systems driven by external excitation and disturbance signals. We develop the notion of network identifiability, a property of a parameterized model set th...
详细信息
The paper proposes a flame detection method based on saliency analysis, optical flow estimation and temporal wavelet transform. Two separate saliency maps are first obtained based on the grayscale values and optical f...
详细信息
ISBN:
(纸本)9781467397087;9781467397094
The paper proposes a flame detection method based on saliency analysis, optical flow estimation and temporal wavelet transform. Two separate saliency maps are first obtained based on the grayscale values and optical flow magnitudes of each frame using a saliency detector. Subsequently, the two maps are combined to extract candidate flame regions. To further discard falsely detected pixels, a colour model of flames and temporal wavelet transform are employed. The proposed algorithms can be applied in the autonomous and semi-autonomous systems for environmental surveillance and can reduce the load of human operators. Experiments illustrate the introduced method achieves around 91% true positive rate and 97% true negative rate.
作者:
Abdelali El AroudiGAEI Research Center
Department of Electronics Electrical Engineering and Automatic Control Universitat Rovira i Virgili Tarragona Spain
This paper investigates the effect of the integrator gain on subharmonic oscillation boundary in switching converters with fixed frequency pulse width modulation (PWM) with an integrative feedback loop. First, the exa...
详细信息
ISBN:
(纸本)9781479953424
This paper investigates the effect of the integrator gain on subharmonic oscillation boundary in switching converters with fixed frequency pulse width modulation (PWM) with an integrative feedback loop. First, the exact state-space switched model of the converter is revisited and then a closed-form expression for predicting this phenomenon is presented. The use of this expression is illustrated by means of two different examples f switching converters. While in voltage mode control, the integral action can be ignored for predicting subharmonic oscillation, it is shown the integral action in the current loop has a significant effect on this phenomenon.
Using simulated data-driven three-dimensional resistive MHD simulations of the solar atmosphere, we show that 3D magnetic reconnection may be responsible of the formation of jets with characteristics of Type II spicul...
详细信息
Recently distributed integral controllers relying on averaging and communication have been proposed as effective means for optimal frequency regulation in power systems, load balancing of network flows, and as natural...
详细信息
ISBN:
(纸本)9781467386838
Recently distributed integral controllers relying on averaging and communication have been proposed as effective means for optimal frequency regulation in power systems, load balancing of network flows, and as natural extensions to static consensus controllers. Typically, only the questions of stability, disturbance rejection, and steady-state resource allocation are addressed in the literature, and the problems of transient performance and optimal communication network design remain open. In this paper we consider the optimal frequency regulation problem and propose a principled heuristic to identify the topology and gains of the distributed integral control layer. We employ an l1-regularized H2-optimal control framework as a means for striking a balance between network performance and communication requirements. The resulting optimal control problem is solved using the alternating direction method of multipliers algorithm. For the IEEE 39 New England benchmark problem, we demonstrate that the identified sparse and distributed integral controller can achieve reasonable performance relative to the optimal centralized controller. Interestingly, the identified control architecture is directed and correlates with the generator rotational inertia and cost coefficients.
This paper presents a batch estimation method for Simultaneous Localization and Mapping (SLAM) using the Prediction Error Method (PEM). The estimation problem considers landmarks as parameter while treating dynamics u...
详细信息
ISBN:
(纸本)9781509020126
This paper presents a batch estimation method for Simultaneous Localization and Mapping (SLAM) using the Prediction Error Method (PEM). The estimation problem considers landmarks as parameter while treating dynamics using state space models. The gradient needed for parameter estimation is computed recursively using an Extended Kalman Filter (EKF). Results using simulations with a monocular camera and inertial sensors are presented and compared to a Nonlinear Least-Squares (NLS) estimator. The presented method produce both lower RMSE's and scale better to the batch length.
This paper studies the local subspace identification of 1D homogeneous networked systems. The main challenge lies at the unmeasurable interconnection signals between neighboring subsystems. Since there are many unknow...
详细信息
In this work, a set of sufficient conditions that guarantee consensus towards a pre-specified target state in double-integrator leader-follower proximity-based networks are derived. Since only the leader agents are aw...
详细信息
ISBN:
(纸本)9781467383479
In this work, a set of sufficient conditions that guarantee consensus towards a pre-specified target state in double-integrator leader-follower proximity-based networks are derived. Since only the leader agents are aware of the global objective and proximity-based communication between agents is considered, the follower agents must not lose contact to the leaders. We establish a connectivity analysis framework which is used to show that the initial network topology is maintained if the ratio of leaders-to-followers and the magnitude of the goal attraction force experienced by the leaders are below certain bounds. Various network topologies are examined, starting from a complete graph and extending to incomplete graphs. The theoretical results are illustrated by simulations.
暂无评论