HYBRID
1999
Springer
14 years 3 months ago
1999
Springer
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
HYBRID
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. In this article we investigate how to generate flight trajectories for an autonomous helicopter. The planning strategy that we propose reflects the controller architect...
HYBRID
1999
Springer
14 years 3 months ago
1999
Springer
HYBRID
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. In this paper we investigate orthogonal polyhedra, i.e. polyhedra which are finite unions of full-dimensional hyper-rectangles. We define representation schemes for the...
HYBRID
1999
Springer
14 years 3 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
HYBRID
1999
Springer
14 years 3 months ago
1999
Springer
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
Typically, temporal validity of real-time data is maintained by periodic update transactions. In this paper, we examine the problem of period and deadline assignment for these upda...
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
Many scheduling paradigms have been studied for realtime applications and real-time communication network. Among them, the most commonly used paradigms include priority-driven, ti...