This research proposes an automated method for planning a team of mobile robots such that a Boolean-based mission is accomplished. The specification consists of logical requirements over some regions of interest for t...
详细信息
ISBN:
(纸本)9781467360890
This research proposes an automated method for planning a team of mobile robots such that a Boolean-based mission is accomplished. The specification consists of logical requirements over some regions of interest for the agents' trajectories and for their final states. A Petri net (PN) with outputs models the movement capabilities of the team and the active regions of interest. The imposed specification is translated to a set of linear restrictions for some binary variables, the robot movement capabilities are formulated as linear constraints on PN markings, and the evaluations of the binary variables are linked with PN markings via linear inequalities. This allows us to solve a Mixed Integer Linear Programming problem whose solution yields robotic trajectories satisfying the task.
A novel fault integration method is proposed in this paper for manufacturing system models given in the form of timed colored Petri nets. The faults are assumed to have a stochastic nature and are represented in the f...
详细信息
ISBN:
(纸本)9789077381861
A novel fault integration method is proposed in this paper for manufacturing system models given in the form of timed colored Petri nets. The faults are assumed to have a stochastic nature and are represented in the form of transitions firing in stochastic way with known fault probabilities in the system model. A novel fault effect propagation method was also developed, that can be used to compute the probabilities of the possible faulty and non-faulty intermediate and final states of the system using the probabilities of faults and the occurrence graph. The faultless and fault containing models were implemented in CPNTools both for non-timed and timed cases. A software module was also developed for the proposed probabilistic fault propagation analysis. The proposed methods and tools were demonstrated using a simple case study.
A novel on-line diagnosis method is proposed in this paper that uses a qualitative dynamic model of the system and its colored Petri nets model. The model contains both the normal and the possible faulty operational m...
详细信息
ISBN:
(纸本)9789077381861
A novel on-line diagnosis method is proposed in this paper that uses a qualitative dynamic model of the system and its colored Petri nets model. The model contains both the normal and the possible faulty operational modes of the system. The deviation between the normal and faulty modes is characterized based on P-HAZID tables. The actual system state can be searched on the occurrence graph constructed in advance. Starting from this node the possible consequences and root causes can be determined on-line with traversing on the graph. The proposed method is illustrated on simple case studies.
This paper describes a new method for how interfering MIMO links might transmit more effectively in a random access network. We assume perfect transmitter-side channel state information, zero-forcing pre-coding to gua...
详细信息
This paper describes a new method for how interfering MIMO links might transmit more effectively in a random access network. We assume perfect transmitter-side channel state information, zero-forcing pre-coding to guarantee no interference on links that have already won access, and zero-forcing receiver processing at the still-contending links to suppress interference from the links that have already won. We define an effectiveness metric, the Instantaneous Equivalent SNR Percentile (IESP), in which the Equivalent SNR is the SNR of a single-input-single-output (SISO) link that would have the same capacity of a MIMO link after its interference constraints have been met and the IESP is the percentile of the Equivalent SNR, assuming independent Rayleigh fading. We propose that fairness among heterogeneous contending links be realized by giving the shorter contention window to the link with the higher IESP based on its own distribution, enabling links with few antennas to compete with links that have many antennas. Through simulation of the sum capacity of the winning set of links, the proposed contention window design is shown to provide a higher sum capacity than contention based on equal-sized windows.
The paper adapts the second-order sliding mode (SOSM) control technique to higher-order dc-dc converters. In particular, the paper presents an adaptation of this control technique for buck converters with input filter...
详细信息
The paper adapts the second-order sliding mode (SOSM) control technique to higher-order dc-dc converters. In particular, the paper presents an adaptation of this control technique for buck converters with input filter. The approach consists of regulating the converter output voltage by means of a state-machine similar to the basic SOSM controller, which is shown to perform well as long as the input filter is properly damped, thus ensuring the overall converter stability. Stability and fast dynamic responses are verified by simulations on a 5 V-to-1.3 V point-of-load buck converter with a damped LC input filter.
This paper presents two modern modulation techniques applied to three phase inverters from a hardware implementation point of view. The considered techniques are the sinusoidal pulse width modulation with zero sequenc...
详细信息
Common practice in industrial design of discrete controllers as well as in most synthesis procedures advocated for discrete control in academia is to create the control logic and to transfer it into a PLC language bef...
详细信息
Many studies about improving the performance of biped robots, especially energy efficiency and waking speed have been done. These properties, however, are secondary to the robot ability to prevent falling down on irre...
详细信息
ISBN:
(纸本)9781479973989
Many studies about improving the performance of biped robots, especially energy efficiency and waking speed have been done. These properties, however, are secondary to the robot ability to prevent falling down on irregular grounds. In this paper, we propose a novel method which uses an active up-and-down wobbling mass to improve walking ability and robustness of biped robot on uneven terrain. We will show improvements that the number of walk steps is increased in numerical simulations using the proposed method. We also evaluate quantitatively walking ability of biped robot on uneven terrain using a performance measure called Gait Sensitivity Norm (GSN) and H ∞ norm. Furthermore, we show the effectiveness of H ∞ norm measure which cannot be evaluated by GSN in a walking example.
State-space models are successfully used in many areas of science, engineering and economics to model time series and dynamical systems. We present a fully Bayesian approach to inference and learning (i.e. state estim...
详细信息
State-space models are successfully used in many areas of science, engineering and economics to model time series and dynamical systems. We present a fully Bayesian approach to inference and learning (i.e. state estimation and system identification) in nonlinear nonparametric state-space models. We place a Gaussian process prior over the state transition dynamics, resulting in a flexible model able to capture complex dynamical phenomena. To enable efficient inference, we marginalize over the transition dynamics function and, instead, infer directly the joint smoothing distribution using specially tailored Particle Markov Chain Monte Carlo samplers. Once a sample from the smoothing distribution is computed, the state transition predictive distribution can be formulated analytically. Our approach preserves the full nonparametric expressivity of the model and can make use of sparse Gaussian processes to greatly reduce computational complexity.
Steelmaking technology have been developed by some needs and environmental changes. Among them, in steelmaking plant, more technology have been preceded by production of high quality products, approach for global envi...
详细信息
Steelmaking technology have been developed by some needs and environmental changes. Among them, in steelmaking plant, more technology have been preceded by production of high quality products, approach for global environmental affairs and application of information technology and computer technology. From these viewpoints, some aspects and results of recent steelmaking plant technology will be described in this paper.
暂无评论