304 search results - page 6 / 61 » Hybridization methods for the analysis of nonlinear systems |
109
click to vote
AUTOMATICA
2002
14 years 11 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
92
Voted
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...
102
click to vote
CADE
2007
Springer
15 years 12 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
123
click to vote
ASC
2007
14 years 11 months ago
2007
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
88
Voted
HYBRID
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...