Sciweavers

2171 search results - page 37 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
CBSE
2008
Springer
15 years 3 months ago
A Component Model for Control-Intensive Distributed Embedded Systems
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
Séverine Sentilles, Aneta Vulgarakis, Tom&a...
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 1 days ago
Cooperative caging using autonomous aquatic surface vehicles
— We present a study on the use of cooperative robots to execute a caging mission on the water’s surface. In particular, we consider the problem of using two robotic boats (und...
Filippo Arrichiello, Hordur Kristinn Heidarsson, S...
CCS
2006
ACM
15 years 5 months ago
Safety and consistency in policy-based authorization systems
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
Adam J. Lee, Marianne Winslett
145
Voted
CODES
2005
IEEE
15 years 7 months ago
Enhancing security through hardware-assisted run-time validation of program data properties
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...
126
Voted
EUSFLAT
2003
116views Fuzzy Logic» more  EUSFLAT 2003»
15 years 2 months ago
Fuzzy logic and the Pittsburgh classifier system for mobile robot control
We report on experiments designed to highlight the strengths and weaknesses of an autonomous rule acquisition algorithm for the fuzzy controller of a simulated mobile robot. The a...
Anthony G. Pipe, Brian Carse