3565 search results - page 94 / 713 » Modeling a system controller for timing analysis |
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
WSC
2001
15 years 1 months ago
2001
We study the stability of two queueing delay-based congestion control algorithms, the (p, 1)-proportionally fair algorithm and the global optimization algorithm. We linearize the ...
105
click to vote
TC
2008
14 years 11 months ago
2008
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified in ...
107
click to vote
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...
108
click to vote
ICSEA
2008
IEEE
15 years 6 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...