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.
Solar plants typically consist of several thousands of passive photovoltaic modules that are connected via thousands of string boxes to hundreds of inverters. In addition, a solar plant has meteo-sensors, power meters and control switches. All these components continuously generate data that is collected by monitoring systems or SCADA systems on-site. From there onwards, this data is pushed to remote...
Cyber-physical systems (CPS) integrate computation with physical processes. For the last years, CPS have been in the focus of research and are getting adopted in multiple domains like health care, automotive and smart factories. The use of CPS promises dynamic adaption of systems to changing environmental and economic conditions through autonomous CPS decisions based on the physical process. In industrial...
The amount of linked open data is growing fast. Yet, it is difficult for the end users to access the semantic data without having the in depth knowledge of the SPARQL language. The modern semantic search engines tackled the problem with standard user interfaces. However, these interfaces are not very usable for people with no understanding of semantic technologies. It is challenging for the semantic...
In safety-critical environments it is no longer sufficient to rely on legacy methodologies. Correctness should be built in all the way through the process. This paper presents a toolchain which allows theorem prover output to be interfaced to fault-tolerant FPGA circuitry. We show a shallow embedding of a lambda calculus executing on a Xilinx platform with the assistance of a choice of fault-tolerance...
Petri nets are often used as a design tool amenable to model specification, simulation, and verification. They are typically used in the design phase often with no clear connection to the requirements phase, including requirements specification. This paper shows how a class of non-autonomous Petri Nets can be used as an executable model for the design and implementation of machine domains in the context...
Ever increasing volumes of media content and the desire to extract information from media archives motivate the studies into semantic audio information mining. Much research in this filed concerns development of bespoke systems, in which soundtracks are exclusively classified and segmented, and a specific type of sound is recognized and analyzed. This approach however is detrimental to the complete...
This study considers the problem of in-depth document analysis. We propose a new document analysis method, named Multi-Dimensional Linear Discriminant Analysis (MDL-DA), which enables us to formulate an efficient class specific semantic representation of local information from a document with respect to term associations and spatial distributions. MDL-DA works by firstly partitioning each document...
Modern control and monitoring systems incorporate large number of heterogeneous devices and are operated by many users with different roles and responsibilities. The information generated by these devices, although preprocessed and filtered, is usually delivered to users regardless of their actual information needs, thus overwhelming cognitive capacities and potentially affecting safety of the system...
Cyber-physical systems show their impacts in many areas including industrial automation. Design and analysis of cyber-physical automation systems requires an integral model that takes into account tight coordination of control, communication and physical plants dynamics, thus creating a new research domain, namely industrial cyber-physical systems. This paper proposes a new execution semantics for...
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.