1681 search results - page 48 / 337 » Formal Design of Distributed Control Systems with Lustre |
HYBRID
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
ICSE
2001
IEEE-ACM
14 years 2 days ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
SIGSOFT
1998
ACM
13 years 12 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
IWSSD
2000
IEEE
14 years 3 hour ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
COMCOM
1998
13 years 7 months ago
1998
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...