4520 search results - page 73 / 904 » Algebraic Techniques for Timed Systems |
144
click to vote
PTS
2008
15 years 3 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
115
Voted
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
91
Voted
ICCD
1995
IEEE
15 years 5 months ago
1995
IEEE
Many design techniques have been proposed to optimize the performance of a digital system implemented in a given technology. Each of these techniques can be advantageous in partic...
92
Voted
IJBC
2008
15 years 1 months ago
2008
The paper deals with time-scaling transformations of dynamical systems. Such scaling functions operate a change of coordinates on the time axis of the system trajectories preservi...
108
Voted
AUTOMATICA
2005
15 years 1 months ago
2005
This paper presents novel analysis results for input-to-state stability (ISS) that utilise dynamic programming techniques to characterise minimal ISS gains and transient bounds. Th...