1681 search results - page 10 / 337 » Formal Design of Distributed Control Systems with Lustre |
CDVE
2007
Springer
15 years 3 months ago
2007
Springer
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
SAFECOMP
2001
Springer
15 years 2 months ago
2001
Springer
106
click to vote
FM
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
104
click to vote
TRIDENTCOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...
73
Voted
ECRTS
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...