HYBRID
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
HYBRID
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
HYBRID
1997
Springer
14 years 3 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
HYBRID
1997
Springer
14 years 3 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
14 years 3 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
14 years 3 months ago
1997
Springer
HYBRID
1997
Springer
14 years 3 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
14 years 3 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...