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.
Electrical energy generation is evolving from centralized towards distributed energy resources (DER) like wind and solar power plants. In such power systems, new challenges arise for the design of voltage source converter (VSC) control strategies. In the last few years synchronverters have gained interest from the research community due to their capability of emulating synchronous machines (SMs) and...
Packet collision and packet delay are considered to be critical for safety applications in vehicular networks. This paper designs a new analytical model to evaluate the performance of channel switching for IEEE 802.11p/WAVE in vehicular networks. Under this model, it explicitly expresses the WAVE channel switching, and constructs contention window size and number of vehicles as packet collision probability...
G.fast recently standardized by the ITU [1] aims at providing gigabit access from the Distribution Point (DP). The deployment of this new technology will be progressive as previous technological migrations, so G.fast will share the access network with existing DSL systems, particularly with vectored VDSL2. However, G.fast and vectored VDSL2 as defined by the standards are spectral-incompatible due...
CANopen is an increasingly popular protocol for the design of networked embedded systems. Nonetheless, the large variety of communication and network management functionalities supported in CANopen can increase significantly systems complexity and in turn, the needs for system validation at design time. We present hereafter a rigorous method based on formal modeling and verification techniques, allowing...
Control and data dependencies represent prominent information for modeling, managing, testing and optimizing service based business processes (SBPs). BPMN 2.0, as a twofold-purpose language, can be used to both mode land execute these SBPs. However, there is neither tailored support nor implemented tool for dependency ananlysis of such processes. Therefore, in this paper, we designed and implemented...
Timed-Triggered Ethernet (TTEthernet) is a communication infrastructure that enables the use of Ethernet networks in real-time, distributed applications. The core of TTEthernet is a set of fault-tolerant protocols for clock synchronization, startup, and clique detection and resolution. We present recent work on model-based analysis of the TTEthernet startup and synchronization protocols. We first...
The construction industry has been facing a paradigm shift to (i) increase; productivity, efficiency, infrastructure value, quality and sustainability, (ii) reduce; lifecycle costs, lead times and duplications, via effective collaboration and communication of stakeholders in construction projects. Digital construction is a political initiative to address low productivity in the sector. This seeks...
Model-driven engineering is a software development method to model applications at a high level of abstraction and introduce platform specific details automatically using model transformations. Similarly, models specified in human-readable languages can be mapped automatically onto languages that support the analysis of formal properties. In an industrial context, the transformations that automate...
In this paper, we address the issue of transmission power control (TPC) in wireless ad hoc networks. Power control plays an important role in energy saving and network performance enhancement. However, the existing TPC schemes either face the problem of hidden and exposed terminal or have additional hardware requirements. We propose a novel distributed power control protocol, called Receiver Initiated...
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.