Sciweavers

1221 search results - page 110 / 245
» On the Design of Robust Integrators for Fail-Bounded Control...
Sort
View
AUTOMATICA
2007
106views more  AUTOMATICA 2007»
13 years 9 months ago
Asymptotic rejection of asymmetric periodic disturbances in output-feedback nonlinear systems
This paper deals with asymptotic rejection of periodic disturbances which may have asymmetric basic wave patterns. This class of disturbances covers asymmetric wave forms in the h...
Zhengtao Ding
HPCC
2005
Springer
14 years 2 months ago
Securing the MPLS Control Plane
— In an increasingly hostile environment, the need for security in network infrastructure is stronger than ever, especially for Multi-Protocol Label Switching (MPLS), widely used...
Francesco Palmieri, Ugo Fiore
ACNS
2009
Springer
152views Cryptology» more  ACNS 2009»
14 years 3 months ago
Homomorphic MACs: MAC-Based Integrity for Network Coding
Abstract. Network coding has been shown to improve the capacity and robustness in networks. However, since intermediate nodes modify packets en-route, integrity of data cannot be c...
Shweta Agrawal, Dan Boneh
ATC
2008
Springer
13 years 11 months ago
Concepts for Autonomous Control Flow Checking for Embedded CPUs
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
Daniel Ziener, Jürgen Teich
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
14 years 3 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...