Sciweavers

2996 search results - page 24 / 600
» Dynamic Traveling Repairperson Problem for dynamic systems
Sort
View
124
Voted
CSL
2006
Springer
15 years 1 months ago
Infinite State Model-Checking of Propositional Dynamic Logics
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
Stefan Göller, Markus Lohrey
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
15 years 1 months ago
Decentralized receding horizon control for large scale dynamically decoupled systems
A detailed study on the design of decentralized Receding Horizon Control (RHC) schemes for decoupled systems is presented. An optimal control problem is formulated for a set of de...
Tamás Keviczky, Francesco Borrelli, Gary J....
106
Voted
AUTOMATICA
2004
113views more  AUTOMATICA 2004»
15 years 1 months ago
Ellipsoidal bounds for uncertain linear equations and dynamical systems
In this paper, we discuss semidefinite relaxation techniques for computing minimal size ellipsoids that bound the solution set of a system of uncertain linear equations. The propo...
Giuseppe Carlo Calafiore, Laurent El Ghaoui
124
Voted
CN
2000
130views more  CN 2000»
15 years 1 months ago
Automating Web navigation with the WebVCR
Recent developments in Web technology such as the inclusion of scripting languages, frames, and the growth of dynamic content, have made the process of retrieving Web content more...
Vinod Anupam, Juliana Freire, Bharat Kumar, Daniel...
134
Voted
ARC
2007
Springer
95views Hardware» more  ARC 2007»
15 years 2 months ago
Time delay systems with distribution dependent dynamics
General delay dynamical systems in which uncertainty is present in the form of probability measure dependent dynamics are considered. Several motivating examples arising in biolog...
H. T. Banks, Sava Dediu, Hoan K. Nguyen