Sciweavers

385 search results - page 6 / 77
» Semi-automatic Distributed Synthesis
Sort
View
CONCUR
2008
Springer
13 years 11 months ago
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
14 years 3 months ago
Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems
1 We present an approach to schedulability analysis for the synthesis of multi-cluster distributed embedded systems consisting of timetriggered and event-triggered clusters, interc...
Paul Pop, Petru Eles, Zebo Peng
CONCUR
2004
Springer
14 years 3 months ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
14 years 4 months ago
Distributed control: A sequentially semi-separable approach
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...
Justin K. Rice, Michel Verhaegen