1681 search results - page 30 / 337 » Formal Design of Distributed Control Systems with Lustre |
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
CDC
2009
IEEE
14 years 8 days ago
2009
IEEE
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
ENTCS
2008
13 years 7 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
IFIP13
2004
13 years 9 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
COMPSAC
2002
IEEE
14 years 15 days ago
2002
IEEE
Distributed software development support systems typically use a centralized client-server architecture. This approach has some drawbacks such as the participants may experience l...