526 search results - page 71 / 106 » Stochastic Controllability of Linear Systems With State Dela... |
LISP
2002
13 years 7 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...
CAV
2012
Springer
11 years 10 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
AUTOMATICA
2005
13 years 7 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...