Sciweavers

8658 search results - page 1573 / 1732
» Models of Command and Control
Sort
View
JAR
2008
107views more  JAR 2008»
13 years 9 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
IJRR
2006
89views more  IJRR 2006»
13 years 9 months ago
Time-optimal Trajectories for an Omni-directional Vehicle
A common mobile robot design consists of three `omniwheels' arranged at the vertices of an equilateral triangle, with wheel axles aligned with the rays from the center of the...
Devin J. Balkcom, Paritosh A. Kavathekar, Matthew ...
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 9 months ago
Bistable Biorders: A Sequential Domain Theory
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
James Laird
IJWIS
2006
87views more  IJWIS 2006»
13 years 9 months ago
Systematic Development of Physical Hypermedia Applications
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...
Cecilia Challiol, Gustavo Rossi, Silvia E. Gordill...
IJWMC
2006
100views more  IJWMC 2006»
13 years 9 months ago
A microscopic study of power management in IEEE 802.11 wireless networks
IEEE 802.11 power-save mode (PSM) has been proposed in wireless LANs and multi-hop wireless networks to coordinate power states of wireless devices. In IEEE 802.11 PSM, power manag...
Chunyu Hu, Rong Zheng, Jennifer C. Hou, Lui Sha
« Prev « First page 1573 / 1732 Last » Next »