1190 search results - page 66 / 238 » The Continuing Quest for Abstraction |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We consider trajectory planning within the frameworks of optimal control and harmonic control. We present a formal evidence, in the continuous domain and in a standard ...
BIOWIRE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Here we study the plausibility of a phase oscillators dynamical model for time division for multiple access in wireless communication networks. We show that emerging patt...
FORMATS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
HYBRID
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
LPAR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...