1681 search results - page 24 / 337 » Formal Design of Distributed Control Systems with Lustre |
WOSS
2004
ACM
15 years 3 months ago
2004
ACM
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
75
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
166
click to vote
TASE
2012
IEEE
13 years 5 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...