3565 search results - page 20 / 713 » Modeling a system controller for timing analysis |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
ECRTS
2002
IEEE
15 years 4 months ago
2002
IEEE
For priority based buses such as CAN, worst case response time analysis is able to determine whether messages always meet their deadlines. This can include system models with boun...
111
click to vote
DEDS
2010
14 years 9 months ago
2010
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
102
click to vote
REX
1991
15 years 3 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...