1042 search results - page 7 / 209 » Synthesis of Software Programs for Embedded Control Applicat... |
LCTRTS
2001
Springer
15 years 4 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
SCOPES
2005
Springer
15 years 5 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
87
Voted
HYBRID
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
DAC
2009
ACM
16 years 18 days ago
2009
ACM
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...