Sciweavers

356 search results - page 15 / 72
» Set-valued methods for linear parameter varying systems,
Sort
View
AUTOMATICA
2005
136views more  AUTOMATICA 2005»
13 years 7 months ago
Conjugate Lyapunov functions for saturated linear systems
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
Tingshu Hu, Rafal Goebel, Andrew R. Teel, Zongli L...
CAV
2004
Springer
93views Hardware» more  CAV 2004»
14 years 1 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
CEC
2005
IEEE
14 years 1 months ago
Complementary selection and variation for an efficient multiobjective optimization of complex systems
Real-world applications generally distinguish themselves from theoretical developments in that they are much more complex and varied. As a consequence, better models require more d...
Benoît Bagot, Hartmut Pohlheim
SIMPRA
2008
125views more  SIMPRA 2008»
13 years 7 months ago
Identification of Wiener models using optimal local linear models
The Wiener model is a versatile nonlinear block oriented model structure for miscellaneous applications. In this paper a method for identifying the parameters of such a model usin...
Martin Kozek, Sabina Sinanovic
ASWEC
2007
IEEE
13 years 11 months ago
Managing Conflicts When Using Combination Strategies to Test Software
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
Mats Grindal, Jeff Offutt, Jonas Mellin