11 Search Results for "Henderson, Thomas, R."


Document
10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction

Authors: Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)


Abstract
From 03.10.10 to 08.10.10,the Dagstuhl Seminar 10401 ``Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch. 10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{alami_et_al:DagSemProc.10401.1,
  author =	{Alami, Rachid and Dillmann, R\"{u}diger and Henderson, Thomas C. and Kirsch, Alexandra},
  title =	{{10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.1},
  URN =		{urn:nbn:de:0030-drops-29336},
  doi =		{10.4230/DagSemProc.10401.1},
  annote =	{Keywords: Human-robot interaction, Robot knowledge representation and sharing, Learning, Planning}
}
Document
10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction

Authors: Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)


Abstract
abilities including perception, manipulation and navigation, planning and reasoning as well as knowledge acquisition and processing skills. Only when all these capabilities are combined can the robot show intelligent behavior and act appropriately in environments that are primarily designed for humans. Given the growing availability and inter-connectivity of modern agents and robots, better mechanisms to define, learn and share knowledge must be developed. Advances in robot platforms have led to their integration into society for a variety of functions, and there is a pressing need to understand how they can acquire and exploit knowledge required for their specific activities. In order to be useful, robotic agents must be able to recognize a wide range of objects, relations, and situations in their environment, and to understand the semantics of these. In addition, it is imperative that procedural and process knowledge also be known so that interactions are safe and meaningful. Cooperation and collaboration are also essential as well as the ability to perceive human and animal emotions and intentions to the largest degree possible. This seminar brought together 25 scientists with experience in planning, learning, knowledge processing and human-robot interaction to discuss how the high-level control concepts are to be used and adapted to human-robot interaction. Because high-level control of robots interacting with humans is of special practical importance, we invite experts with experience in assistive technology and those examining social acceptance of such systems.

Cite as

Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch. 10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{alami_et_al:DagSemProc.10401.2,
  author =	{Alami, Rachid and Dillmann, R\"{u}diger and Henderson, Thomas C. and Kirsch, Alexandra},
  title =	{{10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.2},
  URN =		{urn:nbn:de:0030-drops-29342},
  doi =		{10.4230/DagSemProc.10401.2},
  annote =	{Keywords: Human-robot interaction, Robot knowledge representation and sharing, Learning, Planning}
}
Document
Human Models for Human-Robot Interaction

Authors: Katsu Yamane

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)


Abstract
This paper discusses various human models required in human-robot interaction study. Good human models are critical for robots to realize effective interactions. For example, human behavior model is necessary to choose appropriate cost functions to determine robot actions that are comfortable for humans. We will present several case studies that attempt to model the human physiology and behavior, as well as their application to humanoid and character control.

Cite as

Katsu Yamane. Human Models for Human-Robot Interaction. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{yamane:DagSemProc.10401.3,
  author =	{Yamane, Katsu},
  title =	{{Human Models for Human-Robot Interaction}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.3},
  URN =		{urn:nbn:de:0030-drops-29327},
  doi =		{10.4230/DagSemProc.10401.3},
  annote =	{Keywords: Human-robot interaction, neuro-muscular human model, learning by demonstration}
}
Document
Intelligent Guidance of an Unmanned Helicopter

Authors: Stuart H. Rubin and Gordon K. Lee

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)


Abstract
The objective of this project is to define a science which allows for the evolution of complex software systems that can fully utilize massively parallel computers of ever-greater capability (initially dual quad cores running fewer higher-level sensors for tractability) and employ this design in human-robot interaction with a final goal of full autonomy of the robot (in this case, an unmanned helicopter). In order to test a new learning approach that can bestow intelligence on a system, based upon human (tutor) – robot (student) interaction, we are working jointly to design an intelligent system architecture, based on the KASER (Knowledge Amplification by Structural Expert Randomization), and plan to implement the methodology on an aerial vehicle (a helicopter), which will execute several maneuvers such as basic hovering, steep approach, confined area approach, and basic altitude flying. The software to perform these maneuvers will be developed using two methods (teach mode with a human-in-the-loop) and classical control. Then, the knowledge amplification system will autonomously generate another set of software, which will then be tested and compared to the execution of the baseline two software codes using the same helicopter flight scenarios. We anticipate that such complex functional real-time software can be most cost-effectively written through the use of a software-writing system embodying knowledge amplification.

Cite as

Stuart H. Rubin and Gordon K. Lee. Intelligent Guidance of an Unmanned Helicopter. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{rubin_et_al:DagSemProc.10401.4,
  author =	{Rubin, Stuart H. and Lee, Gordon K.},
  title =	{{Intelligent Guidance of an Unmanned Helicopter}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.4},
  URN =		{urn:nbn:de:0030-drops-29302},
  doi =		{10.4230/DagSemProc.10401.4},
  annote =	{Keywords: Evolution, Heuristics, KASER, System of Systems, Unmanned Helicopter}
}
Document
The Task-State Coordination Pattern, with applications in Human-Robot-Interaction

Authors: Ingo Lütkebohle, Julia Peltason, Britta Wrede, and Sven Wachsmuth

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)


Abstract
We consider interaction a powerful enabling technology for robots in human environments. Besides taking commands or reporting, many other uses, such as interactive learning, are already being explored. However, HRI also poses systems engineering challenges that may hinder its adoption. To address these, we advocate a general coordination pattern for task execution: The Task-State Pattern. Crucially, it separates interaction coordination from task-level control, thus enabling independent, but integrated, development. In the pattern, tasks are represented using both a general, re-usable task coordination model and a task-type dependent specification. We have introduced a coordination model rich enough to support a powerful user experience, but still general enough to accomodate a variety of tasks, thus simplifying architecture and integration. Furthermore, because it is re-used in many places, it provides an attractive target for tool support.

Cite as

Ingo Lütkebohle, Julia Peltason, Britta Wrede, and Sven Wachsmuth. The Task-State Coordination Pattern, with applications in Human-Robot-Interaction. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{lutkebohle_et_al:DagSemProc.10401.5,
  author =	{L\"{u}tkebohle, Ingo and Peltason, Julia and Wrede, Britta and Wachsmuth, Sven},
  title =	{{The Task-State Coordination Pattern, with applications in Human-Robot-Interaction}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.5},
  URN =		{urn:nbn:de:0030-drops-29318},
  doi =		{10.4230/DagSemProc.10401.5},
  annote =	{Keywords: Coordination, software architecture, design pattern, dialog, human-robot-interaction}
}
Document
06441 Abstracts Collection – Naming and Addressing for Next Generation Internetworks

Authors: Bengt Ahlgren, Lars Eggert, Anja Feldmann, Andrei Gurtov, and Thomas Henderson

Published in: Dagstuhl Seminar Proceedings, Volume 6441, Naming and Addressing for Next-Generation Internetworks (2007)


Abstract
From 29.10.06 to 01.11.06, the Dagstuhl Seminar 06441``Naming and Addressing for Next-Generation Internetworks'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Bengt Ahlgren, Lars Eggert, Anja Feldmann, Andrei Gurtov, and Thomas Henderson. 06441 Abstracts Collection – Naming and Addressing for Next Generation Internetworks. In Naming and Addressing for Next-Generation Internetworks. Dagstuhl Seminar Proceedings, Volume 6441, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{ahlgren_et_al:DagSemProc.06441.1,
  author =	{Ahlgren, Bengt and Eggert, Lars and Feldmann, Anja and Gurtov, Andrei and Henderson, Thomas},
  title =	{{06441 Abstracts Collection – Naming and Addressing for Next Generation Internetworks}},
  booktitle =	{Naming and Addressing for Next-Generation Internetworks},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6441},
  editor =	{Bengt Ahlgren and Lars Eggert and Anja Feldmann and Andrei Gurtov and Tom R. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06441.1},
  URN =		{urn:nbn:de:0030-drops-11309},
  doi =		{10.4230/DagSemProc.06441.1},
  annote =	{Keywords: Naming, addressing, network architecture, next-generation networks, security, privacy}
}
Document
06441 Summary – Naming and Addressing for Next Generation Internetworks

Authors: Thomas Henderson, Andrei Gurtov, Lars Eggert, and Christian Dannewitz

Published in: Dagstuhl Seminar Proceedings, Volume 6441, Naming and Addressing for Next-Generation Internetworks (2007)


Abstract
The design of naming and addressing for data networks is a fundamental architectural consideration, and several current or anticipated problems in the Internet – including mobility dynamics, forwarding table growth in the core routers, and security – point out possible limitations with naming and addressing schemes in use today. A seminar on the topic of naming and addressing for next generation internetworks was held at the Schloß Dagstuhl from October 29 to November 1, 2006. Researchers from different fields discussed their views and recent results pertaining to naming and addressing problems. Over twenty talks covered topics such as routing, naming components, APIs, mobility, delay-tolerant architectures, flat routing and deployment issues. This article briefly summarizes the seminar presentations and discussions.

Cite as

Thomas Henderson, Andrei Gurtov, Lars Eggert, and Christian Dannewitz. 06441 Summary – Naming and Addressing for Next Generation Internetworks. In Naming and Addressing for Next-Generation Internetworks. Dagstuhl Seminar Proceedings, Volume 6441, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{henderson_et_al:DagSemProc.06441.2,
  author =	{Henderson, Thomas and Gurtov, Andrei and Eggert, Lars and Dannewitz, Christian},
  title =	{{06441 Summary – Naming and Addressing for Next Generation Internetworks}},
  booktitle =	{Naming and Addressing for Next-Generation Internetworks},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6441},
  editor =	{Bengt Ahlgren and Lars Eggert and Anja Feldmann and Andrei Gurtov and Tom R. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06441.2},
  URN =		{urn:nbn:de:0030-drops-11293},
  doi =		{10.4230/DagSemProc.06441.2},
  annote =	{Keywords: Network architecture, scalability, mobility, heterogeneity, extensibility, naming, addressing}
}
Document
05381 Abstracts Collection – Form and Content in Sensor Networks

Authors: Leonidas J. Guibas, Uwe D. Hanebeck, and Thomas C. Henderson

Published in: Dagstuhl Seminar Proceedings, Volume 5381, Form and Content in Sensor Networks (2006)


Abstract
From 18.09.05 to 23.09.05, the Dagstuhl Seminar 05381 ``Form and Content in Sensor Networks'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Leonidas J. Guibas, Uwe D. Hanebeck, and Thomas C. Henderson. 05381 Abstracts Collection – Form and Content in Sensor Networks. In Form and Content in Sensor Networks. Dagstuhl Seminar Proceedings, Volume 5381, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{guibas_et_al:DagSemProc.05381.1,
  author =	{Guibas, Leonidas J. and Hanebeck, Uwe D. and Henderson, Thomas C.},
  title =	{{05381 Abstracts Collection – Form and Content in Sensor Networks}},
  booktitle =	{Form and Content in Sensor Networks},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.1},
  URN =		{urn:nbn:de:0030-drops-7555},
  doi =		{10.4230/DagSemProc.05381.1},
  annote =	{Keywords: Sensors, signal processing, sensor networks, intelligent systems, sensor data processing}
}
Document
Robustness and Accuracy of Bayesian Information Fusion Systems

Authors: Gregor Pavlin, Jan Nunnink, and Frans Groen

Published in: Dagstuhl Seminar Proceedings, Volume 5381, Form and Content in Sensor Networks (2006)


Abstract
Modern situation assessment and controlling applications often require efficient fusion of large amounts of heterogeneous and uncertain information. In addition, fusion results are often mission critical. It turns out that Bayesian networks (BN) are suitable for a significant class of such applications, since they facilitate modeling of very heterogeneous types of uncertain information and support efficient belief propagation techniques. BNs are based on a rigorous theory which facilitates (i) analysis of the robustness of fusion systems and (ii) monitoring of the fusion quality. We assume domains where situations can be described through sets of discrete random variables. A situation corresponds to a set of hidden and observed states that the nature `sampled' from some true distribution over the combinations of possible states. Thus, in a particular situation certain states materialized while others did not, which corresponds to a point-mass distribution over the possible states. Consequently, the state estimation can be reduced to a classification of the possible combinations of relevant states. We assume that there exist mappings between hidden states of interest and optimal decisions/actions. In this context, we consider classification of the states accurate if it is equivalent to the truth in the sense that knowing the truth would not change the action based on the classification. Clearly, BNs provide a mapping between the observed symptoms and hypotheses about hidden events. Consequently, BNs have a critical impact on the fusion accuracy. We emphasize a fundamental difference between the model accuracy and fusion (i.e.classification) accuracy. A BN is a generalization over many possible situations that captures probability distributions over the possible events in the observed domain. However, even a perfect generalization does not necessarily support accurate classification in a particular situation. We address this problem with the help of the Inference Meta Model (IMM) which describes information fusion in BNs from a coarse, runtime perspective. IMM is based on a few realistic assumptions and exposes properties of BNs that are r elevant for the construction of inherently robust fusion systems. With the help of IMM we show that in BNs featuring many conditionally independent network fragments inference can be very insensitive to the modeling parameter values. This implies that fusion can be robust, which is especially relevant in many real world applications where we cannot obtain precise models due to the lack of sufficient training data or expertise. In addition, IMM introduces a reinforcement propagation algorithm that can be used as an alternative to the common approaches to inference in BNs. We can show that the classification accuracy of this propagation algorithm is asymptotically approaching 1 as the number of conditionally independent network fragments increases. Because of these properties, the propagation algorithm can be used as a basis for effective detection of misleading fusion results as well as discovery of inadequate modeling components and erroneous information sources.

Cite as

Gregor Pavlin, Jan Nunnink, and Frans Groen. Robustness and Accuracy of Bayesian Information Fusion Systems. In Form and Content in Sensor Networks. Dagstuhl Seminar Proceedings, Volume 5381, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{pavlin_et_al:DagSemProc.05381.3,
  author =	{Pavlin, Gregor and Nunnink, Jan and Groen, Frans},
  title =	{{Robustness and Accuracy of Bayesian Information Fusion Systems}},
  booktitle =	{Form and Content in Sensor Networks},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.3},
  URN =		{urn:nbn:de:0030-drops-7561},
  doi =		{10.4230/DagSemProc.05381.3},
  annote =	{Keywords: Robust Information Fusion, Bayesian Networks, Heterogeneous Information, Modeling Uncertainties}
}
Document
05381 Executive Summary – Form and Content in Sensor Networks

Authors: Leonidas J. Guibas, Uwe D. Hanebeck, and Thomas C. Henderson

Published in: Dagstuhl Seminar Proceedings, Volume 5381, Form and Content in Sensor Networks (2006)


Abstract
From the September 18th until September 23rd, 2005 a Dagstuhl Seminar took place with the topic "Form and Content in Sensor Networks". 26 participants from four different countries, which are experts in sensor networks from the topics information processing, communication and robotics, presented current state of the art in the field of algorithm for sensor networks and how content and structure impact information processing in the networks. The presentations ranged from very theoretical computational models and algorithms to prototype implementations for monitoring the environment.

Cite as

Leonidas J. Guibas, Uwe D. Hanebeck, and Thomas C. Henderson. 05381 Executive Summary – Form and Content in Sensor Networks. In Form and Content in Sensor Networks. Dagstuhl Seminar Proceedings, Volume 5381, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{guibas_et_al:DagSemProc.05381.2,
  author =	{Guibas, Leonidas J. and Hanebeck, Uwe D. and Henderson, Thomas C.},
  title =	{{05381 Executive Summary – Form and Content in Sensor Networks}},
  booktitle =	{Form and Content in Sensor Networks},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.2},
  URN =		{urn:nbn:de:0030-drops-7544},
  doi =		{10.4230/DagSemProc.05381.2},
  annote =	{Keywords: Sensors, signal processing, sensor networks, intelligent systems, sensor data processing}
}
Document
Verification and Validation of Sensor Networks

Authors: Thomas C. Henderson

Published in: Dagstuhl Seminar Proceedings, Volume 5381, Form and Content in Sensor Networks (2006)


Abstract
Sensor networks play an increasingly important role in critical systems infrastructure and should be correct, reliable and robust. In order to achieve these performance goals, it is necessary to verify the correctness of system software and to validate the more broadly defined world and system models. This includes: * Physical Phenomena (PDE models, statistical models, etc.), * Signals (Equations of state, physical properties, etc.), * Sensors (Physics models, noise models, etc.), * Hardware (Failure models, power consumption models, etc.), * RF (Antenna models, bandwidth, delay, propagation, etc.), * Embedded Code (Correctness, complexity, context), * Distributed Algorithms (Correctness, concurrency models, etc.), * Overall Sensor Network and Environment Models (Percolation theory, wave theory, information theory, simulation, etc.). We outline some of the V & V issues involved in the various aspects of sensor networks as well as possible approaches to their development and application both in simulation and in operational deployed systems.

Cite as

Thomas C. Henderson. Verification and Validation of Sensor Networks. In Form and Content in Sensor Networks. Dagstuhl Seminar Proceedings, Volume 5381, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{henderson:DagSemProc.05381.4,
  author =	{Henderson, Thomas C.},
  title =	{{Verification and Validation of Sensor Networks}},
  booktitle =	{Form and Content in Sensor Networks},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.4},
  URN =		{urn:nbn:de:0030-drops-7532},
  doi =		{10.4230/DagSemProc.05381.4},
  annote =	{Keywords: Models, verification, validation}
}
  • Refine by Author
  • 5 Henderson, Thomas C.
  • 2 Alami, Rachid
  • 2 Dillmann, Rüdiger
  • 2 Eggert, Lars
  • 2 Guibas, Leonidas J.
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 3 Human-robot interaction
  • 2 Learning
  • 2 Planning
  • 2 Robot knowledge representation and sharing
  • 2 Sensors
  • Show More...

  • Refine by Type
  • 11 document

  • Refine by Publication Year
  • 5 2011
  • 4 2006
  • 2 2007

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail