5200 search results - page 178 / 1040 » Symbolic models for control systems |
CPHYSICS
2007
13 years 9 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
AUTOMATICA
2005
13 years 9 months ago
2005
We study the problem of feedback stabilization of a family of nonlinear stochastic systems with switching mechanism modeled by a Markov chain. We introduce a novel notion of stabi...
ESOA
2006
14 years 22 days ago
2006
This paper describes a car traffic control simulation realised in a decentralised way by message propagations: congested nodes (roads intersections) send speed-up or slow-down mess...
ASPLOS
2011
ACM
13 years 20 days ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
ICC
2000
IEEE
14 years 1 months ago
2000
IEEE
—This paper proposes an analytical study which aims at evaluating the received power statistics in DS-CDMA cellular systems which use a closed-loop power control scheme to compen...