6308 search results - page 29 / 1262 » Modeling Urgency in Timed Systems |
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
CIDM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Nowadays power distribution systems typically operate with nonsinusoidal voltages and currents. Harmonic currents from nonlinear loads propagate through the system and cause ha...
RTAS
2000
IEEE
15 years 2 months ago
2000
IEEE
RTSS
1995
IEEE
15 years 1 months ago
1995
IEEE
91
Voted
ICIAP
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we propose a computational scheme named an interval-based linear hybrid dynamical system (ILHDS) to represent complex dynamic events based on temporal intervals, ea...