Results 1 to 10 of about 1,868,569 (50)
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 +8 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
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
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 Holistic Approach in Embedded System Development
, 2015 We present pState, a tool for developing "complex" embedded systems by integrating validation into the design process. The goal is to reduce validation time. To this end, qualitative and quantitative properties are specified in system models expressed as
Nokovic, Bojan, Sekerinski, Emil
core +4 more sources
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
Invariant Measures for Hybrid Stochastic Systems [PDF]
, 2014 In this paper, we seek to understand the behavior of dynamical systems that are perturbed by a parameter that changes discretely in time. If we impose certain conditions, we can study certain embedded systems within a hybrid system as time-homogeneous ...
Garcia, Xavier +6 more
core +1 more source
Integrated Design and Implementation of Embedded Control Systems with Scilab [PDF]
, 2008 Embedded systems are playing an increasingly important role in control engineering. Despite their popularity, embedded systems are generally subject to resource constraints and it is therefore difficult to build complex control systems on embedded ...
Bucher +8 more
core +5 more sources
Metallic phase in stoichiometric CeOBiS 2 revealed by space-resolved ARPES [PDF]
, 2018 Recently CeOBiS2 system without any fluorine doping is found to show superconductivity posing question on its origin. Using space resolved ARPES we have found a metallic phase embedded in the morphological defects and at the sample edges of ...
Aoki, Y. +11 more
core +2 more sources
Monte Carlo Radiative Transfer in Embedded Prestellar Cores [PDF]
, 2003 We implement a Monte Carlo radiative transfer method, that uses a large number of monochromatic luminosity packets to represent the radiation transported through a system. These packets are injected into the system and interact stochastically with it. We
Stamatellos, D., Whitworth, A. P.
core +2 more sources