HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
This paper presents the results of simulation and control experiments using a recently proposed method for real-time switching among a pool of controllers. The switching strategy ...
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
RTSS
1996
IEEE
13 years 11 months ago
1996
IEEE
In this paper, issues involved in the design of a real-time database which maintains data temporal consistency are discussed. The concept of data-deadline is introduced and time co...
RTSS
1996
IEEE
13 years 11 months ago
1996
IEEE
RTSS
1996
IEEE
13 years 11 months ago
1996
IEEE
RTSS
1996
IEEE
13 years 11 months ago
1996
IEEE
RTSS
1996
IEEE
13 years 11 months ago
1996
IEEE
