-
1
-
-
84988768606
-
-
Online
-
Crossbow. Online Available: http://www.xbow.com/
-
-
-
-
2
-
-
84988788224
-
-
Online
-
Millennial. Online Available: http://www.millennial.net
-
-
-
-
3
-
-
84988759250
-
-
Online
-
Sensoria. Online Available: http://www.sensoria.com
-
-
-
-
4
-
-
0035121216
-
Smart Dust: Communicating with a cubic-millimeter computer
-
Jan
-
B. Warneke, M. Last, and K. S. J. Pister, "Smart Dust: Communicating with a cubic-millimeter computer," IEEE Computer, vol. 34, pp. 44-51, Jan. 2001.
-
(2001)
IEEE Computer
, vol.34
, pp. 44-51
-
-
Warneke, B.1
Last, M.2
Pister, K.S.J.3
-
5
-
-
84988788240
-
Smart buildings admit their faults
-
Online
-
Smart buildings admit their faults. Lab Notes Online Available: http://www.coe.berkeley.edu/labnotes/1101smartbuildings.html
-
Lab Notes
-
-
-
6
-
-
0036986465
-
Wireless sensor networks for habitat monitoring
-
Atlanta, GA
-
A. Mainwaring, J. Polastre, R. Szewczyk, D. Culler, and J. Anderson, "Wireless sensor networks for habitat monitoring," presented al the 1st ACM Int. Workshop Wireless Sensor Networks and Applications, Atlanta, GA, 2002.
-
(2002)
1st ACM Int. Workshop Wireless Sensor Networks and Applications
-
-
Mainwaring, A.1
Polastre, J.2
Szewczyk, R.3
Culler, D.4
Anderson, J.5
-
8
-
-
84978422134
-
Fine-grained network time synchronization using reference broadcasts
-
Boston, MA
-
J. Elson, L. Girod, and D. Estrin, "Fine-grained network time synchronization using reference broadcasts," presented at the 51th Symp. Operating Systems Design and Implementation (OSDI), Boston, MA, 2002.
-
(2002)
51th Symp. Operating Systems Design and Implementation (OSDI)
-
-
Elson, J.1
Girod, L.2
Estrin, D.3
-
10
-
-
85074375621
-
Next century challenges: Scalable coordination in sensor networks
-
D. Estrin, R. Govindan, J. S. Heidemann, and S. Kumar, "Next century challenges: scalable coordination in sensor networks," in Proc. 5th Annu. ACM/IEEE Int. Conf. Mobile Computing and Networking, 1999, pp. 263-270.
-
(1999)
Proc. 5th Annu. ACM/IEEE Int. Conf. Mobile Computing and Networking
, pp. 263-270
-
-
Estrin, D.1
Govindan, R.2
Heidemann, J.S.3
Kumar, S.4
-
11
-
-
0032621035
-
A review of current routing protocols for ad-hoc mobile wireless networks
-
Apr
-
E. M. Royer and C.-K. Toh, "A review of current routing protocols for ad-hoc mobile wireless networks," IEEE Pers. Commun., vol. 6, pp. 46-55, Apr. 1999.
-
(1999)
IEEE Pers. Commun.
, vol.6
, pp. 46-55
-
-
Royer, E.M.1
Toh, C.-K.2
-
12
-
-
85032751029
-
Information-driven dynamic sensor collaboration
-
Mar
-
F. Zhao, J. Shin, and J. Reich, "Information-driven dynamic sensor collaboration," IEEE Signal Processing Mag., vol. 19, pp. 61-72, Mar. 2002.
-
(2002)
IEEE Signal Processing Mag.
, vol.19
, pp. 61-72
-
-
Zhao, F.1
Shin, J.2
Reich, J.3
-
13
-
-
85032750940
-
Sensing, tracking and reasoning with relations
-
Mar
-
L. Guibas, "Sensing, tracking and reasoning with relations," IEEE Signal Processing Mag., vol. 19, no. 2, pp. 73-85, Mar. 2002.
-
(2002)
IEEE Signal Processing Mag.
, vol.19
, Issue.2
, pp. 73-85
-
-
Guibas, L.1
-
14
-
-
0001824160
-
Pursuit-evasion in a graph
-
Y. Alani and D. Lick, Eds: Springer-Verlag
-
T. Parsons, "Pursuit-evasion in a graph," in Lecture Notes in Mathmatics. Theory and Application of Graphs, Y. Alani and D. Lick, Eds: Springer-Verlag, 1976, vol. 642, pp. 426-441.
-
(1976)
Lecture Notes in Mathmatics. Theory and Application of Graphs
, vol.642
, pp. 426-441
-
-
Parsons, T.1
-
15
-
-
0023826724
-
The complexity of searching a graph
-
M. Megiddo, S. Hakimi, M. Garey, S. Johnson, and C. Papadimitriou, "The complexity of searching a graph," J. ACM. vol. 35, no. 2, pp. 18-44, 1988.
-
(1988)
J. ACM.
, vol.35
, Issue.2
, pp. 18-44
-
-
Megiddo, M.1
Hakimi, S.2
Garey, M.3
Johnson, S.4
Papadimitriou, C.5
-
16
-
-
0027577361
-
Recontamination does not help to search a graph
-
Apr
-
A. S. Lapaugh, "Recontamination does not help to search a graph," J. ACM, vol. 40, no. 2, pp. 224-245, Apr. 1993.
-
(1993)
J. ACM
, vol.40
, Issue.2
, pp. 224-245
-
-
Lapaugh, A.S.1
-
17
-
-
0030654376
-
Finding an unpredictable target in a workspace with obstacles
-
S. LaValle, D. Lin, L. Guibas, J. Latombe, and R. Motwani, "Finding an unpredictable target in a workspace with obstacles," in IEEE Int. Conf. Robotics and Automation, vol. 1, 1997, pp. 737-742.
-
(1997)
IEEE Int. Conf. Robotics and Automation
, vol.1
, pp. 737-742
-
-
LaValle, S.1
Lin, D.2
Guibas, L.3
Latombe, J.4
Motwani, R.5
-
18
-
-
0032669548
-
Visibility-based pursuit-evasion: The case of curved environments
-
S. LaValle and J. Hinrichsen, "Visibility-based pursuit-evasion: the case of curved environments," in IEEE Int. Conf. Robotics and Automation, vol. 3, 1999, pp. 1677-1682.
-
(1999)
IEEE Int. Conf. Robotics and Automation
, vol.3
, pp. 1677-1682
-
-
Lavalle, S.1
Hinrichsen, J.2
-
19
-
-
0032026129
-
How to learn an unknown environment 1: The rectilinear case
-
X. Deng, T. Kameda, and C. Papadimitriou, "How to learn an unknown environment 1: the rectilinear case," J. ACM, vol. 45, no. 2, pp. 215-245, 1998.
-
(1998)
J. ACM
, vol.45
, Issue.2
, pp. 215-245
-
-
Deng, X.1
Kameda, T.2
Papadimitriou, C.3
-
20
-
-
0032120083
-
A probabilistic approach to concurrent mapping and localization for mobile robots
-
S. Thrun, W. Burgard, and D. Fox, "A probabilistic approach to concurrent mapping and localization for mobile robots," Mach. Learn./Autonomous Robots (joint issue). vol. 31, no. 5, pp. 1-25, 1998.
-
(1998)
Mach. Learn./Autonomous Robots (Joint Issue)
, vol.31
, Issue.5
, pp. 1-25
-
-
Thrun, S.1
Burgard, W.2
Fox, D.3
-
21
-
-
0033343986
-
Multiple-agent probabilistic pursuit-evasion games
-
J. Hespanha, H. J. Kim, and S. Sastry, "Multiple-agent probabilistic pursuit-evasion games," in Proc. 38th Conf. Decision and Control, 1999, pp. 2432-2437.
-
(1999)
Proc. 38th Conf. Decision and Control
, pp. 2432-2437
-
-
Hespanha, J.1
Kim, H.J.2
Sastry, S.3
-
22
-
-
0035710625
-
A hierarchical approach to probabilistic pursuit evasion games with unmanned ground and aerial vehicles
-
J. Kim, R. Vidal, H. Shim, O. Shakernia, and S. Sastry, "A hierarchical approach to probabilistic pursuit evasion games with unmanned ground and aerial vehicles," Proc. 40th IEEE Conf. Decision and Control, pp. 634-639, 2001.
-
(2001)
Proc. 40th IEEE Conf. Decision and Control
, pp. 634-639
-
-
Kim, J.1
Vidal, R.2
Shim, H.3
Shakernia, O.4
Sastry, S.5
-
23
-
-
84988742365
-
-
Online
-
Great Duck Island. Online Available: http://www.greatduckisland.net/
-
-
-
-
25
-
-
84988779683
-
-
Online
-
NesC. Online Available: http://nescc.sourceforge.net/
-
-
-
-
26
-
-
84988765429
-
-
Online
-
TinyOS. Online Available: http://webs.cs.berkeley.edu/tos/
-
-
-
-
27
-
-
0036018254
-
Self-organized fish schools: An examination of emergent properties
-
June
-
J. Parrish, S. Viscido, and D. Grunbaum, "Self-organized fish schools: an examination of emergent properties," Biol. Bull., vol. 202, pp. 296-305, June 2002.
-
(2002)
Biol. Bull.
, vol.202
, pp. 296-305
-
-
Parrish, J.1
Viscido, S.2
Grunbaum, D.3
-
28
-
-
0036018257
-
Dynamics of aggregation and emergence of cooperation
-
June
-
J. Deneubourg, A. Lioni, and C. Detrain, "Dynamics of aggregation and emergence of cooperation," Biol. Bull., vol. 202, pp. 262-267, June 2002.
-
(2002)
Biol. Bull.
, vol.202
, pp. 262-267
-
-
Deneubourg, J.1
Lioni, A.2
Detrain, C.3
-
29
-
-
0036608987
-
Biomimiery of bacterial foraging for distributed optimization and control
-
June
-
K. M. Passino, "Biomimiery of bacterial foraging for distributed optimization and control," IEEE Control Syst. Mag., vol. 22, pp. 52-67, June 2002.
-
(2002)
IEEE Control Syst. Mag.
, vol.22
, pp. 52-67
-
-
Passino, K.M.1
-
31
-
-
0036453349
-
Opportunistic optimization for market-based multirobot control
-
Lausanne, Switzerland
-
M. Dias and A. Stentz, "Opportunistic optimization for market-based multirobot control," presented at the IEEE/RSJ Int. Conf. Intelligent Robots and Systems, Lausanne, Switzerland, 2002.
-
(2002)
IEEE/RSJ Int. Conf. Intelligent Robots and Systems
-
-
Dias, M.1
Stentz, A.2
-
32
-
-
21244470095
-
Jitter compensation in real-time control systems
-
London, UK
-
P. Martí, G. Fohler, K. Ramamritham, and J. M. Fuertes, "Jitter compensation in real-time control systems," in Real-Time Systems Symp., London, UK, 2001.
-
(2001)
Real-time Systems Symp.
-
-
Martí, P.1
Fohler, G.2
Ramamritham, K.3
Fuertes, J.M.4
-
33
-
-
0000295157
-
Near optimal manufacturing flow control design
-
June
-
M. Caramanis and A. Sharifnia, "Near optimal manufacturing flow control design," Int. J. Flexible Manuf. Syst., vol. 3, no. 3-4, pp. 321-336, June 1991.
-
(1991)
Int. J. Flexible Manuf. Syst.
, vol.3
, Issue.3-4
, pp. 321-336
-
-
Caramanis, M.1
Sharifnia, A.2
-
34
-
-
0033221232
-
Nonlinear dynamics in distributed arrival time control
-
Nov
-
V. V. Prabhu and N. A. Duffie, "Nonlinear dynamics in distributed arrival time control," IEEE Trans. Control Syst. Technol., vol. 7, pp. 724-730, Nov. 1999.
-
(1999)
IEEE Trans. Control Syst. Technol.
, vol.7
, pp. 724-730
-
-
Prabhu, V.V.1
Duffie, N.A.2
-
37
-
-
1442287586
-
Computing controllers for non-linear hybrid systems
-
F. W. Vaandrager and J. H. van Schuppen, Eds. Heidelberg, Germany: Springer-Verlag
-
C. Tomlin, J. Lygeros, and S. Sastry, "Computing controllers for non-linear hybrid systems," in Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, F. W. Vaandrager and J. H. van Schuppen, Eds. Heidelberg, Germany: Springer-Verlag, 1999, vol. 1569, pp. 238-255.
-
(1999)
Lecture Notes in Computer Science, Hybrid Systems: Computation and Control
, vol.1569
, pp. 238-255
-
-
Tomlin, C.1
Lygeros, J.2
Sastry, S.3
-
39
-
-
0020087049
-
Data flow languages
-
Feb
-
W. B. Ackerman, "Data flow languages," IEEE Computer, vol. 15, pp. 15-25, Feb. 1982.
-
(1982)
IEEE Computer
, vol.15
, pp. 15-25
-
-
Ackerman, W.B.1
-
40
-
-
0347599492
-
A Denotational semantics for dataflow with firing
-
Electron. Res. Lab., Univ. of Cal., Berkeley
-
E. A. Lee, "A Denotational semantics for dataflow with firing," Electron. Res. Lab., Univ. of Cal., Berkeley, Tech. Rep. No. UCB/ERL M97/3, 1997.
-
(1997)
Tech. Rep. No. UCB/ERL M97/3
, vol.UCB-ERL M97-3
-
-
Lee, E.A.1
-
41
-
-
0025432206
-
Hybrid dynamical systems theory and the signal language
-
May
-
A. Benveniste and P. L. Guernic, "Hybrid dynamical systems theory and the signal language," IEEE Trans. Automat. Contr., vol. 35, pp. 525-546, May 1990.
-
(1990)
IEEE Trans. Automat. Contr.
, vol.35
, pp. 525-546
-
-
Benveniste, A.1
Guernic, P.L.2
-
42
-
-
85022163068
-
LUSTRE: A declarative language for programming synchronous systems
-
P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, "LUSTRE: A declarative language for programming synchronous systems," in Conf. Rec. 14th Annu. ACM Symp. Principles of Programming Languages, 1987, pp. 178-188.
-
(1987)
Conf. Rec. 14th Annu. ACM Symp. Principles of Programming Languages
, pp. 178-188
-
-
Caspi, P.1
Pilaud, D.2
Halbwachs, N.3
Plaice, J.A.4
-
43
-
-
0026953373
-
The Esterel synchronous programming language: Design, semantics, implementation
-
Nov
-
G. Berry and G. Gonthier, "The Esterel synchronous programming language: design, semantics, implementation," Sci. Comput. Program., vol. 19, no. 2, pp. 87-152, Nov. 1992.
-
(1992)
Sci. Comput. Program.
, vol.19
, Issue.2
, pp. 87-152
-
-
Berry, G.1
Gonthier, G.2
-
44
-
-
84957871339
-
Modularity for timed and hybrid systems
-
Berlin, Germany: Springer-Verlag
-
R. Alur and T. Henzinger, "Modularity for timed and hybrid systems," in Lecture Notes in Computer Science, CONCUR97: Concurrency Theory, 8th International Conference. Berlin, Germany: Springer-Verlag, 1997, vol. 1243.
-
(1997)
Lecture Notes in Computer Science, CONCUR97: Concurrency Theory, 8th International Conference
, vol.1243
-
-
Alur, R.1
Henzinger, T.2
-
45
-
-
0031701911
-
A unified framework for hybrid control: Model and optimal control theory
-
Jan
-
M. S. Branicky, V. S. Borker, and S. K. Mitter, "A unified framework for hybrid control: model and optimal control theory," IEEE Trans. Automat. Contr., vol. 43, pp. 31-45, Jan. 1998.
-
(1998)
IEEE Trans. Automat. Contr.
, vol.43
, pp. 31-45
-
-
Branicky, M.S.1
Borker, V.S.2
Mitter, S.K.3
-
46
-
-
0033100636
-
Controllers for reachability specifications for hybrid systems
-
Mar
-
J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, Mar. 1999.
-
(1999)
Automatica
, vol.35
, Issue.3
, pp. 349-370
-
-
Lygeros, J.1
Tomlin, C.2
Sastry, S.3
|