The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Supervisory control theory deals with automated synthesis of models of supervisory controllers that ensure safe and nonblocking behavior of the supervised system. Typically, (large) supervised systems cannot be guaranteed to meet elaborated performance requirements, as ensuring them during the synthesis procedure is a costly undertaking. We propose a model-based systems engineering framework that...
The function of multi-rate support (14 rate ranks from 1Mbps to 54Mbps) in PHYs is prescribed in IEEE 802.11 protocol. To analyze the serious affects to the throughput of whole networks caused by the low- rate access nodes, a precise algorithm is proposed based on the improved Markov model in DCF protocol. The throughput of WLAN is conducted with low-rate access nodes, and the simulation results with...
In many Intelligent Transportation System (ITS) applications that crowd-source data from probe vehicles, a crucial step is to accurately map the GPS trajectories to the road network in real time. This process, known as map-matching, often needs to account for noise and sparseness of the data because (1) highly precise GPS traces are rarely available, and (2) dense trajectories are costly for live...
Recently wireless sensor networks (WSNs) are used to monitor the physical environment through the large number of battery-powered sensor nodes. Because it is difficult to change or recharge batteries, nodes are spend large amounts of time in a low-power "sleep" mode generally. WSNs have sparked numerous research interests in sleeping methods to schedule nodes' activities. In this paper,...
For WLAN systems in which relaying is used to improve throughput performance, node mobility and information collection delays can have a significant impact on the performance of a relay selection scheme. This paper analyzes this influence on the decision process using a previously developed Markov Chain model. The evaluation is done for a realistic indoor scenario that is based on ray-tracing enriched...
Network coding is a promising technique to improve the throughput performance of wireless networks. In this paper, we propose a novel network-coding-based hybrid retransmission request protocol for two-way relaying system. The proposed protocol can retransmit more information in a given time interval by introducing network coding in the retransmission process, thus improving the throughput. Furthermore,...
By analyzing the signal lings exchange of SIP deeply, GSPN model of protocol is established for evaluating the performance of protocol, reducing call setup time of SIP and obtaining a tradeoff between the performance and the number of buffer. Basing on the model, markov chain of model is designed. Based on properties of constructed markov chain, performance of SIP is studied and evaluated through...
Inspired by clustered photolithography tools in semiconductor wafer manufacturing, we study flow lines with deterministic process times subject to random state dependent setups. For tractability, we assume that the setup probability is constant and independent from customer to customer; the setup duration is constant. We show that the internal state of such a flow line can be modeled as a Markov chain...
In wireless mesh networks that are built using IEEE 802.11 techniques, there are significant problems in maintaining fairness and low delay to provide QoS for long-hop flows. To address these issues, express forwarding has been proposed. However, existing studies of express forwarding are simulation based, and the main benefits that have been demonstrated are limited to shortened delay for long-hop...
This paper is concerned with the optimal filter problems for networked systems with random transmission delays, while the delay process is modeled as a multi-state Markov chain which incorporates the data losses naturally. By defining an indicator function of the random delay, the optimal filter problems are transformed into the ones of the standard Markov jumping parameter measurement system. We...
This note investigates the modeling and guaranteed cost control for a class of networked control systems (NCSs) with random Markov delays. The delay processes in the sensor-to-controller and controller-to-sensor are modeled as two Markov chains and a jump linear system model is established. By using the Lyapunov theory and the linear matrix inequality (LMI) technique, the sufficient condition for...
In this paper, the H∞ state estimation problem for networked systems with Markov interval delay characteristic is investigated. A Markov chain is introduced to describe the delayed networked systems, considering the difficulty of obtaining the ideal knowledge of all transition probabilities, and a Markovian jump systems model with partially unknown transition probabilities is established. Based on...
Supervisory control theory deals with synthesis of models of supervisory controllers that ensure safe and nonblocking behavior, based on discrete-event models of the uncontrolled system and the control requirements. Extensions, like optimal supervision, additionally ascertain that given performance requirements are met by the controller as well. Unfortunately, ensuring optimality during supervisor...
In this paper, we conduct performance analysis for a joint media access and appliance scheduling protocol devised for efficient information-management in smart appliances within a home-area network. This protocol enables appliances in-home to coordinate power usage so that total demand for the home is kept below a target value. In particular, from the system perspective, we model the evolution of...
This paper presents fundamental limits and practical schemes for managing data and feedback of coded flows over multiple, half-duplex communication interfaces (routes). We set forth closed-form bounds on the capacity of resource constrained routes. Our work also provides a systematic approach to exploit these bounds in order to solve the allocation of coded packets with a reliability constraint efficiently,...
Opportunistic or Delay Tolerant Networks (DTNs) may be used to enable communication in case of failure or lack of infrastructure (disaster, censorship, remote areas) and to complement existing wireless technologies (cellular, WiFi). Wireless peers communicate when in contact, forming an impromptu network, whose connectivity graph is highly dynamic and only partly connected. In this harsh environment,...
We present in this paper an information theoretic approach for analyzing the chromagram at its finest temporal resolution and for finding precise alignments of the similar segments in a song. We introduce information theoretic similarity measures for scoring the similarity of the candidate repetitions and for providing a final interpretation of the overall structure. Finally, we present experimental...
This paper investigates the problem of robust stabilization for uncertain networked control systems (NCSs) with random time delay via the output feedback control. A mode dependent controller is proposed by modeling the random delay as a Markov Chain. The resulting closed-loop system is expressed as a Markovian jump linear system (MJLS) with mode-dependent delay. Based on Lyapunov-Krasovskii method,...
In this paper we study in-order packet delivery delay of two recently proposed network coded transmission schemes with applications in wireless broadcast. Unlike previous works where asymptotic behaviour of decoding or delivery delay was presented, we provide a general analysis of the three conditions under which in-order packet delivery is possible at a receiver: by 1) catching up with the sender,...
For centralized selection of communication relays, the necessary decision information needs to be collected from the mobile nodes by the access point (centralized decision point). In mobile scenarios, the required information collection and forwarding delays will affect the reliability of the collected information and hence will influence the performance of the relay selection method. This paper analyzes...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.