13717 search results - page 442 / 2744 » Control Systems |
177
click to vote
CSREASAM
2006
15 years 7 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
152
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper deals with the pull-in control and the nanopositioning of an electrostatically actuated NEMS (Nano Electromechanical System) squeezed between two forces. It is shown tha...
192
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
178
click to vote
ICONS
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
165
click to vote
RAS
2006
15 years 6 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...