Results 11 to 20 of about 3,015,526 (334)
Model checking embedded system designs [PDF]
, 2002 We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can ...
Brinksma, Ed, Mader, Angelika
core +6 more sources
Interactions around a contextually embedded system [PDF]
, 2010 This paper discusses observations of visitor interactions around a museum installation, focusing on how physical setup and shape of two variants of the installation, a telescope-like viewer and a barrier-free screen, shaped visitor experiences and ...
Hornecker, E.
core +2 more sources
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
IEEE Access, 2018 The correctness verification is very important for workflow systems. It is closely related with both control-flows and data-flows. Workflow nets with data (WFD-nets) are a kind of formal model that can reflect some logical structures of workflow systems,
Yaqiong He +5 more
doaj +1 more source
Location Prediction Model Based on the Internet of Vehicles for Assistance to Medical Vehicles
IEEE Access, 2020 Along with the Internet of Vehicles, some intelligent systems can help the medical vehicles transport medical supplies and patients. In terms of emergency issues like catastrophic natural disasters or serious accidents, safe and timely transportation for
Jiujun Cheng +7 more
doaj +1 more source
Control of the weakly damped System with the embedded system support [PDF]
, 2018 This paper deals with the experimental verification of the importance of embedded systems with an applied MEMS sensor in controlling weakly damped systems. The aim is to suppress actively residual oscillations.
Kondelová, Anna +2 more
core +2 more sources
A software radio platform based on ARM and FPGA
MATEC Web of Conferences, 2016 The rapid rise in computational performance offered by computer systems has greatly increased the number of practical software radio applications. A scheme presented in this paper is a software radio platform based on ARM and FPGA.
Yang Xin., Li Zhengxiang.
doaj +1 more source
Practical Methods for Vehicle Speed Estimation Using a Microprocessor-Embedded System with AMR Sensors. [PDF]
Sensors (Basel), 2018 Markevicius V +5 more
europepmc +3 more sources
The Exchange Value Embedded In A Transport System [PDF]
, 2010 This paper shows that a well designed transport system has an embedded exchange value by serving as a market for potential exchange between consumers. Under suitable conditions, one can improve the welfare of consumers in the system simply by allowing ...
Xia, Qinglan, Xu, Shaofeng
core +2 more sources
Mobile Plant Disease Classifier, Trained with a Small Number of Images by the End User
Agronomy, 2022 Mobile applications that can be used for the training and classification of plant diseases are described in this paper. Professional agronomists can select the species and their diseases that are supported by the developed tool and follow an automatic ...
Nikos Petrellis +3 more
doaj +1 more source
An embedded system for evoked biopotential acquisition and processing [PDF]
, 2014 This work presents an autonomous embedded system for evoked biopotential acquisition and processing. The system is versatile and can be used on different evoked potential scenarios like medical equipments or brain computer interfaces, fulfilling the ...
Garcia, Pablo Andres +2 more
core +2 more sources