Sciweavers

3199 search results - page 101 / 640
» Variability in Automation System Models
Sort
View
ICINCO
2004
122views Robotics» more  ICINCO 2004»
13 years 11 months ago
Data Security Considerations in Modern Automation Networks
: The automation manufacturing business has reached its turning point and manufacturers are forced to create new business areas. Their expertise about field devices will be the sou...
Mikko Salmenperä, Jari Seppälä
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
13 years 10 months ago
A mathematical framework for the control of piecewise-affine models of gene networks
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
Etienne Farcot, Jean-Luc Gouzé
ECSQARU
2005
Springer
14 years 3 months ago
Consonant Random Sets: Structure and Properties
In this paper, we investigate consonant random sets from the point of view of lattice theory. We introduce a new definition of consonancy and study its relationship with possibili...
Enrique Miranda
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
14 years 4 months ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...
HF
2002
95views more  HF 2002»
13 years 10 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann