One of the factors determining comfort in buildings is the indoor air temperature of the rooms. A control system, part of the home automation system, should stabilise air temperature to the desired level, despite vari...
详细信息
The problem of the rapid creation of effective web applications of one class using formal means is considered. A conceptual approach to its solution is offered based on an analysis of the peculiarities of the construc...
详细信息
ISBN:
(纸本)9781728140704
The problem of the rapid creation of effective web applications of one class using formal means is considered. A conceptual approach to its solution is offered based on an analysis of the peculiarities of the construction of web applications. Our approach is based on defining the standard web application architecture and selecting its components using formal methods in accordance with user requirements. A formal logical system is proposed that uses the design of web applications as a process of outputting a formula specified according to the needs of the user, which defines the schemes of execution of the modules of the system. An important feature of this approach is the ability to visualise the process of designing the system in 3D, which creates the conditions for effective interaction between developers and machine development tools.
This paper presents a comprehensive review of state-of-the-art occupancy grid mapping approaches for highway and urban automotive applications. The primary objective is to identify most suitable algorithm candidates f...
详细信息
This paper presents a comprehensive review of state-of-the-art occupancy grid mapping approaches for highway and urban automotive applications. The primary objective is to identify most suitable algorithm candidates for series applications. The occupancy grid functional performance requirements for automotive are given. A new high level grid fusion architecture is introduced. The innovative element is a second stage filtering step allowing better performance in case of highly uncertain inputs. An application of the architectures to an example sensor suite is proposed.
A coupled computational approach to simultaneously learn a vector field and the region of attraction of an equilibrium point from generated trajectories of the system is proposed. The nonlinear identification leverage...
详细信息
One of the risk factors in skin cancer is unprotected exposure to UV radiation. Melanoma is the deadliest form of skin cancer but also curable if it is diagnosed in the early stages. This study uses a histogram analys...
详细信息
MRI images contain a lot of subtle information related to various lesions which are difficult to be picked up by radiologists. computer aided diagnosis CAD is a valuable tool to improve the ability of an average radio...
详细信息
In this paper we propose a flying IoT system designed to monitor parking lot. The system is composed of a flying mobile station and a terrestrial station. The mobile station consists of visual monitoring camera associ...
In this paper we propose a flying IoT system designed to monitor parking lot. The system is composed of a flying mobile station and a terrestrial station. The mobile station consists of visual monitoring camera associated with air quality monitoring sensors, mounted on a Turnigy SK450 quad copter controlled with Pixhawk autopilot hardware. Data gathered from the monitoring system are transmitted to an IoT broker running on a Raspberry Pi 3+ microcontroller, also mounted on a drone, that aggregates data into a common flow and retransmits them to the terrestrial station. The transmission system was build according to WebRTC architecture. In order to assure separation of the production network (for transmission of application data) and the management network (for management and control purposes), two different transmission channels are used: one for the WebRTC transmission and the other for controlling the drone. The paper includes a description of the system and the results of field trials carried out on the parking lot of the AGH University of technology.
In this paper, we introduce a notion of so-called finite-step simulation functions for discrete-time control systems. In contrast to the existing notions of simulation functions, a finite-step simulation function does...
详细信息
ISBN:
(数字)9781728113982
ISBN:
(纸本)9781728113999
In this paper, we introduce a notion of so-called finite-step simulation functions for discrete-time control systems. In contrast to the existing notions of simulation functions, a finite-step simulation function does not need decay at each time step but after some finite numbers of steps. We show that the existence of such a function guarantees that the mismatch between output trajectories of the concrete and abstract systems lies within an appropriate bound. Using this relaxation, we develop a new type of small-gain conditions which are less conservative than those previously used for compositional construction of approximate abstractions of interconnected control systems. In particular, using finite-step simulation functions, it is possible to construct approximate abstractions, where stabilizability of each subsystem is not necessarily required. The effectiveness of our results is verified by an illustrative example.
暂无评论