20126 search results - page 248 / 4026 » Timed Transition Systems |
103
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we discuss the practical stability of a class of time delay systems with an unstable equilibrium. We obtain sufficient conditions based on Lyapunov-Krasovskii fu...
143
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
130
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— In this paper we consider the problem of optimizing over the switching times for a multi-modal dynamic system when the complete cost-to-go is not available. The instant...
150
click to vote
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
The HW/SW partitioning problem addressed in this paper is one of the key steps in the co-design flow of heterogeneous embedded systems. Generally the aim is to provide solutions t...