828 search results - page 49 / 166 » Modularity for Timed and Hybrid Systems |
153
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper aims at estimating the switching time for linear switched systems, i.e. the time instant when a sub-model is switched on while another one is switched off. Assuming that...
135
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
139
Voted
RSP
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
116
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
126
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...