828 search results - page 27 / 166 » Modularity for Timed and Hybrid Systems |
117
click to vote
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
117
click to vote
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
148
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
99
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
113
click to vote
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...