Sciweavers

3357 search results - page 138 / 672
» Controlling Complexity
Sort
View
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 6 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
AADEBUG
1993
Springer
15 years 6 months ago
Slicing Programs with Arbitrary Control-flow
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...
Thomas Ball, Susan Horwitz
108
Voted
CDC
2010
IEEE
164views Control Systems» more  CDC 2010»
14 years 9 months ago
Stabilization of polytopic delay difference inclusions: Time-varying control Lyapunov functions
This paper studies stabilization of polytopic delay difference inclusions via the Razumikhin approach. An example of a linear delay difference equation that is globally exponential...
Rob H. Gielen, Mircea Lazar
131
Voted
MMNS
2003
98views Multimedia» more  MMNS 2003»
15 years 3 months ago
Managing Services Quality through Admission Control and Active Monitoring
We propose a lightweight traffic admission control scheme based on on-line monitoring which ensures multimedia services quality both intra-domain and end-to-end. The AC strategy i...
Solange Rito Lima, Paulo Carvalho, Alexandre Santo...
145
Voted
ICAS
2008
IEEE
200views Robotics» more  ICAS 2008»
15 years 8 months ago
Connectivity of Thetis, a Distributed Hybrid Simulator, with a Mixed Control Architecture
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
Olivier Parodi, Abdellah El Jalaoui, David Andreu