1681 search results - page 9 / 337 » Formal Design of Distributed Control Systems with Lustre |
ENTCS
2006
13 years 7 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
CAISE
2001
Springer
13 years 12 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
IWPC
1996
IEEE
13 years 11 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- Communication networks provide a larger flexibility with respect to the control design of large-scale interconnected systems by allowing the information exchange between...
TII
2010
13 years 2 months ago
2010
Abstract--CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable e...