1317 search results - page 110 / 264 » A new delay system approach to network-based control |
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
AUTOMATICA
1999
13 years 9 months ago
1999
Relays are common in automatic control systems. Even linear systems with relay feedback are, however, far from fully understood. New results are given about the behavior of these ...
AUTOMATICA
2006
13 years 9 months ago
2006
We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentim...
ATC
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...