Sciweavers

1119 search results - page 80 / 224
» On the Invariance of Ant System
Sort
View
DSRT
2008
IEEE
14 years 11 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
HYBRID
2001
Springer
15 years 2 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
AUTOMATICA
2002
100views more  AUTOMATICA 2002»
14 years 9 months ago
An analysis and design method for linear systems subject to actuator saturation and disturbance
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...
Tingshu Hu, Zongli Lin, Ben M. Chen
ICSE
2009
IEEE-ACM
14 years 7 months ago
Towards an assume-guarantee theory for adaptable systems
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
Paola Inverardi, Patrizio Pelliccione, Massimo Tiv...
DAGSTUHL
2006
14 years 11 months ago
A System for Object Class Detection
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
Daniela Hall