Sciweavers

875 search results - page 1 / 175
» On Reachability Under Uncertainty
Sort
View
SIAMCO
2002
124views more  SIAMCO 2002»
13 years 7 months ago
On Reachability Under Uncertainty
The paper studies the problem of reachability for linear systems in the presence of uncertain input disturbances that may also be interpreted as the action of an adversary in a ga...
Alexander B. Kurzhanski, Pravin Varaiya
AUTOMATICA
2006
73views more  AUTOMATICA 2006»
13 years 7 months ago
Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets
A robust MPC for constrained nonlinear systems with uncertainties is presented. Outer bounds of the reachable sets of the system are used to predict the evolution of the system un...
J. M. Bravo, T. Alamo, Eduardo F. Camacho
TSMC
2008
113views more  TSMC 2008»
13 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
14 years 2 days ago
Reachability analysis for continuous systems under shared control: Application to user-interface design
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
Nikolai Matni, Meeko Oishi