1681 search results - page 30 / 337 » Formal Design of Distributed Control Systems with Lustre |
SP
1997
IEEE
15 years 1 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
15 years 2 months 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...
62
Voted
ENTCS
2008
14 years 9 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...
82
Voted
IFIP13
2004
14 years 11 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
15 years 2 months 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...