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.
Emotions are directly related whit external or internal stimulation which a person is submitted, influencing these stimuli on their physical and mental health. These emotional changes produce variations in cardiovascular behavior and respiratory activity. This research proposes the characterization of cardiac system in healthy subject submitted to 3 different audiovisual stimuli, by means of the analysis...
We investigate the possibility of covert and secret key generation over a discrete memoryless channel model with one way public discussion. Protocols are required to conceal not only the key but also whether a protocol is being implemented. For some models, we show that covert secret key generation is possible and characterize the covert secret key capacity in special cases; in particular, the covert...
Data centers availability is mandatory and is conditioned by a quick response to failures and attacks thanks to efficient live forensics. However, this task is lately impossible to complete with classic systems because of encountered data rates and service diversity. Moreover, Software-Defined Networking (SDN) devices agility requirements prevent the use of Application Specific Integrated Circuits...
Large numbers of Internet of Things (IoT) devices are increasingly deployed in many aspects of modern life. Given their limited resources and computational power, verifying program integrity in such devices is a challenging issue. In this paper, we design MTRA, a Multiple-Tier Remote Attestation protocol, by exploiting differences in resources and computational power among various types of networked...
The multi-tracking problem of second-order multi-agent system with communication delay is investigated in this paper. An intermittent control protocol is proposed on the basis of only relative position measurement, where the information of agent is quantized before transmission using stochastic quantization scheme. On the basis of algebraic graph theory, stochastic quantization and stability theory,...
Collecting information about faults, state of surrounding environment and equipment is crucial in systems that could jeopardize human lives, such as trains. Normally, data are obtained via analog sensors which do not have any interface to allow their integration with software systems. Additionally, acquisition and transport of sensor data could suffer interferences in the train's environment due to...
In this paper, the distributed tracking problem for heterogeneous second-order multiagent systems with nonlinear dynamics is studied. Both the dynamics among the followers and the dynamics between the leader and each follower are heterogeneous. A sampled-data-based consensus protocol is proposed. In addition, the communication delays are considered. Based on Lyapunov stability theory and linear matrix...
The Internet of Things (IoT) is becoming important in many areas that include health, entertainment, manufacturing, automotive, home and building automation, industrial, etc. Will it be important for education and more specifically for teaching and learning? If so, what engineering subjects would benefit the most and how effective could the IoT be for teaching and learning? Can IoT technologies and...
This paper studies the fully-distributed consensus problem for multi-agent systems with unknown dynamics and bounded external disturbances. The interaction topology of the multi-agent system is assumed to contain a directed spanning tree. Based on adaptive gains, we present the fully-distributed consensus protocol which can obtain consensus without using any global information. The simulation examples...
The flexible spin-lock model (FSLM) unifies suspension-based and spin-based resource sharing protocols for partitioned fixed-priority preemptive scheduling based real-time multiprocessor platforms. Recent work has been done in defining the protocol for FSLM and providing a schedulability analysis without accounting for the implementation overheads. In this paper, we extend the analysis for FSLM with...
This paper proposes an approach to model switched Ethernet communication within a model- and component-based software development framework for vehicular distributed embedded systems. The paper also presents a method to extract the network timing model from the systems that use switched Ethernet networks. In order to provide a proof of concept, an existing industrial component model and its tool suite,...
Time-varying formation control problems for mobile robot swarm systems are investigated. Firstly, for the formation control, the mobile robot is regarded as a point-mass system, and the dynamics of each mobile robot is modeled by single integrator. Then, consensus-based formation protocols are presented for mobile robots to achieve a predefined time-varying formation. Necessary and sufficient conditions...
MODBUS is still one of the most widespread application layer protocols used in industrial communication due to its simple request-response communication session and its readiness to be implemented on top of several lower level communication protocols and various physical media such as RS232/RS485 serial lines and Ethernet TCP/IP. Given the well-known inclination of Modbus to inter-networking, a solution...
Since radio links in wireless body area networks (WBANs) commonly experience highly time-varying attenuation due to topology instability, communication protocols with fixed transmission power cannot produce a very good performance in terms of energy consumption, interference range, and communication reliability. We explain that how channel behaviourcan be modelled using Markov Chain. Then, a power-adaptive...
Test Automation Platform©1 (TAP) is a software system that developers can use to test their own hardware or software (or combinations of both). Developers create TAP test plans by combining and configuring individual test steps in a GUI. Developers can also develop their own test steps with .NET to better suit their needs. Since (manual) programming is always prone to errors, TAP users need...
In the set disjointess problem, we have k players, each with a private input X^i ⊆ [n], and the goal is for the players to determine whether or not their sets have a global intersection. The players communicate over a shared blackboard, and we charge them for each bit that they write on the board.We study the trade-off between the number of interaction rounds we allow the players, and the...
We examine the power of statistical zero knowledge proofs (captured by the complexity class SZK) and their variants. First, we give the strongest known relativized evidence that SZK contains hard problems, by exhibiting an oracle relative to which SZK (indeed, even NISZK) is not contained in the class UPP, containing those problems solvable by randomized algorithms with unbounded error. This answers...
Interactive coding, pioneered by Schulman (FOCS 92, STOC 93), is concerned with making communication protocols resilient to adversarial noise. The canonical model allows the adversary to alter a small constant fraction of symbols, chosen at the adversarys discretion, as they pass through the communication channel. Braverman, Gelles, Mao, and Ostrovsky (2015) proposed a far-reaching generalization...
Internet scale continues to expand, the IPv6 protocol standard is implemented in the network gradually, make the behavior characteristic of the network become more changeful and more unstable, so it can be more detailed to carry on network situation perception system according to network data stream to become the next research direction. The support of IPv6 Network Situation Awareness system is realized...
The high number of cells employed in a Modular Multilevel Converter represents a challenge for the control hardware. Some authors have proposed the use of digital communications to simplify the assemblage and maintenance in such converters, but the latency they add has undesirable consequences for the closed-loop performance. In this paper, we propose a model-based compensation of the latency that...
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.