15840 search results - page 808 / 3168 » The Control of Synchronous Systems |
245
click to vote
CCS
2005
ACM
16 years 1 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
163
click to vote
AUTOMATICA
2010
15 years 7 months ago
2010
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
214
click to vote
ICONS
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
200
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...
175
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— This article addresses the invertibility problem for switched nonlinear systems affine in controls. The problem is concerned with finding the input and switching signal uniqu...