304 search results - page 11 / 61 » Hybridization methods for the analysis of nonlinear systems |
CAV
2009
Springer
16 years 24 days ago
2009
Springer
132
click to vote
EUROCAST
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
123
click to vote
IJRR
2011
14 years 7 months ago
2011
We propose a constructive control design for stabilization of non-periodic trajectories of underactuated robots. An important example of such a system is an underactuated “dynam...
150
click to vote
TSP
2008
15 years 4 days ago
2008
We study a sampling setup where a continuous-time signal is mapped by a memoryless, invertible and nonlinear transformation, and then sampled in a nonideal manner. Such scenarios a...
ICMLA
2009
14 years 10 months ago
2009
Exergy is a way to sustainable development and may be defined as the maximum theoretical useful work, while exergy analysis identifies the sources, the magnitude and the causes of...