2555 search results - page 117 / 511 » Putting complex systems to work |
156
click to vote
HYBRID
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
175
click to vote
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
155
click to vote
LWA
2004
15 years 6 months ago
2004
This paper discusses ongoing work towards a theoretical basis intended to facilitate the development of self-regulating adaptive systems. Self-regulation refers to the capacity of...
165
click to vote
DT
2008
15 years 5 months ago
2008
In the past decade real-time embedded systems became more and more complex and pervasive. From the user perspective, these systems have stringent requirements regarding size, perfo...
140
click to vote
AUTOMATICA
2006
15 years 5 months ago
2006
We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose ...