Sciweavers

652 search results - page 63 / 131
» Linear Explicit Substitutions
Sort
View
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
14 years 1 months ago
Fault tolerant control allocation for a thruster-controlled floating platform using parametric programming
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
Jørgen Spjøtvold, Tor Arne Johansen
AGP
1999
IEEE
14 years 1 months ago
Enhancing Sharing for Precision
Regarding the precision of combined domains including Jacobs and Langen's Sharing there is a core of techniques, such as the standard integration with freeness and linearity ...
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
PPDP
2000
Springer
14 years 12 days ago
Enhanced sharing analysis techniques: a comprehensive evaluation
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
CDC
2009
IEEE
164views Control Systems» more  CDC 2009»
13 years 10 months ago
Kalman filter based estimation of flow states in open channels using Lagrangian sensing
In this article, we investigate real-time estimation of flow states, average velocity and stage (water depth), in open channels using the measurements obtained from Lagrangian sens...
Mohammad Rafiee, Qingfang Wu, Alexandre M. Bayen
AUTOMATICA
2008
146views more  AUTOMATICA 2008»
13 years 9 months ago
Input-to-state stability and interconnections of discontinuous dynamical systems
In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions...
W. P. M. H. Heemels, Siep Weiland