Sciweavers

1071 search results - page 105 / 215
» Solving Geometric Constraint Systems
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 5 months ago
On parameterized Lyapunov and control Lyapunov functions for discrete-time systems
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
Mircea Lazar, Rob H. Gielen
RTSS
1998
IEEE
15 years 2 months ago
Symbolic Schedulability Analysis of Real-Time Systems
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Youn...
AUTOMATICA
2010
110views more  AUTOMATICA 2010»
14 years 10 months ago
Moving-horizon partition-based state estimation of large-scale systems
This paper presents three novel Moving Horizon Estimation (MHE) methods for discrete-time partitioned linear systems, i.e. systems decomposed into coupled subsystems with non-over...
Marcello Farina, Giancarlo Ferrari-Trecate, Riccar...
HYBRID
2009
Springer
15 years 4 months ago
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
Saurabh Amin, Alvaro A. Cárdenas, Shankar S...
TMM
2008
121views more  TMM 2008»
14 years 9 months ago
Performance Analysis of Resource Selection Schemes for a Large Scale Video-on-Demand System
The designers of a large scale video-on-demand system face an optimization problem of deciding how to assign movies to multiple disks (servers) such that the request blocking proba...
Jun Guo, Eric Wing Ming Wong, Sammy Chan, Peter Ta...