14190 search results - page 366 / 2838 » Abstractions for hybrid systems |
182
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
260
Voted
HYBRID
2011
Springer
14 years 6 months ago
2011
Springer
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...
183
Voted
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
166
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions...
199
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...