4693 search results - page 144 / 939 » Verifying Hybrid Systems |
140
Voted
TC
2010
14 years 7 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
156
Voted
ICS
2011
Tsinghua U.
14 years 4 months ago
2011
Tsinghua U.
Phase-Change Memory (PCM) technology has received substantial attention recently. Because PCM is byte-addressable and exhibits access times in the nanosecond range, it can be used...
117
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
57
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Slow oscillations, with a period of around 15 minutes, were observed in an 11kV electrical distribution system. Investigations determined that the oscillations were a result of in...
90
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...