1357 search results - page 197 / 272 » Compositional analysis for linear systems |
159
click to vote
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
AUTOMATICA
2005
14 years 10 months ago
2005
This paper proposes a quadratic programming (QP) approach to robust model predictive control (MPC) for constrained linear systems having both model uncertainties and bounded distu...
IAJIT
2011
14 years 5 months ago
2011
: In this paper, an analytical and simulation solution for touch mode Micro-electromechanical systems pressure sensor operating in harsh environment is proposed. The principle of t...
JMLR
2010
14 years 5 months ago
2010
We recently proposed a new measure, termed Phase Slope Index (PSI), It estimates the causal direction of interactions robustly with respect to instantaneous mixtures of independen...
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...