Sciweavers

3618 search results - page 199 / 724
» Additive functions for number systems in function fields
Sort
View
121
Voted
CDC
2008
IEEE
160views Control Systems» more  CDC 2008»
15 years 11 months ago
Stability analysis of switched time-delay systems
: This paper addresses the asymptotic stability of switched time delay systems. Piecewise Lyapunov-Razumikhin functions are introduced for the switching candidate systems to invest...
Peng Yan, Hitay Özbay
SCL
2010
98views more  SCL 2010»
15 years 3 months ago
Symbolic models for nonlinear time-delay systems using approximate bisimulations
In this paper we show that incrementally stable nonlinear time–delay systems admit symbolic models which are approximately equivalent, in the sense of approximate bisimulation, ...
Giordano Pola, Pierdomenico Pepe, Maria Domenica D...
JAIR
2008
113views more  JAIR 2008»
15 years 4 months ago
Graphical Model Inference in Optimal Control of Stochastic Multi-Agent Systems
In this article we consider the issue of optimal control in collaborative multi-agent systems with stochastic dynamics. The agents have a joint task in which they have to reach a ...
Bart van den Broek, Wim Wiegerinck, Bert Kappen
EMSOFT
2001
Springer
15 years 9 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby
AUSFORENSICS
2004
15 years 6 months ago
Towards Identifying Criteria for the Evidential Weight of System Event Logs
Despite the widespread use of computing in almost all functions of contemporary society and the consequently large number of forensic investigations where computing has been invol...
A. Ahmad, Anthonie B. Ruighaver