304 search results - page 5 / 61 » Hybridization methods for the analysis of nonlinear systems |
111
Voted
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
122
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
103
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
102
Voted
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
111
click to vote
ICONS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...