1287 search results - page 9 / 258 » Reduction of Timed Hybrid Systems |
164
Voted
TC
2008
15 years 3 months ago
2008
A unified computation method of vector and elementary functions is proposed for handheld 3D graphics systems. It unifies vector operations like vector multiply, multiply-and-add, d...
134
Voted
ERSA
2009
15 years 1 months ago
2009
- The FPGA (re)configuration is a time-consuming process and a bottleneck in FPGA-based Run-Time Reconfigurable (RTR) systems. In this paper, we present a High Level Synthesis (HLS...
124
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
163
Voted
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
149
Voted
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...