Cognitive Distributed Networks in Environmental e-Science

We integrate fundamental principles from formal mathematics, engineering, and information sciences to develop novel distributed sensor-based networks for management of the environment and the natural ecosystem. More precisely, we are developing ENVNET - ENVironmental sensor NETwork, a cognitive wireless sensor network to proactively collect information, monitor, and control the health of our natural environment and ecosystem (that includes, water, soil, air, etc.). It integrates intelligent sensor coordination and data fusion techniques to access, retrieve, process, and communicate with disparate wireless sensors in an ad-hoc manner to deliver dynamic decisions and provide adequate information management. Our approach facilitates large scale deployment and drastically reduces the hardware cost almost by a factor of 10 and removes the main bottleneck in irrigation control arising from wired sensors. Apart from this it provides a smart distributed closed-loop control mechanism with formal reliability guarantees that is rapidly and easily deployable, context-aware, scalable, and dynamically reconfigurable in response to changing requirements.

[1]  Claudiu Danilov,et al.  The Spread Toolkit: Architecture and Performance , 2004 .

[2]  Stephen S. Yau,et al.  Adaptable situation-aware secure service-based (AS/sup 3/) systems , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[3]  Supratik Mukhopadhyay,et al.  Service composition in a secure agent-based architecture , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[4]  Patrick Maier,et al.  A lattice-theoretic framework for circular assume-guarantee reasoning , 2003 .

[5]  John J. Sojdehei,et al.  Magneto-inductive (MI) communications , 2001, MTS/IEEE Oceans 2001. An Ocean Odyssey. Conference Proceedings (IEEE Cat. No.01CH37295).

[6]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[7]  Ramesh Bharadwaj Verifiable Middleware for Secure Agent Interoperability , 2002, FAABS.

[8]  Sang Hyuk Son,et al.  EnviroTrack: towards an environmental computing paradigm for distributed sensor networks , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[9]  D. Prawitz Natural Deduction: A Proof-Theoretical Study , 1965 .

[10]  F.A. Miranda,et al.  RF telemetry system for an implantable bio-MEMS sensor , 2004, 2004 IEEE MTT-S International Microwave Symposium Digest (IEEE Cat. No.04CH37535).

[11]  Gene Tsudik,et al.  Secure spread: an integrated architecture for secure group communication , 2005, IEEE Transactions on Dependable and Secure Computing.

[12]  Steve Sims,et al.  Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking , 2000, TACAS.

[13]  Andrew W. Appel,et al.  Compiling with Continuations , 1991 .

[14]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[15]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[16]  Chris Hanson,et al.  Amorphous computing , 2000, Commun. ACM.

[17]  David E. Culler,et al.  The nesC language: A holistic approach to networked embedded systems , 2003, PLDI.

[18]  Stephen S. Yau,et al.  Specification, analysis and implementation of architectural patterns for dependable software systems , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[19]  Ian F. Akyildiz,et al.  Wireless underground sensor networks: Research challenges , 2006, Ad Hoc Networks.

[20]  Ronaldo Menezes,et al.  A new approach to scalable Linda-systems based on swarms , 2003, SAC '03.