79 search results - page 4 / 16 » hybrid 1997 |
DAC
1997
ACM
13 years 9 months ago
1997
ACM
HYBRID
1997
Springer
13 years 9 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...
ISER
1997
Springer
13 years 9 months ago
1997
Springer
: A position-based impedance controller has been implemented on a mini-excavator. Its performance and an approach to evaluate its stability robustness for given environment impedan...
PCRCW
1997
Springer
13 years 9 months ago
1997
Springer
A novel routing scheme is proposed for virtual cutthrough routing that attempts to combine the low routing delay of deterministic routing with the exibility and low queuing delays...
DATE
1997
IEEE
13 years 9 months ago
1997
IEEE
This paper presents an algorithmic technique based on hybridizing Symbolic Manipulation Techniques based on BDDs with more traditional Explicit solving algorithms. To validate the...