14190 search results - page 60 / 2838 » Abstractions for hybrid systems |
HYBRID
2009
Springer
15 years 3 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
AMAST
1997
Springer
15 years 4 months ago
1997
Springer
JUCS
2008
14 years 12 months ago
2008
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant syste...
102
click to vote
WIOPT
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...