Real-time systems experience many safety and performance issues at run time due to different uncertainties in the environment. Systems are now becoming highly interactive and must be able to execute in a changing envi...
详细信息
Real-time systems experience many safety and performance issues at run time due to different uncertainties in the environment. Systems are now becoming highly interactive and must be able to execute in a changing environment without experiencing any failure. A real-time system can have multiple modes of operation such as safety and performance. The system can satisfy its safety and performance requirements by switching between the modes at run time. It is essential for the designers to ensure that a multi-mode real-time system operates in the expected mode at run time. In this paper, we present a verification model that identifies the expected mode at run time and checks whether the multi-mode real-time system is operating in the correct mode or not. To determine the expected mode, we present a monitoring module that checks the environment of the system, identifies different real-world occurrences as events, determines their properties and creates an event-driven dataset for failure analysis. The dataset consumes less memory in comparison to the raw input data obtained from the monitored environment. The event-driven dataset also facilitates onboard decision-making because the dataset allows the system to perform a safety analysis by determining the probability of failure in each environmental situations. We use the probability of failure of the system to determine the safety mode in different environmental situations. To demonstrate the applicability of our proposed scheme, we design and implement a real-time traffic monitoring system that has two modes: safety, and performance. The experimental analysis of our work shows that the verification model can identify the expected operating mode at run time based on the safety (probability of failure) and performance (usage) requirements of the system as well as allows the system to operate in performance mode (in 3295 out of 3421 time intervals) and safety mode (in 126 out of 3421 time intervals). The experimental resul
The dynamic pricing environment offers flexibility to the consumers to reschedule their switching *** the dynamic pricing environment results in several benefits to the utilities and consumers,it also poses some *** c...
详细信息
The dynamic pricing environment offers flexibility to the consumers to reschedule their switching *** the dynamic pricing environment results in several benefits to the utilities and consumers,it also poses some *** crowding among residential customers is one of such *** scheduling of loads at low-cost intervals causes crowding among residential customers,which leads to a fall in voltage of the distribution system below its prescribed *** order to prevent crowding phenomena,this paper proposes a priority-based demand response program for local energy *** the program,past contributions made by residential houses and demand are considered as essential parameters while calculating the priority *** non-linear programming(NLP)model proposed in this study seeks to reschedule loads at low-cost intervals to alleviate crowding *** the NLP model does not guarantee global optima due to its non-convex nature,a second-order cone programming model is proposed,which captures power flow characteristics and guarantees global *** proposed formulation is solved using General Algebraic Modeling System(GAMS)software and is tested on a 12.66 kV IEEE 33-bus distribution system,which demonstrates its applicability and efficacy.
Recently,intelligent reflecting surfaces(IRSs)have emerged as potential candidates for overcoming the line-of-sight issue in 5 G/6 G wireless *** IRSs can manipulate the direction of reflected beams,enabling efficient...
详细信息
Recently,intelligent reflecting surfaces(IRSs)have emerged as potential candidates for overcoming the line-of-sight issue in 5 G/6 G wireless *** IRSs can manipulate the direction of reflected beams,enabling efficient beam steering to enhance the performance of wireless *** unit cell(or unit structure)of an IRS commonly consists of electrical elements for phase ***,by employing phase modulation alone,an IRS can steer the reflected electromagnetic waves toward only discrete and specific angles,leaving a wide range of out-of-beam *** this work,an IRS that uses both phase modulation and space modulation is presented to improve the beam resolution and continuously cover out-of-beam areas that phase modulation alone cannot address.A positive-intrinsic-negative diode is mounted on a unit cell for phase modulation,and a 4D-printed reconfigured structure is fabricated to demonstrate space *** beam-steering function is achieved by alternating the states of the diodes in the same columns,while the beam resolution is improved by controlling the gaps between the *** functions are frst theoretically and numerically analyzed and then experimentally verified,demonstrating that additional angles of-46°/+50°,-22°/+14°,and -16°/+12°are achieved with space modulation and -60°/+62°,-30°/+22°,and±16°are achieved by phase modulation *** proposed IRS offers the possibility of functional integration in a variety of indoor applications within the wireless communication field.
作者：
Shirzi, Moteaal AsadiKermani, Mehrdad R.Western University
Advanced Robotics and Mechatronic Systems Laboratory Electrical and Computer Engineering Department LondonONN6A 5B9 Canada Western University
Advanced Robotics and Mechatronic Systems Laboratory The Department of Electrical and Computer Engineering LondonONN6A 5B9 Canada
In this article, we propose a new algorithm to improve plant recognition through the use of feature descriptors. The accurate results from this identification method are essential for enabling autonomous tasks, such a...
详细信息
With 5G and beyond promises to realize massive machine-type communications, a wide range of applications have driven interest in complex heterogeneous networked systems, including multi-agent optimization, large-scale...
详细信息
ISBN:
(纸本)9798350371000;9798350370997
With 5G and beyond promises to realize massive machine-type communications, a wide range of applications have driven interest in complex heterogeneous networked systems, including multi-agent optimization, large-scale distributed learning, 5G service provisioning, etc. This trend highlights the essence of seamless control, management, and security mechanisms to be in place for the next-generation networked cyber-physical systems (CPS). In this paper, we interpret trust as a relation among networked collaborating entities that can set forth a measure for evaluating the status of network components and secure the execution of the collaborative protocol. In this paper, we will first elaborate on the importance of trust as a metric and then present a mathematical framework for trust computation and aggregation within a network. We consider two use-case examples where trust can be incorporated into the next-generation networked CPS and improve the security of decision-making, i.e. i) federated learning (FL), and ii) network resource provisioning. Finally, we explain the challenges associated with aggregating the trust evidence and briefly explain our ideas to tackle them.
The revival of traditional latticework mashrabiyya is continually urged in the Middle East and North Africa to address conflicting needs since it optimally balances environmental, social, and aesthetic functions. Howe...
详细信息
This article defines embeddings between state-based and action-based probabilistic logics which can be used to support probabilistic model checking. First, we slightly modify the model embeddings proposed in the liter...
详细信息
By integrating smart grid technology with home energy management systems, households can monitor and optimise their energy consumption. This allows for more efficient use of energy resources, reducing waste and loweri...
详细信息
The resonant converters are promising topologies for the electric vehicle charging applications due to the soft switching feature. However, the conventional LLC resonant converter regulates the wide output voltage thr...
详细信息
暂无评论