1681 search results - page 10 / 337 » Formal Design of Distributed Control Systems with Lustre |
CDVE
2007
Springer
14 years 1 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
13 years 12 months ago
2001
Springer
FM
1999
Springer
13 years 11 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...
TRIDENTCOM
2010
IEEE
13 years 5 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...
ECRTS
1998
IEEE
13 years 11 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 ...