172 search results - page 15 / 35 » Enforcing synchronous system properties on top of timed syst... |
111
click to vote
TII
2008
15 years 1 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
118
click to vote
TCAD
1998
15 years 1 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
102
click to vote
PODC
2009
ACM
16 years 2 months ago
2009
ACM
d Abstract] Christoph Lenzen Computer Engineering and Networks Laboratory (TIK) ETH Zurich, 8092 Zurich, Switzerland lenzen@tik.ee.ethz.ch Thomas Locher Computer Engineering and N...
147
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...